Over the past decade there has been a spurt of activity in the logic community around the development of logics of truth and modality. At the same time the literature in artificial intelligence has focused on the development of formalisms that can facilitate more expressive systems of knowledge representation. Raymond Turner brings the two together, putting current research in theories of truth and modalty in a context where it can be directly applied to knowledge representation in AI. The goal is to help AI researchers understand how the intelligent agents that they are developing represent and reason about what they believe, know, and hold to be true. Turner introduces various logics of truth and modality as part of a foundation for the construction of theories of knowledge representation. The development of logics of truth and syntactic modality is a recent phenomenon. Various logicians have developed semantic theories of truth that seek to come to terms with the constraints imposed by the semantic and logical paradoxes. Turner reviews the most recent and influential of these semantic theories and employs them as the basis for the development of logics of truth and modality. In particular, he provides an accessible exposition of the theories of Kripke, Gupta, Herzberger, Gilmore, Aczel, and Feferman. The logics extracted from these semantic theories are subsequently used to develop logics and theories of modality, propositions, and properties. Raymond Turner is Professor of Computing Science at the University of Essex. Contents: Reasoning Agents. Truth and Paradox. Truth through Fixpoints. Stable Truth. Frege Structures. Modal Logic. Truth in Modal Logic. Predicative Modality.Conclusions.
- ISBN10 0262200805
- ISBN13 9780262200806
- Publish Date 30 January 1991
- Publish Status Out of Print
- Out of Print 18 September 2010
- Publish Country US
- Publisher MIT Press Ltd
- Imprint MIT Press
- Format Hardcover
- Pages 142
- Language English