Abstract
The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind of entities called subjective situations. We define a new doxastic logic based on these entities and we show how the belief operators have some desirable properties, while avoiding logical omniscience. A comparison with two well-known proposals (Levesque’s logic of explicit and implicit beliefs and Thijsse’s hybrid sieve systems) is also provided.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning about knowledge, MIT Press, 1995.
J. Hintikka, Knowledge and belief, Cornell University Press, Ithaca, N.Y., 1962.
S. Kripke, A semantical analysis of modal logic I: normal modal prepositional calculi, Zeitschrift für Mathematische Logik und Grundlagen Mathematik 9 (1963), 67–96.
J. Hintikka, Impossible possible worlds vindicated, J. of Phil. Logic 4 (1975), 475–484.
H.J. Levesque, A logic of implicit and explicit belief, Proceedings of the Conference of the American Association for Artificial Intelligence, AAAI-84 (1984), 198–202.
E. Thijsse, Combining partial and classical semantics. A hybrid approach to belief and awareness, in P. Doherty (Ed.), Partiality, modality, and nonmonotonicity, Studies in Logic, Language and Information, Center for the Study of Language and Information Publications (1996), 223–249.
A. Moreno, Avoiding logical omniscience and perfect reasoning: a survey, AI Communications 2 (1998), 101–122.
A. Moreno, T. Sales, Dynamic belief analysis, in J. Müller, M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Agent theories, architectures and languages, Lecture Notes in Artificial Intelligence 1193, Springer Verlag (1997), 87–102.
A. Moreno, T. Sales, Limited logical belief analysis, in L. Cavedon, A. Rao, W. Wobcke (Eds.), Intelligent Agent Systems: Theoretical and Practical Issues, Lecture Notes in Artificial Intelligence 1209, Springer Verlag (1997), 104–118.
J. Halpern, G. Lakemeyer, Multi-agent only knowing, in Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, TARK-96 (1996), 251–265.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moreno, A., Cortés, U., Sales, T. (1999). Subjective Situations. In: Garijo, F.J., Boman, M. (eds) Multi-Agent System Engineering. MAAMAW 1999. Lecture Notes in Computer Science(), vol 1647. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48437-X_17
Download citation
DOI: https://doi.org/10.1007/3-540-48437-X_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66281-5
Online ISBN: 978-3-540-48437-0
eBook Packages: Springer Book Archive