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
Link To Document