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
Acquisition Source
Goddard Space Flight Center
Document Type
Conference Paper
Authors
Ramasamy S Gounder
(North Carolina Agricultural and Technical State University Greensboro, United States)
Albert C Esterline
(North Carolina Agricultural and Technical State University Greensboro, 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
Publisher: National Aeronautics and Space Administration
Volume: III
ISBN: 1-889335-06-1
Subject Category
Cybernetics, Artificial Intelligence And Robotics
Report/Patent Number
98URC145
Meeting Information
Meeting: 1998 NASA University Research Centers Technical Conference (URC-TC '98)
Location: Huntsville, AL
Country: US
Start Date: February 22, 1998
End Date: February 25, 1998
Sponsors: National Aeronautics and Space Administration
Funding Number(s)
CONTRACT_GRANT: NAG2-1150
CONTRACT_GRANT: NAG5-4102
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.
No Preview Available