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.
Similar content being viewed by others
References
Van Der Hoek, W., and J.-J. Meyer, Epistemic logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science 41, Cambridge University Press, 1995.
Hintikka, J., Knowledge and belief, Cornell University Press, Ithaca, N.Y., 1962.
Kripke, S., A semantical analysis of modal logic I: normal modal propositional calculi, Zeitschrift für Mathematische Logik und Grundlagen Mathematik 9 (1963), 67-96.
Hintikka, J., Impossible possible worlds vindicated, J. of Phil. Logic 4 (1975), 475-484.
Moreno, A., U. CortÉs, and T. Sales, Subjective situations, in Multi-Agent System Engineering, F. J. Garijo and M. Boman (Eds.), Lecture Notes in Artificial Intelligence 1647, pp. 210-220, 1999.
Levesque, H. J., A logic of implicit and explicit belief, Proceedings of the Conference of the American Association for Artificial Intelligence, AAAI-84 (1984), 198-202.
Thijsse, E., 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), pp. 223-249.
Moreno, A., Avoiding logical omniscience and perfect reasoning: a survey, AI Communications 2 (1998), 101-122.
Moreno, A., and T. Sales, Dynamic belief analysis, included 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), pp. 87-102.
Moreno, A., U. CortÉs, and T. Sales, Inquirers: a general model of non-ideal agents, International Journal of Intelligent Systems 15(3), 197-215, 2000.
Moreno, A., Modelling rational inquiry in non-ideal agents, Ph.D. dissertation, Computer Science Department, Universitat Politècnica de Catalunya, 2000.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Moreno, A., Cortés, U. & Sales, T. Subjective Situations and Logical Omniscience. Studia Logica 72, 7–29 (2002). https://doi.org/10.1023/A:1020513024572
Issue Date:
DOI: https://doi.org/10.1023/A:1020513024572