A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famo...A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famous experts working in artificial intelligence and fuzzy systems refuted the opinion. Elkan then gave another report entitled 'The Paradoxical Controversy over Fuzzy Logic' as a reply to the refutations mentioned above. Prof. Wu gave a detailed analysis on the controversy (see ref. [3]). This shows that there is no rigid logic foundation for fuzzy propositional calculus. In this note we first point out that it is impossible to keep all classical theorems as tautologies in the field of fuzzy propositional calculus. Then we introduce a formal deductive system in fuzzy propositional calculus by giving up certain classical axioms, and the corresponding soundness theorem is proved.展开更多
The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as w...The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.展开更多
Since the formal deductive system (?) was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the sys...Since the formal deductive system (?) was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the system (?) is still an open problem. In this paper, the properties and structure of R0 algebras are further studied, and it is shown that every tautology on the R0 interval [0,1] is also a tautology on any R0 algebra. Furthermore, based on the particular structure of (?) -Lindenbaum algebra, the completeness and strong completeness of the system (?) are proved. Some applications of the system (?) in fuzzy reasoning are also discussed, and the obtained results and examples show that the system (?) is suprior to some other important fuzzy logic systems.展开更多
The structure of the low-lying collective excitations in 102Pd is examined within the recently proposed microscopic shell-model version of the Bohr-Mottelson(BM)collective model.A good description of the excitation en...The structure of the low-lying collective excitations in 102Pd is examined within the recently proposed microscopic shell-model version of the Bohr-Mottelson(BM)collective model.A good description of the excitation energies of the lowest ground,γ,andβbands,as well as the staggering function between the collective states of theγband and some other energy-dependent quantities,is obtained.The low-energy intraband and interband quadrupole dynamics is reasonably well described within the present proton-neutron sympletic based shell-model approach without the use of an effective charge and compared with the predictions of nuclear structure models.The obtained results of the present study shed light on the question of the existence of irrotational-flow type quadrupole dynamics,which lies on the ground of the original BM model of quantized vibrations and surface-wave rotations in atomic nuclei.展开更多
The structure of the irreducible collective spaces of the group Sp(12,R),which many-particle nuclear states are classified according to the chain Sp(12,R)⊃U(6)⊃SO(6)⊃SU_(pn)(3)⊗SO(2)⊃SO(3)of the proton-neutron symplec...The structure of the irreducible collective spaces of the group Sp(12,R),which many-particle nuclear states are classified according to the chain Sp(12,R)⊃U(6)⊃SO(6)⊃SU_(pn)(3)⊗SO(2)⊃SO(3)of the proton-neutron symplectic model(PNSM),is considered in detail.This chain of the PNSM was recently shown to correspond to a microscopic shell-model version of the Bohr-Mottelson collective model.The construction of the relevant shell-model representations of the Sp(12,R)group along this chain is considered for three nuclei with varying collective properties and from different mass regions.It is shown that the SU_(pn)(3)basis states of the Sp(12,R)representations belonging to the SO(6)irreps with seniorityυ≥υ0,withυ0 denoting the maximal seniority SO(6)irrep contained in the Sp(12,R)bandhead,are always Pauli allowed,but organized in a different way into different SO(6)shells.This is in contrast to the case of filling the levels of the standard three-dimensional harmonic oscillator and using the plethysm operation.Although the SU_(pn)(3)multiplets withinυ<υ0 are not all Pauli forbidden,it is safe to discard them.The results obtained in the present work are important for the practical application of the microscopic version of the Bohr-Mottelson collective model.展开更多
文摘A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famous experts working in artificial intelligence and fuzzy systems refuted the opinion. Elkan then gave another report entitled 'The Paradoxical Controversy over Fuzzy Logic' as a reply to the refutations mentioned above. Prof. Wu gave a detailed analysis on the controversy (see ref. [3]). This shows that there is no rigid logic foundation for fuzzy propositional calculus. In this note we first point out that it is impossible to keep all classical theorems as tautologies in the field of fuzzy propositional calculus. Then we introduce a formal deductive system in fuzzy propositional calculus by giving up certain classical axioms, and the corresponding soundness theorem is proved.
基金supported by the National Natural Science Foundation of China(Grant No.19331010).
文摘The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.
文摘Since the formal deductive system (?) was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the system (?) is still an open problem. In this paper, the properties and structure of R0 algebras are further studied, and it is shown that every tautology on the R0 interval [0,1] is also a tautology on any R0 algebra. Furthermore, based on the particular structure of (?) -Lindenbaum algebra, the completeness and strong completeness of the system (?) are proved. Some applications of the system (?) in fuzzy reasoning are also discussed, and the obtained results and examples show that the system (?) is suprior to some other important fuzzy logic systems.
文摘The structure of the low-lying collective excitations in 102Pd is examined within the recently proposed microscopic shell-model version of the Bohr-Mottelson(BM)collective model.A good description of the excitation energies of the lowest ground,γ,andβbands,as well as the staggering function between the collective states of theγband and some other energy-dependent quantities,is obtained.The low-energy intraband and interband quadrupole dynamics is reasonably well described within the present proton-neutron sympletic based shell-model approach without the use of an effective charge and compared with the predictions of nuclear structure models.The obtained results of the present study shed light on the question of the existence of irrotational-flow type quadrupole dynamics,which lies on the ground of the original BM model of quantized vibrations and surface-wave rotations in atomic nuclei.
文摘The structure of the irreducible collective spaces of the group Sp(12,R),which many-particle nuclear states are classified according to the chain Sp(12,R)⊃U(6)⊃SO(6)⊃SU_(pn)(3)⊗SO(2)⊃SO(3)of the proton-neutron symplectic model(PNSM),is considered in detail.This chain of the PNSM was recently shown to correspond to a microscopic shell-model version of the Bohr-Mottelson collective model.The construction of the relevant shell-model representations of the Sp(12,R)group along this chain is considered for three nuclei with varying collective properties and from different mass regions.It is shown that the SU_(pn)(3)basis states of the Sp(12,R)representations belonging to the SO(6)irreps with seniorityυ≥υ0,withυ0 denoting the maximal seniority SO(6)irrep contained in the Sp(12,R)bandhead,are always Pauli allowed,but organized in a different way into different SO(6)shells.This is in contrast to the case of filling the levels of the standard three-dimensional harmonic oscillator and using the plethysm operation.Although the SU_(pn)(3)multiplets withinυ<υ0 are not all Pauli forbidden,it is safe to discard them.The results obtained in the present work are important for the practical application of the microscopic version of the Bohr-Mottelson collective model.
