• DocumentCode
    2090126
  • Title

    A four-valued logic B(4) of E(9) for modeling human communication

  • Author

    Rine, David ; Alnakari, Raiek

  • Author_Institution
    Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    285
  • Lastpage
    290
  • Abstract
    In this paper a four-valued logic on B(4) called Hyawic Form UniLogic is presented. Examples of this UniLogic are given which model problems in the area of human interaction, dialog and communication, i.e., human speech. The four values, or states, are isolated, conflicting, coexisting and unifying, forming a square lattice of B(4), Post Algebra of order 2 with 4 elements, inside a Post Algebra on E(9) of order 3 with 9=3*3 elements. This logic has been used to represent human speech problems and their solutions in college classrooms. This logic is used in different universities, countries and languages including France, Algeria, Egypt and USA. It is used for policy analysis and planning, as well as for academic research in inter-communications analysis. Software packages using this logic are available from the developer Dr. Raiek Alnakari
  • Keywords
    knowledge engineering; multivalued logic; Hyawic Form UniLogic; Post Algebra; four-valued logic; human communication; human interaction; policy analysis; Algebra; Computer science; Educational institutions; Electronic commerce; Humans; Knowledge acquisition; Lattices; Logic functions; Software packages; Speech;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 2000. (ISMVL 2000) Proceedings. 30th IEEE International Symposium on
  • Conference_Location
    Portland, OR
  • ISSN
    0195-623X
  • Print_ISBN
    0-7695-0692-5
  • Type

    conf

  • DOI
    10.1109/ISMVL.2000.848633
  • Filename
    848633