A verification framework for agent programming with declarative goals

Journal of Applied Logic

Volumn 5, Issue 2, 2007, Pages 277-302

  de Boer, F S ^a,b   Hindriks, K V ^c   van der Hoek, W ^d   Meyer, J J Ch ^b  

^a CWI   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^d UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Agent programming language; Agents; Beliefs; Declarative goals; Programming logic

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; PROBLEM SOLVING; SEMANTICS;

AGENT PROGRAMMING LANGUAGES; DECLARATIVE GOALS; PROGRAMMING LOGIC;

MULTI AGENT SYSTEMS;

EID: 34247154931     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2005.12.014     Document Type: Article

References (35)

1. Gärdenfors P., Alchourrón C.E., and Makinson D. On the logic of theory change: Partial meet contraction and revision functions. J. Symbolic Logic 50 (1985) 510-530
2. Andrews G.R. Concurrent Programming: Principles and Practice (1991), The Benjamin/Cummings Publishing Company
3. Apt K.R., and Olderog E.-R. Verification of Sequential and Concurrent Programs (1991), Springer, New York
4. Mani Chandy K., and Misra J. Parallel Program Design (1988), Addison-Wesley, Reading, MA
5. Cohen P.R., and Levesque H.J. Intention is choice with commitment. Artificial Intelligence 42 (1990) 213-261
6. Cohen P.R., and Levesque H.J. Communicative actions for artificial agents. Proceedings of the International Conference on Multi-Agent Systems (1995), AAAI Press
7. Dastani M., van Riemsdijk M.B., Dignum F., and Meyer J.-J.Ch. A programming language for cognitive agents: Goal-Directed 3APL. In: Dastani M., Dix J., and El Fallah-Seghrouchni A. (Eds). Programming Multi-Agent Systems (Proc. ProMAS 2003). Lecture Notes in Artificial Intelligence vol. 3067 (2004), Springer, Berlin 111-130
8. Dijkstra E.W. Guarded commands, nondeterminacy and formal derivation of programs. Comm. ACM 18 (1975) 453-457
9. Fagin R., and Halpern J. Belief, awareness, and limited reasoning. Artificial Intelligence 34 (1988) 39-76
10. Fagin R., Halpern J.Y., Moses Y., and Vardi M.Y. Reasoning about Knowledge (1994), MIT Press, Cambridge MA
11. de Giacomo G., Lespérance Y., and Levesque H. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121 1-2 (2000) 109-169
12. Girard J.Y. Linear logic. Theoret. Comput. Sci. 50 (1987) 1-101
13. K.V. Hindriks, F.S. de Boer, W. van der Hoek, J.-J. Meyer, An operational semantics for the single agent core of AGENT-0, Technical Report UU-CS-1999-30, Department of Computer Science, University Utrecht, 1999
14. Hindriks K.V., de Boer F.S., van der Hoek W., and Meyer J.-J.Ch. A formal embedding of AgentSpeak(L) in 3APL. In: Antoniou G., and Slaney J. (Eds). Advanced Topics in Artificial Intelligence. Lecture Notes in Artificial Intelligence vol. 1502 (1998), Springer, Berlin 155-166
15. Hindriks K.V., de Boer F.S., van der Hoek W., and Meyer J.-J.Ch. Formal semantics for an abstract agent programming language. In: Singh M.P., Rao A., and Wooldridge M.J. (Eds). Intelligent Agents IV. Lecture Notes in Artificial Intelligence vol. 1365 (1998), Springer, Berlin 215-229
16. Hindriks K.V., de Boer F.S., van der Hoek W., and Meyer J.-J.Ch. Agent programming in 3APL. Autonomous Agents Multi-Agent Syst. 2 4 (1999) 357-401
17. K.V. Hindriks, Y. Lespérance, H.J. Levesque, An embedding of ConGolog in 3APL, Technical Report UU-CS-2000-13, Department of Computer Science, University Utrecht, 2000
18. van Linder B., van der Hoek W., and Meyer J.-J.Ch. Formalising motivational attitudes of agents: On preferences, goals, and commitments. In: Wooldridge M.J., Müller J.P., and Tambe M. (Eds). Intelligent Agents II. Lecture Notes in Artificial Intelligence vol. 1037 (1996), Springer, Berlin 17-32
19. Manna Z., and Pnueli A. The Temporal Logic of Reactive and Concurrent Systems (1992), Springer, Berlin
20. Meyer J.-J.Ch., and van der Hoek W. Epistemic Logic for AI and Computer Science. Cambridge Tracks in Theoretical Computer Science vol. 41 (1995), Cambridge University Press, Cambridge
21. Meyer J.-J.Ch., van der Hoek W., and van Linder B. A logical approach to the dynamics of commitments. Artificial Intelligence 113 (1999) 1-40
22. In: Priest G., Routley R., and Norman J. (Eds). Paraconsistent Logic: Essays on the Inconsistent (1989), Philosophia Verlag, München
23. Rao A.S. AgentSpeak(L): BDI agents speak out in a logical computable language. In: van der Velde W., and Perram J.W. (Eds). Agents Breaking Away. Lecture Notes in Artificial Intelligence vol. 1038 (1996), Springer, Berlin 42-55
24. Rao A.S. Decision procedures for propositional linear-time belief-desire-intention logics. In: Wooldridge M.J., Müller J.P., and Tambe M. (Eds). Intelligent Agents II. Lecture Notes in Artificial Intelligence vol. 1037 (1996), Springer, Berlin 33-48
25. A.S. Rao, M.P. Georgeff, Intentions and rational commitment, Technical Report 8, Australian Artificial Intelligence Institute, Melbourne, Australia, 1990
26. van Riemsdijk M.B., van der Hoek W., and Meyer J.-J.Ch. Agent programming in dribble: from beliefs to goals using plans. In: Rosenschein J.S., Sandholm T., Wooldridge M., and Yokoo M. (Eds). Proc. 2nd Int. J. Conf. on Autonomous Agents and Multiagent Systems (AAMAS'03). Melbourne, Australia (2003), ACM Press, New York 393-400
27. Russell S., and Norvig P. Artificial Intelligence, A Modern Approach (1995), Prentice-Hall, Englewood Cliffs, NJ
28. V. Saraswat, M. Ringard, P. Panangaden, Semantic foundations of concurrent constraint programming, in: Proceedings of the 18th ACM Symposium on Principles of Programming Languages (POPL'91), 1991, pp. 333-352
29. Shoham Y. Agent-oriented programming. Artificial Intelligence 60 (1993) 51-92
30. Thijsse E. On total awareness logics (with special attention to monotonicity constraints and flexibility). In: de Rijke M. (Ed). Diamonds and Defaults. Synthese Library vol. 229 (1993), Kluwer Academic Publishers, Dordrecht
31. S.R. Thomas, PLACA, an agent oriented programming language, PhD thesis, Department of Computer Science, Stanford University, 1993
32. T. Vos, UNITY in diversity, PhD thesis, Department of Computer Science, Utrecht University, 2000
33. Wobcke W. On the correctness of PRS agent programs. In: Jennings N.R., and Lespérance Y. (Eds). Intelligent Agents VI. Lecture Notes in Artificial Intelligence vol. 1757 (2000), Springer, Berlin
34. Wooldridge M., and Jennings N.R. Intelligent agents: Theory and practice. Knowledge Engrg. Rev. 10 2 (1995) 115-152
35. http://www.cs.uu.nl/3apl