DMCA
Reasoning about Knowledge and Belief: A Syntactical Treatment (2002)
| Venue: | Logical Journal of the IGPL |
| Citations: | 2 - 0 self |
BibTeX
@ARTICLE{Fasli02reasoningabout,
author = {Maria Fasli},
title = {Reasoning about Knowledge and Belief: A Syntactical Treatment},
journal = {Logical Journal of the IGPL},
year = {2002},
volume = {11},
pages = {200--3}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The study of formal theories of agents has intensified over the last couple of decades, since such formalisms can be viewed as providing the specifications for building rational agents and multi-agent systems. Most of the proposed approaches are based upon the well-understood framework of modal logics and possible world semantics. Although intuitive and expressive, these approaches lack two properties that can be considered important to a rational agent's reasoning: quantification over the propositional attitudes, and self-referential statements. This paper presents an alternative framework which is different from those found in the literature in two ways: Firstly, a syntactical approach for the representation of the propositional attitudes is adopted. This involves the use of a truth predicate and syntactic modalities which are defined in terms of the truth predicate itself and corresponding modal operators. Secondly, an agent's information state includes both knowledge and beliefs. Independent modal operators for the two notions are introduced and based on them syntactic modalities are defined. Furthermore, the relation between knowledge and belief is thoroughly explored and three different connection axiomatisations for the modalities and the syntactic modalities are proposed and their properties investigated.
Keyphrases
syntactical treatment syntactic modality propositional attitude rational agent alternative framework independent modal operator information state possible world semantics syntactical approach formal theory well-understood framework modal operator last couple self-referential statement truth predicate multi-agent system different connection axiomatisations modal logic
