Prototyping 3APL in the Maude term rewriting language

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Prototyping 3APL in the Maude term rewriting language

Full text

Pdf (148 KB)

Source

International Conference on Autonomous Agents archive
Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems table of contents

Hakodate, Japan

SESSION: Agent programming table of contents

Pages: 1279 - 1281

Year of Publication: 2006

ISBN:1-59593-303-4

Authors

M. Birna van Riemsdijk	Utrecht University, The Netherlands
Frank S. de Boer	Utrecht University, CWI, Amsterdam, The Netherlands
Mehdi Dastani	Utrecht University, The Netherlands
John-Jules Ch. Meyer	Utrecht University, The Netherlands

Sponsors

IFMAS : The International Foundation for Multiagent Systems
ATAL : The International Workshop on Agent Theories, Architectures, and Languages
SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 28, Citation Count: 2

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1160633.1160865 What is a DOI?

ABSTRACT

This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. We argue that Maude is very well suited for prototyping agent programming languages such as 3APL.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Jeffrey Van Baalen , James L. Caldwell , Shivakant Mishra, Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude, Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers, p.180-193, April 05-07, 2000
	2	R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni. Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.
	3	Rafael H. Bordini , Michael Fisher , Carmen Pardavila , Michael Wooldridge, Model checking agentspeak, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia [doi>10.1145/860575.860641]
	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	Mehdi Dastani , Frank de Boer , Frank Dignum , John-Jules Meyer, Programming agent deliberation: an approach illustrated using the 3APL language, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia [doi>10.1145/860575.860592]
	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	Fransisco Durán , Steven Eker , Patrick Lincoln , José Meseguer, Principles of Mobile Maude, Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, p.73-85, September 13-15, 2000
	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	Koen V. Hindriks , Frank S. De Boer , Wiebe Van Der Hoek , John-Jules Ch. Meyer, Agent Programming in 3APL, Autonomous Agents and Multi-Agent Systems, v.2 n.4, p.357-401, November 1999 [doi>10.1023/A:1010084620690]
	14	Gerard J. Holzmann, Design and validation of computer protocols, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	15	Gerard J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, v.23 n.5, p.279-295, May 1997 [doi>10.1109/32.588521]
	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	José Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, v.96 n.1, p.73-155, 6 April 1992
	19	José Meseguer, Membership algebra as a logical framework for equational specification, Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques, p.18-61, July 01, 1997
	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. Birna van Riemsdijk , Mehdi Dastani , John-Jules Ch. Meyer, Semantics of declarative goals in agent programming, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, July 25-29, 2005, The Netherlands [doi>10.1145/1082473.1082494]
	24	M. Birna van Riemsdijk , John-Jules Ch. Meyer , Frank S. de Boer, Semantics of plan revision in intelligent agents, Theoretical Computer Science, v.351 n.2, p.240-257, 21 February 2006 [doi>10.1016/j.tcs.2005.09.070]
	25	Birna van Riemsdijk , Wiebe van der Hoek , John-Jules Ch. Meyer, Agent programming in dribble: from beliefs to goals using plans, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia [doi>10.1145/860575.860639]
	26	A. Verdejo and N. Martí-Oliet. Executable structural operational semantics in Maude. Technical report, Universidad Complutense de Madrid, Madrid, 2003.
	27	Martin Wirsing, Algebraic specification, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991

CITED BY 2

	Lacramioara Astefanoaei , Frank S. de Boer, Model-checking agent refinement, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, May 12-16, 2008, Estoril, Portugal
	K. V. Hindriks , J. -J. Meyer, Toward a programming theory for rational agents, Autonomous Agents and Multi-Agent Systems, v.19 n.1, p.4-29, August 2009