Complete Axiomatizations of Finite Syntactic Epistemic States
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this set cannot in general be assumed – reasoning takes time and real agents frequently have contradictory beliefs. This paper discusses a formal model of knowledge as explicitly computed sets of formulae. It is assumed that agents represent their knowledge syntactically, and that they can only know finitely many formulae at a given time. In order to express interesting properties of such finite syntactic epistemic states, we extend the standard epistemic language with an operator expressing that an agent knows at most a particular finite set of formulae, and investigate axiomatization of the resulting logic. This syntactic operator has also been studied elsewhere without the assumption about finite epistemic states. A strongly complete logic is impossible, and the main results are non-trivial characterizations of the theories for which we can get completeness. The paper presents a part of a general abstract theory of resource bounded agents. Interesting results, e.g., complex algebraic conditions for completeness, are obtained from very simple assumptions, i.e., epistemic states as arbitrary finite sets and operators for knowing at least and at most.
KeywordsObject Language Epistemic State Truth Assignment Epistemic Logic Axiom Schema
Unable to display preview. Download preview PDF.
- 1.Ågotnes, T.: A Logic of Finite Syntactic Epistemic States. PhD thesis, Department of Informatics, University of Bergen (2004)Google Scholar
- 2.Ågotnes, T., Alechina, N.: The dynamics of syntactic knowledge. Technical Report 304, Dept. of Informatics, Univ. of Bergen, Norway (2005)Google Scholar
- 3.Ågotnes, T., Walicki, M.: A logic for reasoning about agents with finite explicit knowledge. In: Tessem, B., Ala-Siuru, P., Doherty, P., Mayoh, B. (eds.) Proc. of the 8th Scandinavian Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, pp. 163–174. IOS Press, Amsterdam (2003)Google Scholar
- 4.Ågotnes, T., Walicki, M.: Syntactic knowledge: A logic of reasoning, communication and cooperation. In: Ghidini, P., Giorgini, P., van der Hoek, W. (eds.) Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS), Barcelona, Spain (December 2004)Google Scholar
- 6.Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: Proc. of the Third Intern. Joint Conf. on Autonomous Agents and Multi-Agent Syst. (AAMAS 2004), pp. 606–613. ACM Press, New York (2005)Google Scholar
- 8.Elgot-Drapkin, J., Kraus, S., Miller, M., Nirkhe, M., Perlis, D.: Active logics: A unified formal approach to episodic reasoning. Techn. Rep. CS-TR-4072 (1999)Google Scholar
- 9.Fagin, R., Halpern, J.Y.: Belief, awareness and limited reasoning. In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, CA, pp. 491–501 (1985)Google Scholar
- 14.Konolige, K.: A Deduction Model of Belief and its Logics. PhD thesis, Stanford U (1984)Google Scholar
- 17.Moore, R.C., Hendrix, G.: Computational models of beliefs and the semantics of belief sentences. Technical Note 187, SRI International, Menlo Park, CA (1979)Google Scholar