Quantified epistemic logics for reasoning about knowledge in multi-agent systems

Artificial Intelligence

Volumn 173, Issue 9-10, 2009, Pages 982-1013

  Belardinelli, F ^a   Lomuscio, A ^b  

^a SCUOLA NORMALE SUPERIORE   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

distributed knowledge; distributed systems; epistemic logic; first order modal logic; knowledge representation; Knowledge representation and Logic; Mathematical Logic; message passing systems; Multi agent systems

Indexed keywords

DISTRIBUTED KNOWLEDGE; DISTRIBUTED SYSTEMS; EPISTEMIC LOGIC; FIRST-ORDER MODAL LOGIC; MATHEMATICAL LOGIC; MESSAGE PASSING SYSTEMS;

AGENTS; GAME THEORY; INFORMATION THEORY; KNOWLEDGE REPRESENTATION; MATHEMATICAL OPERATORS; MESSAGE PASSING;

MULTI AGENT SYSTEMS;

EID: 64549126436     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2009.02.003     Document Type: Article

References (70)

1. F. Belardinelli, Quantified modal logic and the ontology of physical objects, PhD thesis, Scuola Normale Superiore, Pisa, 2006
2. Bieber P. A logic of communication in hostile environments. Proceedings of the 3rd IEEE Computer Security Foundations Workshop (CSFW'90) (1990), IEEE Computer Society 14-22
3. Blackburn P., de Rijke M., and Venema Y. Modal Logic (2001), Cambridge University Press
4. In: Blackburn P., van Benthem J., and Wolter F. (Eds). Handbook of Modal Logic (2006), Elsevier
5. Chagrov A., and Zakharyaschev M. Modal Logic (1997), Oxford University Press
6. Clarke E., Grumberg O., and Peled D. Model Checking (1999), MIT Press
7. Cohen M., and Dams M. A complete axiomatization of knowledge and cryptography. Logic in Computer Science (LICS) (2007), IEEE Computer Society 77-88
8. Cohen P., and Levesque H. Communicative actions for artificial agents. Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95) (1995), AAAI Press 65-72
9. Corsi G. A unified completeness theorem for quantified modal logics. Journal of Symbolic Logic 67 (2002) 1483-1510
10. Corsi G. BF, CBF and Lewis semantics. Logique et Analyse (2005) 103-122
11. Degtyarev A., Fisher M., and Konev B. Monodic temporal resolution. ACM Transactions on Computational Logic (TOCL) 7 1 (2006) 108-150
12. Degtyarev A., Fisher M., and Lisitsa A. Equality and monodic first-order temporal logic. Studia Logica 72 (2002) 147-156
13. Dembiński P., et al. Verics: A tool for verifying timed automata and Estelle specifications. Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS03) (2003), Springer-Verlag 278-283
14. Fagin R., Halpern J., Moses Y., and Vardi M. Reasoning about Knowledge (1995), MIT Press
15. Fagin R., Halpern J., and Vardi M. What can machines know? On the properties of knowledge in distributed systems. Journal of the ACM 39 2 (1992) 328-376
16. Fitting M., and Mendelsohn R. First-Order Modal Logic (1998), Kluwer, Dordrecht
17. Follesdal D. Knowledge, identity, and existence. Theoria 23 1 (1967) 1-27
18. Gammie M., and van der Meyden R. MCK: Model checking the logic of knowledge. Proceedings of the 16th International Conference on Computer Aided Verification (CAV04) (2004), Springer-Verlag 479-483
19. Garson J. Quantification in modal logic. In: Gabbay D., and Guenthner F. (Eds). Handbook of Philosophical Logic, vol. 3 (2001), Reidel 267-323
20. Halpern J., and Fagin R. Modelling knowledge and action in distributed systems. Distributed Computing 3 4 (1989) 159-179
21. Halpern J., and Shore R. Reasoning about common knowledge with infinitely many agents. Information and Computation 191 1 (2004) 1-40
22. Hintikka Y. Knowledge, identity, and existence. Nous 1 1 (1962) 33-62
23. Hodkinson I. Monodic packed fragment with equality is decidable. Studia Logica 72 (2002) 185-197
24. Hodkinson I. Complexity of monodic guarded fragments over linear and real time. Annals of Pure and Applied Logic 138 (2006) 94-125
25. Hodkinson I., Wolter F., and Zakharyaschev M. Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic 106 1-3 (2000) 85-134
26. Hodkinson I., Wolter F., and Zakharyaschev M. Decidable and undecidable fragments of first-order branching temporal logics. Logic in Computer Science(LICS) (2002), IEEE Computer Society 393-402
27. Hodkinson I., Kontchakov R., Kurucz A., Wolter F., and Zakharyaschev M. On the computational complexity of decidable fragments of first-order linear temporal logics. Proceedings of the International Symposium on Temporal Representation and Reasoning (TIME) (2003), IEEE Press 91-98
28. van der Hoek W., and Meyer J.J.Ch. Making some issues of implicit knowledge explicit. International Journal of Foundations of Computer Science 3 2 (1992) 193-223
29. van der Hoek W., Meyer J.J.Ch., and Treur J. Formal semantics of temporal epistemic reflection logic. Proceedings of the 4th International Workshops on Meta-Programming in Logic (META'94) (1994), Springer-Verlag 332-352
30. Hughes G., and Cresswell M. A New Introduction to Modal Logic (1996), Routledge
31. Huth M., and Ryan M. Logic in Computer Science: Modelling and Reasoning about Systems (2004), Cambridge University Press
32. Kaneko M., and Nagashima T. Game logic and its applications 1. Studia Logica 57 (1996) 325-354
33. Kaneko M., and Nagashima T. Game logic and its applications 2. Studia Logica 58 (1997) 273-303
34. Kripke S. A completeness theorem in modal logic. Journal of Symbolic Logic 24 (1959) 1-14
35. Jager T. An actualist semantics for quantified modal logic. Notre Dame Journal of Formal Logic 23 (1982) 335-349
36. Lakemeyer G. Limited reasoning in first-order knowledge bases. Artificial Intelligence 71 2 (1994) 213-255
37. Lakemeyer G. Limited reasoning in first-order knowledge bases with full introspection. Artificial Intelligence 84 1-2 (1996) 209-255
38. Lamport L. Time, clocks, and the ordering of events in a distributed system. Communication of the ACM 21 7 (1978) 558-565
39. Levesque H. Knowledge representation and reasoning. Annual Reviews Computer Science 30 1 (1986) 81-108
40. Lewis D. On the Plurality of Worlds (1986), Blackwell
41. Liu Y., Lakemeyer G., and Levesque H. A logic of limited belief for reasoning with disjunctive information. Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR04) (2004), AAAI Press 587-597
42. Liu Y., and Levesque H. Tractable reasoning in first-order knowledge bases with disjunctive information. Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05) (2005), AAAI Press 639-644
43. Lomuscio A., and Colombetti M. QLB: A quantified logic for belief. Proceedings of the 3rd International Workshop on Agent Theories, Architectures, and Languages (ATAL-96) (1996), Springer-Verlag
44. A. Lomuscio, F. Raimondi, MCMAS: a tool for verifying multi-agent systems, in: Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS06), Springer, pp. 450-454
45. Lomuscio A., and Ryan M. On the relation between interpreted systems and Kripke models. Proceedings of the AI97 Workshop on Theoretical and Practical Foundation of Intelligent Agents and Agent-Oriented Systems (1997), Springer
46. Manna Z., and Pnueli A. The Temporal Logic of Reactive and Concurrent Systems, vol. 1 (1992), Springer-Verlag
47. McMillan K. Symbolic Model Checking: An Approach to the State Explosion Problem (1993), Kluwer Academic Publishers
48. Meyden R. Axioms for knowledge and time in distributed systems with perfect recall. Logic in Computer Science (LICS) (1994), IEEE Computer Society 448-457
49. Meyer J.-J.Ch., and van der Hoek W. Epistemic Logic for AI and Computer Science (1995), Cambridge University Press
50. Moore R.C. The role of logic in knowledge representation and commonsense reasoning. Proceedings of the 2nd National Conference of the American Association for Artificial Intelligence (1982), AAAI Press 428-433
51. Moore R.C. A formal theory of knowledge and action. Formal Theories of the Commonsense World (1984), Ablex Publishing Corp.
52. Panangaden P., and Taylor K. Concurrent common knowledge: Defining agreement for asynchronous systems. Distributed Computing 6 2 (1992) 73-93
53. Parikh R., and Ramanujam R. Distributed processes and the logic of knowledge. Proceedings of the Conference on Logic of Programs (1985), Springer-Verlag 256-268
54. Raimondi F., and Lomuscio A. Automatic verification of multi-agent systems by model checking via OBDDs. Journal of Applied Logic 5 2 (2007) 235-251
55. Rao A., and Georgeff M. Modeling rational agents within a BDI-architectures. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91) (1991), Morgan Kaufmann Publishers 473-484
56. Reynolds M. Axiomatising first-order temporal logic: Until and since over linear time. Studia Logica 57 2/3 (1996) 279-302
57. Shehtman V. Completeness and incompleteness in first-order modal logic: An overview. Advances in Modal Logic (2006), College Publications 27-30
58. Sturm H., Wolter F., and Zakharyaschev M. Monodic epistemic predicate logic. Proceedings of the European Workshop on Logics in Artificial Intelligence (2000), Springer-Verlag 329-344
59. Sturm H., Wolter F., and Zakharyaschev M. Common knowledge and quantification. Economic Theory 19 (2002) 157-186
60. Thomason R. Some completeness results for modal predicate calculi. Philosophical Problems in Logic (1980), Reidel 56-76
61. Wolter F. First order common knowledge logics. Studia Logica 65 (2000) 249-271
62. Wolter F., and Zakharyaschev M. Decidable fragments of first-order modal logics. Journal of Symbolic Logic 66 3 (2001) 1415-1438
63. Wolter F., and Zakharyaschev M. Axiomatizing the monodic fragment of first-order temporal logic. Annals of Pure and Applied Logic 118 1-2 (2002) 133-145
64. Wooldridge M. An Introduction to Multi-Agent Systems (2002), John Wiley
65. Wooldridge M. Computationally grounded theories of agency. Proceedings of the International Conference on Multi-Agent Systems (ICMAS) (2000), IEEE Press 13-22
66. Wooldridge M. Reasoning about Rational Agents (2000), MIT Press
67. Wooldridge M. Verifying that agents implement a communication language. Proceedings of the 16th National Conference on Artificial Intelligence (AAAI-99) (1999), AAAI Press 52-57
68. Wooldridge M., Fisher M., Huget M., and Parsons S. Model checking for multiagent systems: The Mable language and its applications. International Journal on Artificial Intelligence Tools 15 2 (2006) 195-226
69. Wooldridge M., Fisher M., Huget M., and Parsons S. Model checking multiagent systems with MABLE. Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS02) (2002), IFAAMAS 952-959
70. Wozna B., and Lomuscio A. A temporal epistemic logic with a reset operation. Proceeding of the 6th International Conference on Autonomous Agents and Multiagent Systems (AAMAS07) (2007), ACM 574-581