DocumentCode
3598338
Title
Researches on the general paradigm of logical operations
Author
Liu, Yonghuai ; He, Huacan ; Wei, Baogang ; Wang, Ying ; Wei, Qian
Author_Institution
Dept. of Comput. Sci. & Eng., Northwestern Polytech. Univ., Xian, China
Volume
1
fYear
1997
Firstpage
731
Abstract
Logical operations (LOs) play an important role in the synthesis of different sources of information in intelligent processing systems (IPSs). But the formal study of these LOs has been very little; even we are not very clear about what conditions these LOs should satisfy. The paper first puts forward the general paradigm of these LOs, then raises the definitions of these LOs from the viewpoint of axioms and studies the generation of these LOs, and finally investigates the main properties of LOs. Thus the faults in existing theories about LOs have been overcome. The research shows that not only the unification of these LOs is possible and necessary in logic, but also the general paradigm of these LOs can be used to study the relationships between these LOs and design different logical operators meeting different application demands
Keywords
formal logic; knowledge based systems; IPSs; LOs; application demands; axioms; formal study; information synthesis; intelligent processing systems; logical operations; logical operators; Boundary conditions; Cities and towns; Computer science; Geology; Helium; Information resources; Intelligent systems; Logic design;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Processing Systems, 1997. ICIPS '97. 1997 IEEE International Conference on
Print_ISBN
0-7803-4253-4
Type
conf
DOI
10.1109/ICIPS.1997.672884
Filename
672884
Link To Document