Complete axiomatizations of finite syntactic epistemic states

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3904 LNAI, Issue , 2006, Pages 33-50

  Ågotnes, Thomas ^a   Walicki, Michal ^a  

^a UNIVERSITY OF BERGEN   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT AGENTS; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL OPERATORS; SET THEORY; STANDARDS;

FINITE EPISTEMIC STATES; GENERAL ABSTRACT THEORY; NON-TRIVIAL CHARACTERIZATIONS;

SYNTACTICS;

EID: 33745751994     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11691792_3     Document Type: Conference Paper

References (19)

1. Thomas Ågotnes. A Logic of Finite Syntactic Epistemic States. PhD thesis, Department of Informatics, University of Bergen, 2004.
2. Thomas Ågotnes and Natasha Alechina. The dynamics of syntactic knowledge. Technical Report 304, Dept. of Informatics, Univ. of Bergen, Norway, 2005.
3. Thomas Ågotnes and Michal Walicki. A logic for reasoning about agents with finite explicit knowledge. In Bjørnar Tessem, Pekka Ala-Siuru, Patrick Doherty, and Brian Mayoh, editors, Proc. of the 8th Scandinavian Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, pages 163-174. IOS Press, Nov 2003.
4. Thomas Ågotnes and Michal Walicki. Syntactic knowledge: A logic of reasoning, communication and cooperation. In Chiara Ghidini, Paolo Giorgini, and Wiebe van der Hoek, editors. Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS), Barcelona, Spain, December 2004.
5. th International Workshop on Computational Logic in Multi-agent Systems (CLIMA VI), London, UK, June 2005.
6. Natasha Alechina, Brian Logan, and Mark Whitsey. 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), pages 606-613. ACM Press, Jul 2004.
7. R. A. Eberle. A logic of believing, knowing and inferring. Synthese, 26:356-382, 1974.
8. J. Elgot-Drapkin, S. Kraus, M. Miller, M. Nirkhe, and D. Perlis. Active logics: A unified formal approach to episodic reasoning. Techn. Rep. CS-TR-4072, 1999.
9. Ronald Fagin and Joseph Y. Halpern. Belief, awareness and limited reasoning. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 491-501, Los Angeles, CA, 1985.
10. Ronald Fagin and Joseph Y. Halpern. Belief, awareness and limited reasoning. Artificial Intelligence, 34:39-76, 1988. A preliminary version appeared in [9].
11. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning About Knowledge. The MIT Press, Cambridge, Massachusetts, 1995.
12. Joseph Y. Halpern and Yoram Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549-587, July 1990.
13. J. Hintikka. Impossible possible worlds vindicated. Journ. of Phil. Logic, 4:475-484, 1975.
14. Kurt Konolige. A Deduction Model of Belief and its Logics. PhD thesis, Stanford U., 1984.
15. H. J. Levesque. All I know: a study in autoepistemic logic. Art. Intell., 42:263-309, 1990.
16. J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge, England, 1995.
17. R. C. Moore and G. Hendrix. Computational models of beliefs and the semantics of belief sentences. Technical Note 187, SRI International, Menlo Park, CA, 1979.
18. Antonio Moreno. Avoiding logical omniscience and perfect reasoning: a survey. AI Communications, 11:101-122, 1998.
19. Kwang Mong Sim. Epistemic logic and logical omniscience: A survey. International Journal of Intelligent Systems, 12:57-81, 1997.