Specifying and verifying systems of communicating agents in a temporal action logic

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

Volumn 2829, Issue , 2003, Pages 262-274

  Giordano, Laura ^a   Martelli, Alberto ^b   Schwind, Camilla ^c  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

^c CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPLIANCE CONTROL; COMPUTER CIRCUITS; MODEL CHECKING; CONSTRAINT THEORY; FORMAL LOGIC; INTELLIGENT AGENTS; NETWORK PROTOCOLS; SOCIAL ASPECTS;

AGENT COMMUNICATIONS; COMMUNICATIVE ACTIONS; DYNAMIC LINEAR TIME TEMPORAL LOGIC; INTER-ACTION PROTOCOLS; MODEL-CHECKING TECHNIQUES; SATISFIABILITY PROBLEMS; TEMPORAL CONSTRAINTS; VERIFICATION PROBLEMS; COMMUNICATING AGENTS; DYNAMIC LINEAR TIME TEMPORAL LOGIC (DLTL); INTERACTION PROTOCOL; MODEL CHECKING;

TEMPORAL LOGIC; ARTIFICIAL INTELLIGENCE;

EID: 7444250642     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39853-0_22     Document Type: Conference Paper

References (20)

1. [1] F. Bacchus and F. Kabanza. Planning for temporally extended goals. in Annals of Mathematics and AI, 22:5–27, 1998.
2. [2] M. Benerecetti, F. Giunchiglia and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation. Special Issue on Computational Aspects of Multi-Agent Systems, 8(3):401-423. 1998.
3. [3] D. Calvanese, G. De Giacomo and M.Y. Vardi. Reasoning about Actions and Planning in LTL Action Theories. In Proc. KR’02, 2002.
4. [4] P. Cohen and H. Levesque, Communicative actions for artificial agents. Int. Conf. on Multi Agent Systems, pp.65-72, MIT Press,1995.
5. [5] G. De Giacomo, Y. Lespérance, H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(2000), pp.109-169.
6. [6] R. Gerth and D. Peled and M.Y. Vardi and P. Wolper. Simple On-the-fly Automatic verification of Linear Temporal Logic. In Proc. 15th Work. Protocol Specification, Testing and Verification, Warsaw, June 1995, North Holland.
7. [7] L. Giordano, A. Martelli, and C. Schwind. Ramification and causality in a modal action logic. In Journal of Logic and Computation, 10(5):625-662, 2000.
8. [8] L. Giordano, A. Martelli, and C. Schwind. Reasoning About Actions in Dynamic Linear Time Temporal Logic. In FAPR’00-Int. Conf. on Pure and Applied Practical Reasoning, London, September 2000. Also in The Logic Journal of the IGPL, Vol. 9, No. 2, pp. 289-303, March 2001.
9. [9] L. Giordano, A. Martelli, and C. Schwind. Reasoning about Actions in a Multiagent Domain. In Proc. AI*IA’01, Bari, pp. 237–248, September 2001.
10. [10] F. Giunchiglia and P. Traverso. Planning as Model Checking. In Proc. The 5th European Conf. on Planning (ECP’99), pp.1–20, Durham (UK), 1999.
11. [11] F. Guerin. Specifying Agent Communication Languages. PhD Thesis, Imperial College, London, April 2002.
12. [12] D. Harel. First order dynamic logic in Extensions of Classical Logic, Handbook of Philosophical Logic II, pp. 497–604, 1984.
13. [13] J. G. Henriksen and P. S. Thiagarajan A product Version of Dynamic Linear Time Temporal Logic. in CONCUR’97, 1997.
14. [14] J. G. Henriksen and P. S. Thiagarajan Dynamic Linear Time Temporal Logic. In Annals of Pure and Applied logic, vol.96, n.1-3, pp.187–207, 1999
15. [15] Y. Labrou and T. Finin, A semantic approach for KQML-a general purpose communication language for software agents. In 3rd Int Conf. on Information and Knowledge Management, CIKM’94, pp.447-455, 1994.
16. [16] R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, V. Lifschitz, ed.,pages 359–380, Academic Press, 1991.
17. [17] M.P. Singh. A social semantics for Agent Communication Languages. In IJCAI-98 Workshop on Agent Communication Languages, Springer, Berlin, 2000.
18. [18] M. Wooldridge. Semantic Issues in the Verification of Agent Communication Languages. Autonomous Agents and Multi-Agent Systems, vol. 3, pp. 9-31, 2000.
19. [19] M. Wooldridge, M. Fisher, M. P. Huget and S. Parsons. Model Checking Multi-Agent Systems with MABLE. In AAMAS’02, pp. 952–959, Bologna, Italy, 2002.
20. [20] P. Yolum and M.P. Singh. Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments. In AAMAS’02, pp. 527–534, Bologna, Italy, 2002.