Formal specification of beliefs in multi-agent systems

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

Volumn 1193, Issue , 2015, Pages 117-130

  Benerecetti, Massimo ^a   Cimatti, Alessandro ^b   Giunchiglia, Enrico ^a   Giunchiglia, Fausto ^b   Serafini, Luciano ^b  

^a UNIVERSITY OF GENOA   (Italy)

^b FONDAZIONE BRUNO KESSLER   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; SPECIFICATIONS; COMPUTATIONAL LINGUISTICS; INTELLIGENT AGENTS;

FORMAL FRAMEWORK; PROPOSITIONAL ATTITUDES; TWO-STREAM;

MULTI AGENT SYSTEMS;

EID: 84926352910     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (20)

1. A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In M. Wooldridge and N. R. Jennings, editors, Intelligentagents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, number 890 in Lecture Notes in Computer Science, pages 71-85. Springer Verlag, 1995. Also IRST-Technical Report 9312-01, IRST, Trento, Italy.
2. A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57-64, 1996. Also IRST-Technical Report 9412-09, IRST, Trento, Italy. Commonsense-96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996.
3. P.R. Cohen and H.J. Levesque. Intention Is Choice with Commitment. Artificial Intelligence, 42:213-261, 1990.
4. R. Fagin and J.Y. Halpem. Belief, awareness, and limited reasoning. Artificial Intelligence, 34:39-76, 1988.
5. E Giunchiglia. Multilanguage systems. In Proceedings of AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 1991. Also IRST-Technical Report 9011-17, IRST, Trento, Italy.
6. E Giunchiglia and E. Giunchiglia. Ideal and Real Belief about Belief: Some intuitions. In Agents Breaking Away, Proc. MAAMAW'96, number 1038 in Lecture Notes in Artificial Intelligence, pages 1-12. Springer Verlag, 1996.
7. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29-70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
8. E Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-Omniscient Belief as Context-Based Reasoning. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 548-554,Chambery, France, 1993. Also IRST-Technical Report 9206-03, IRST, Trento, Italy.
9. K. Konolige. A deduction model of belief Pitman, London, 1986.
10. K. Konolige. Explanatory Belief Ascription: notes and premature formalization. In Proc of the third Conference on Theoretical Aspects of Reasoning about Knowledge, pages 85-96, 1990.
11. A. Lansky. Localized Event-Based Reasoning for Multiagent Domains. Computational Intelligence, 4:319-339, 1988.
12. A. Lomuscio and M. Colombetti. QLB: a quantified logic for belief. In J. P. MUller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
13. M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 254-260, 1996.
14. J. McCarthy. Formalization of Two Puzzles Involving Knowledge. In V. Lifschitz, editor, Formalizing Common Sense - Papers by John McCarthy, pages 158-166. Ablex Publishing Corporation, 1990.
15. J. McCarthy. Notes on Formalizing Context. Unpublished, 1991.
16. P. Noriega and C. Sierra. Towards layered dialogical agents. In J. P. MUller, M.J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III-- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
17. D. Prawitz. NaturalDeduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
18. A. S. Rao and M. Georgeff. BDI-Agents, from Theory to Practice. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS- 95), pages 312-319, 1996.
19. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the 2nd International Conference on Principle of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, 1991.
20. M. J. Wooldridge. A knowledge-theoretic semantics for concurrent metatem. In J. P. Mtiller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents Ill -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.