• 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