Finitary S5-Theories
作者： Tran Cao Son , Enrico Pontelli , Chitta Baral , Gregory Gelfond
DOI: 10.1007/978-3-319-11558-0_17
关键词:
摘要: The objective of this paper is to identify a class epistemic logic theories with group knowledge operators which have the fundamental property being characterized by finite number models (up equivalence). We specifically focus on S5-theories. call as finitary S5 -theories. Models S5-theories can be shown canonical in that they do not contain two worlds same interpretation. When theory pure, these are minimal and differ from each other only actual world. presents an algorithm for computing all S5-theory. Finitary find applications several contextsin particular, discusses their use multi-agent planning.
springer.com
core.ac.uk
elsevier.com
sci-hub.st 参考文章(18)
Michael Zakharyaschev, Agi Kurucz, Frank Wolter, Dov M Gabbay, Many-Dimensional Modal Logics: Theory and Applications ,(2013)
Linh Anh Nguyen, Constructing the Least Models for Positive Modal Logic Programs Fundamenta Informaticae. ,vol. 42, pp. 29- 60 ,(2000) , 10.3233/FI-2000-42102
Gerhard Lakemeyer, Multi-agent Only-Knowing Lecture Notes in Computer Science. pp. 25- 25 ,(2012) , 10.1007/978-3-642-32897-8_2
Gerhard Lakemeyer, Hector J. Levesque, Only-knowing meets nonmonotonic modal logic principles of knowledge representation and reasoning. pp. 350- 357 ,(2012)
Alexandru Baltag, Lawrence S. Moss, Logics for epistemic programs Synthese. ,vol. 139, pp. 165- 224 ,(2004) , 10.1007/1-4020-4094-6_1
L. A. Nguyen, Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics Logic Journal of the IGPL. ,vol. 16, pp. 175- 193 ,(2007) , 10.1093/JIGPAL/JZM059
Thomas Bolander, Mikkel Birkegaard Andersen, Epistemic planning for single- and multi-agent systems Journal of Applied Non-Classical Logics. ,vol. 21, pp. 9- 34 ,(2011) , 10.3166/JANCL.21.9-34
Wiebe van der Hoek, Michael Wooldridge, Tractable multiagent planning for epistemic goals Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 3 - AAMAS '02. pp. 1167- 1174 ,(2002) , 10.1145/545056.545095
Joseph Y. Halpern, Yoram Moses, A guide to completeness and complexity for modal logics of knowledge and belief Artificial Intelligence. ,vol. 54, pp. 319- 379 ,(1992) , 10.1016/0004-3702(92)90049-4
F. Wolter, Patrick Blackburn, J. F. A. K. van Benthem, Handbook of Modal Logic Studies in Logic and Practical Reasoning. pp. 1231- ,(2007)