NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Fuzzy Versions of Epistemic and Deontic LogicEpistemic and deontic logics are modal logics, respectively, of knowledge and of the normative concepts of obligation, permission, and prohibition. Epistemic logic is useful in formalizing systems of communicating processes and knowledge and belief in AI (Artificial Intelligence). Deontic logic is useful in computer science wherever we must distinguish between actual and ideal behavior, as in fault tolerance and database integrity constraints. We here discuss fuzzy versions of these logics. In the crisp versions, various axioms correspond to various properties of the structures used in defining the semantics of the logics. Thus, any axiomatic theory will be characterized not only by its axioms but also by the set of properties holding of the corresponding semantic structures. Fuzzy logic does not proceed with axiomatic systems, but fuzzy versions of the semantic properties exist and can be shown to correspond to some of the axioms for the crisp systems in special ways that support dependency networks among assertions in a modal domain. This in turn allows one to implement truth maintenance systems. For the technical development of epistemic logic, and for that of deontic logic. To our knowledge, we are the first to address fuzzy epistemic and fuzzy deontic logic explicitly and to consider the different systems and semantic properties available. We give the syntax and semantics of epistemic logic and discuss the correspondence between axioms of epistemic logic and properties of semantic structures. The same topics are covered for deontic logic. Fuzzy epistemic and fuzzy deontic logic discusses the relationship between axioms and semantic properties for these logics. Our results can be exploited in truth maintenance systems.
Document ID
20000032298
Document Type
Conference Paper
Authors
Gounder, Ramasamy S. (North Carolina Agricultural and Technical State Univ. Greensboro,NC United States)
Esterline, Albert C. (North Carolina Agricultural and Technical State Univ. Greensboro,NC United States)
Date Acquired
August 19, 2013
Publication Date
February 22, 1998
Publication Information
Publication: NASA University Research Centers Technical Advances in Aeronautics, Space Sciences and Technology, Earth Systems Sciences, Global Hydrology, and Education
Volume: 2 and 3
Subject Category
Cybernetics, Artificial Intelligence and Robotics
Report/Patent Number
98URC145
Funding Number(s)
CONTRACT_GRANT: NAG5-4102
CONTRACT_GRANT: NAG2-1150
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

IDRelationTitle20000032189Analytic PrimaryNASA University Research Centers Technical Advances in Aeronautics, Space Sciences and Technology, Earth Systems Sciences, Global Hydrology, and Education
Document Inquiry