Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems

Lenzen W. Recent work in epistemic logic. Acta Philosophica Fennica, 1978, 30(9): 200–219

Fagin R, Hal pern J, Moss Y, Vardi M. Reasoning About Knowledge. Cambridge: MIT Press, 1995

Meyer J J C, Van der Hoek W. Epistemic logic for AI and Computer Science. Cambridge: Cambridge University Press, 1995

Aumann R J, Brandenburger A. Epistemic conditions for nash equilibrium. Econometrica, 1995, 63(9): 116–180

Fagin R, Hal pern J Y, Vardi M Y. What can machines know? On the properties of knowledge in distributed systems. Journal of the ACM, 1992, 39(2): 328–378

Hoek W V D, Meyer J J, Treur J. Formal semantics of temporal epistemic reflection Logic. In: Proceedings of the 4th International Workshops on Meta-Programming in Logic. 1994, 332–352

Van Der Meyden R. Axioms for knowledge and time in distributed systems with perfect recall. In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science. 1993, 15–22

Lakemeyer G. Limited reasoning in first-order knowledge bases with full introspection. Artificial Intelligence, 1996, 84(1): 209–255

Lomuscio A, Colombetti M. QLB: a quantified logic for belief. In: Proceedings of the 3rd International Workshop on Agent Theories, Architectures, and Languages. 1996

Renne B, Sack J, Yap A. Logics of temporal-epistemic actions. Synthese, 2016, 193(3): 813–849

Chen Q L, Su K L, Hu Y, Hu GW. A complete coalition logic of temporal knowledge for multi-agent systems. Frontiers of Computer Science, 2015, 9(1): 75–86

Wu L J, Su K L, Sattar A, Chen Q L, Su J S, Wu W. A complete firstorder temporal BDI logic for forest multi-agent systems. Knowledge-Based Systems, 2012, 27(3): 343–351

Lamarre P, Shoham Y. Knowledge, certainty, belief, and conditionalisation, belief and certainty. In: Proceedings of the International Conference on Knowledge Representation and Reasoning. 1994, 415–424

Su K L, Sattar A, Governatori G, Chen Q L. A computational grounded logic of knowledge, belief and certainty. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multi-agent Systems. 2005, 149–156

Voorbraak F. The theory of objective knowledge and rational belief. In: Proceedings of Logics in AI, European Workshop. 1990, 499–515

Follesdal D. Knowledge, identity, and existence. Theoria, 1967, 23(1): 1–27

Hintikka Y. Knowledge, identity, and existence. Nous, 1962, 1(1): 33–62

Levesque H. Knowledge representation and reasoning. Annual Reviews Computer Science, 1986, 30(1): 81–108

Liu Y M, Levesque H J. Tractable reasoning in first-order knowledge bases with disjunctive information. In: Proceedings of National Conference on Artificial Intelligence. 2005, 639–644

Kaneko M, Nagashima T. Game logic and its applications 1. Studia Logica, 1996, 57(1): 325–354

Kaneko M, Nagashima T. Game logic and its applications 2. Studia Logica, 1997, 58(1): 273–303

Bieber P. A Logic of communication in hostile environments. In: Proceedings of the 3rd IEEE Computer Security Foundations Workshop. 1990, 14–22

Cohen M, Dams M. A complete axiomatization of knowledge and cryptography. In: Proceedings of IEEE Symposium on Logic in Computer Science. 2007, 77–88

Wooldridge M. Verifying that agents implement a communication language. In: Proceedings of the 16th National Conference on Artificial Intelligence and the 11th Innovative Applications of Artificial Intelligence Conference Innovative Applications of Artificial Intelligence. 1999, 52–57

Wooldridge M, Fisher M, Huget M, Parsons S. Model checking multiagent systems with MABLE. In: Proceedings of the 1st International Conference on Autonomous Agents and Multiagent Systems. 2002, 952–959

Su K L, Sattar A, Luo X Y. Model checking temporal logics of knowledge via OBDDs. Computer Journal, 2007, 50(4): 403–420

Belardinelli F, Lomuscio A. A complete first-order logic of knowledge and time. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning. 2008, 705–714

Belardinelli F, Lomuscio A. Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artificial Intelligence, 2009, 173(9): 982–1013

Belardinelli F, Lomuscio A. Interactions between time and knowledge in a first-order logic for multi-agent systems. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning. 2010, 38–48

Belardinelli F, Lomuscio A. First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Fundamenta Informaticae, 2010, 17(9): 175–190

Wooldridge M, Jennings N. Intelligent agents: theory and practice. Knowledge Engineering Review, 1995, 10(2): 49–62

Wu L J, Su J S, Su K L, Luo X Y, Yang Z H. A concurrent dynamic logic of knowledge, belief, and certainty for multi-agent systems. Knowledge-Based Systems, 2010, 23(2): 162–168

Adam E, Mandiau R. Roles and hierarchy in multi-agent organizations. In: Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems. 2005, 539–542

Emadi Andani M, Bahrami F, Jabehdar-Maralani P, Ijspeert A J. MODEM: a multiagent hierarchical structure to model the human motor control system. Biological Cybernetics, 2009, 101(5): 361–377

Choiński D, Nocoń W, Metzger M. Multi-agent system for hierarchical control with self-organising database. In: Proceedings of the 1st KES Symposium on Agent and Multi-Agent Systems: Technologies and Applications. 2007, 655–664

Blackburn P, van Benthem J F A K, Wolter F. Handbook of modal logic. Cambridge Tracts in Theoretical Computer Science, 2007, 53(2): 170–180

Chagrov A, Zakharyaschev M.Modal Logic. Oxford: Clarendon Press, 1997

Hughes M J, Cresswell G E. A new introduction to modal logic. New York: Routledge, 1996

Hal pern J Y, Meyden R V, Vardi M Y. Complete axiomatisations for reasoning about knowledge and time. SIAM Journal on Computing, 2003, 33(3): 674–703