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
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;
Conference_Titel :
Intelligent Processing Systems, 1997. ICIPS '97. 1997 IEEE International Conference on
Print_ISBN :
0-7803-4253-4
DOI :
10.1109/ICIPS.1997.672884