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 :
بازگشت