Abstract
The process of rational inquiry can be defined as the evolution of a rational agent's belief set as a consequence of its internal inference procedures and its interaction with the environment. These beliefs can be modelled in a formal way using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they seem to commit us to model agents that are logically omniscient and perfect reasoners. These problems can be avoided with a syntactic view of possible worlds, defining them as arbitrary sets of sentences in a propositional doxastic logic. In this paper this syntactic view of possible worlds is taken, and a dynamic analysis of the agent's beliefs is suggested in order to model the process of rational inquiry in which the agent is permanently engaged. One component of this analysis, the logical one, is summarily described. This dimension of analysis is performed using a modified version of the analytic tableaux method, and it models the evolution of the beliefs due to the agent's deductive power. It is shown how non-perfect reasoning can be modelled in two ways: on one hand, the agent's deductive abilities can be controlled by restricting the tautologies that may be used in the course of this logical analysis; on the other hand, it is not compulsory to perform an exhaustive analysis of the initial tableau.
Preview
Unable to display preview. Download preview PDF.
References
Bell, J., Machover, M., A Course in Mathematical Logic, North Holland, 1977.
Beth, E.,’ Semantic entailment and formal derivability', in Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde 13, 309–342, 1955.
Cresswell, M., ‘Intensional logics and logical truth', Journal of Philosophical Logic 1, 2–15, 1972.
Delgrande, J.,’ A framework for logics of explicit belief', Computational Intelligence 11, 47–86, 1995.
Fagin, R., Halpern, J.,’ Belief, awareness and limited reasoning', Proceedings of IJCAI-85, 491–501, 1985.
Fagin, R., Halpern, J., Moses, Y., Vardi, M., Reasoning about Knowledge, MIT Press, 1995.
Halpern, J., ‘Reasoning about knowledge: an overview', Proceedings of TARK-86, 1–17, 1986.
Halpern, J., Moses, Y., ‘A guide to completeness and complexity for modal logics of knowledge and belief', Artificial Intelligence 54, 319–379, 1992.
Hintikka, J., Knowledge and Belief, Cornell University Press, Ithaca, N.Y., 1962.
Hintikka, J., ‘Impossible possible worlds vindicated', Journal of Philosophical Logic 4, 475–484, 1975.
Hintikka, J.,’ On the logic of an interrogative model of scientific inquiry', Synthese 47, 69–83, 1981.
Hintikka, J.,’ Reasoning about knowledge in philosophy: the paradigm of epistemic logic', Proceedings of TARK-86, 63–80, 1986.
Hintikka, J.,’ The interrogative model of inquiry as a general theory of argumentation', Communication and Cognition 25, 221–242, 1992.
Hughes, G., Cresswell, M., An Introduction to Modal Logic, Methuen and Co., 1968.
Jaspars, J., Calculi for Constructive Communication, Institute for Logic, Language and Computation, ILLC Dissertation Series 1994-4, 1994.
Konolige, K., A Deduction Model of Belief, Morgan Kaufmann, 1986.
Kripke, S., ‘A semantical analysis of modal logic I: normal modal propositional calculi', Zeitschrift für Mathematische Logik und Grundlagen Mathematik 9, 67–96, 1963.
Levesque, H., ‘A logic of implicit and explicit belief', Proceedings of AAAI-84, 198–202, 1984.
McArthur, G., ‘Reasoning about knowledge and belief: a survey', Computational Intelligence 4, 223–243, 1988.
Moreno, A., Sales, T.,’ Dynamic belief analysis', Workshop on Agent Theories, Architectures and Languages, ATAL-96, at the European Conference on Artificial Intelligence, ECAI-96, Budapest, Hungary, August 1996.
Moreno, A., Sales, T.,’ Dynamic belief modelling', Fourth International Colloquium on Cognitive Science, Donostia, May 1995. An extended version is available as Research Report 95-28-R, Department of Software, Technical University of Catalonia (UPC), 1995.
Moreno, A.,'Dynamic belief analysis', Research Report 73, Human Communication Research Centre, University of Edinburgh, 1995.
Popper, K., The Logic of Scientific Discovery, Hutchinson and Co. Ltd., 1934.
Rao, A., Georgeff, M.,’ Modelling rational agents within a BDI-architecture', Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, KRR-91, 1991.
Rao, A., Georgeif, M.,’ BDI agents: from theory to practice', Proceedings of the International Conference on Multi-Agent Systems, 1995.
Reichgelt, H.,’ Logics for reasoning about knowledge and belief', Knowledge Engineering Review 4, 119–139, 1989.
Rescher, N., Brandom, R., The Logic of Inconsistency, Rowman and Littlefield Eds., 1979.
Shoham, Y.,’ Varieties of context', in Artificial Intelligence and Mathematical Theory of Computation, 393–408, Academic Press, 1991.
Smullyan, R., First-order logic, Springer Verlag, 1968.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moreno, A., Sales, T. (1997). Limited logical belief analysis. In: Cavedon, L., Rao, A., Wobcke, W. (eds) Intelligent Agent Systems Theoretical and Practical Issues. IAS 1996. Lecture Notes in Computer Science, vol 1209. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62686-7_31
Download citation
DOI: https://doi.org/10.1007/3-540-62686-7_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62686-2
Online ISBN: 978-3-540-68433-6
eBook Packages: Springer Book Archive