Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems

Volumn 2, Issue 4, 1999, Pages 357-401

  Hindriks, Koen V ^a   De Boer, Frank S ^a   Van Der Hoek, Wiebe ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Agent oriented programming; Comparison of agent programming languages; Control structure; Formal semantics; Intelligent agent; Meta transition system; Practical reasoning rule; Selection mechanism

Indexed keywords

EID: 0033478151     PISSN: 13872532     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1010084620690     Document Type: Article

References (27)

1. M. E. Bratman, Intentions, Plans, and Practical Reasoning, Harvard University Press: Cambridge, MA, 1987.
2. P. R. Cohen and H. J. Levesque, "Intention is choice with commitment," Artificial Intelligence, vol. 42, pp. 213-261, 1990.
3. B. Dunin-Keplicz and J. Treur, "Compositional formal specification of multi-agent systems," in M. J. Wooldridge and N. R. Jennings (eds), Intelligent Agents (LNAI 890), Springer-Verlag: Berlin, 1995, pp. 102-117.
4. R. E. Fikes and N. J. Nilson, "STRIPS: A new approach to the application of theorem proving to problem solving," Artificial Intelligence, vol. 2(3-4), pp. 189-208, 1971.
5. M. Fisher, "A survey of concurrent metateM - The language and its applications," in Proceedings of First International Conference on Temporal Logic (LNCS 827), Springer-Verlag: Berlin, 1994, pp. 480-505.
6. G. De Giacomo, Y. Lespérance and H. J. Levesque, "Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus," in M. E. Pollack (ed.), Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Morgan Kaufman: Los Altos, CA, 1997, pp. 1221-1226.
7. G. De Giacomo and H. J. Levesque, "An incremental interpreter for high-level programs with sensing," Department of Computer Science, University of Toronto, Technical Report, 1998.
8. K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, "A formal embedding of AgentSpeak(L) in 3APL," in G. Antoniou and J. Slaney (eds.), Advanced Topics in Artificial Intelligence (LNAI 1502), Springer-Verlag: Berlin, 1998, pp. 155-166.
9. K. V. Hindriks, E. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, "Failure, monitoring and recovery in the agent language 3APL," in G. de Giacomo (ed.), AAAI 1998 Fall Symposium on Cognitive Robotics, 1998, pp. 68-75.
10. K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, "Formal semantics for an abstract agent programming language," in M. P. Singh, A. S. Rao and M. J. Wooldridge (eds.), Intelligent Agents IV (LNAI 1365), Springer-Verlag: Berlin, 1998, pp. 215-229.
11. K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, "Formal semantics of the core of AGENT-0," ECAI'98 Workshop on Practical Reasoning and Rationality, 1998, pp. 20-29.
12. K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, "Control structures of rule-based agent languages," in J. P. Müller, M. P. Singh and A. S. Rao (eds.), Intelligent Agents V (LNAI 1555), Springer-Verlag: Berlin, 1999, pp. 381-396.
13. K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, "Semantics of communicating agents based on deduction and abduction," Department of Computer Science, University Utrecht, Technical Report UU-CS-1999-09, 1999.
14. R. Kowalski and E. Sadri, "Towards a unified agent architecture that conmbines rationality with reactivity," in Proc. International Workshop on Logic in Databases (LNCS 1154), Springer-Verlag: Berlin, 1996, pp. 137-149.
15. R. Kowalski, F. Toni and G. Wetzel, "Towards a declarative and glass-box clp language," in N. E. Fuchs and G. Gottlob (eds.), in Proc. of the 10th Logic Programming Workshop, University of Zurich, 1994, (ifi-Report Nr. 94.10).
16. Y. Lespérance, H. J. Levesque, F. Lin, D. Marcu, R. Reiter and R. B. Scherl, "Foundations of a logical approach to agent programming," in M. J. Wooldridge, J. P. Müller and M. Tambe (eds.), Intelligent Agents II (LNAI 1037), Springer-Verlag: Berlin, 1996, pp. 331-346.
17. J. W. Lloyd, Foundations of Logic Programming, Springer-Verlag: Berlin, 1987.
18. G. Plotkin, "A structural approach to operational semantics," Aarhus University, Computer Science Department, Technical Reports, 1981.
19. A. Poggi, "DAISY: An object-oriented system for distributed artificial intelligence," M. J. Wooldridge and N. R. Jennings (eds.), Intelligent Agents (LNAI 890), Springer-Verlag: Berlin, 1995, pp. 341-354.
20. A. S. Rao, "AgentSpeak(L): BDI agents speak out in a logical computable language," in W. van der Velde and J. W. Perram (eds.), Agents Breaking Away (LNAI 1038), Springer-Verlag: Berlin, 1996, pp. 42-55.
21. A. S. Rao, "Decision procedures for propositional linear-time belief-desire-intention logics," in M. J. Wooldridge, J. P. Müller and M. Tambe (eds.), Intelligent Agents II (LNAI 1037), Springer-Verlag: Berlin, 1996, pp. 33-48.
22. Y. Shoham, "Agent-oriented programming," Artificial Intelligence, vol. 60, pp. 51-92, 1993.
23. M. P. Singh, Multiagent Systems (LNAI 799), Springer-Verlag: Berlin, 1994.
24. S. R. Thomas, "PLACA, an agent oriented programming language," Ph.D. thesis, Department of Computer Science, Stanford University, 1993.
25. W. van der Hoek, B. van Linder and J.-J. Ch. Meyer, "A logic of capabilities," in A. Nerode and Y. V. Matiyasevich (eds.), Proc. of the Third Int. Symposium on the Logical Foundations of Computer Science (LNCS 813), Springer-Verlag: Berlin, 1994, pp. 366-378.
26. B. van Linder, W. van der Hoek and J.-J. Ch. Meyer, "Formalising motivational attitudes of agents: On preferences, goals, and commitments," in M. J. Wooldridge, J. P. Müller and M. Tambe (eds.), Intelligent Agents II (LNAI 1037), Springer-Verlag: Berlin, 1996, pp. 17-32.
27. M. J. Wooldridge, "A knowledge-theoretic semantics for concurrent MetateM," in J. P. Müller, M. J. Wooldridge and N. R. Jennings (eds.), Intelligent Agents III (LNAI 1193), Springer-Verlag: Berlin, 1997, pp. 357-374.