Prototyping 3APL in the maude term rewriting language

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 1279-1281

  Van Riemsdijk, M Birna ^a   De Boer, Frank S ^a,b   Dastani, Mehdi ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

Author keywords

Agent programming languages; Prototyping; Term rewriting

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; SOFTWARE PROTOTYPING;

AGENT PROGRAMMING LANGUAGES; PROTOTYPING; TERM REWRITING;

MULTI AGENT SYSTEMS;

EID: 34247219162     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160865     Document Type: Conference Paper

References (27)

1. J. V. Baalen, J. L. Caldwell, and S. Mishra. Specifying and checking fault-tolerant agent-based protocols using Maude. In FAABS '00: Proc. of the First Int. Workshop on Formal Approaches to Agent-Based Systems-Revised Papers, volume 1871 of LNCS, London, UK, 2001. Springer-Verlag.
2. R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni. Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.
3. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In Proc. of AAMAS'03, 2003.
4. R. H. Bordini and A. F. Moreira. Proving the asymmetry thesis principles for a BDI agent-oriented programming language. Electronic Notes in Theoretical Computer Science, 70(5), 2002.
5. N. Boudiaf, F. Mokhati, M. Badri, and L. Badri. Specifying DIMA multi-agent models using Maude. In Proc. of PRIMA '04, volume 3371 of LNCS. Springer, 2005.
6. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. Maude manual (version 2.1.1). 2005.
7. M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. Electronic Notes in Theoretical Computer Science, 4:125-147, 1996.
8. M. Dastani, F. S. de Boer, F. Dignum, and J.-J. Ch. Meyer. Programming agent deliberation - an approach illustrated using the 3APL language. In Proc. of AAMAS'03, 2003.
9. M. Dastani, M. B. van Riemsdijk, F. Dignum, and J.-J. Ch. Meyer. A programming language for cognitive agents: goal directed 3APL. In Programming multiagent systems, first int. workshop (ProMAS'03), volume 3067 of LNAI. Springer, Berlin, 2004.
10. M. Dastani, M. B. van Riemsdijk, and J.-J. Ch. Meyer. Programming multi-agent systems in 3APL. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.
11. F. Durán, S. Eker, P. Lincoln, and J. Meseguer. Principles of mobile Maude. In Proc. of the Second Int. Symposium on Agent Systems and Applications and Fourth Int. Symposium on Mobile Agents, volume 1882 of LNCS, 2000. Springer-Verlag.
12. S. Eker, J. Meseguer, and A. Sridharanarayanan. The Maude LTL model checker. In F. Gaducci and U. Montanari, editors, Proc. of the 4th Int. Workshop on Rewriting Logic and Its Applications (WRLA 2002), volume 71 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002.
13. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming in 3APL. Int. J. of AAMAS, 2(4):357-401, 1999.
14. G. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, New Jersey, 1991.
15. G. Holzmann. The model checker SPIN. IEEE Trans. Software Engineering, 23(5):279-295, 1997.
16. M. Kulas and C. Beierle. Defining standard Prolog in rewriting logic. In Electronic Notes in Theoretical Computer Science, volume 36. Elsevier Science Publishers, 2000.
17. N. Martí-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In J. Meseguer, editor, Electronic Notes in Theoretical Computer Science, volume 4. Elsevier Science Publishers, 2000.
18. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96:73-155, 1992.
19. J. Meseguer. Membership algebra as a logical framework for equational specification. In Proc. of the 12th Int. Workshop on Recent Trends in Algebraic Development Techniques, 1997. Springer-Verlag.
20. P. C. Ölveczky. Formal modeling and analysis of distributed systems in Maude. Lecture Notes, 2005.
21. G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.
22. A. Pokahr, L. Braubach, and W. Lamersdorf. Jadex: a BDI reasoning engine. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.
23. M. B. van Riemsdijk, M. Dastani, and J.-J. Ch. Meyer. Semantics of declarative goals in agent programming. In Proc. of AAMAS'05, 2005.
24. M. B. van Riemsdijk, J.-J. Ch. Meyer, and F. S. de Boer. Semantics of plan revision in intelligent agents. In C. Rattray, S. Maharaj, and C. Shankland, editors, Theoretical Computer Science, pages 240-257. 2006. Special issue of Algebraic Methodology and Software Technology (AMAST'04).
25. M. B. van Riemsdijk, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming in Dribble: from beliefs to goals using plans. In Proc. of AAMAS'03, 2003.
26. A. Verdejo and N. Martí-Oliet. Executable structural operational semantics in Maude. Technical report, Universidad Complutense de Madrid, Madrid, 2003.
27. M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics. Elsevier, Amsterdam, 1990.