skip to main content
10.1145/1160633.1160865acmconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
Article

Prototyping 3APL in the Maude term rewriting language

Published: 08 May 2006 Publication History

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

[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.]]

Cited By

View all
  • (2019)Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri netsMultiagent and Grid Systems10.3233/MGS-18029814:4(403-418)Online publication date: 18-Jan-2019
  • (2015)From AgentSpeak to C for Safety Considerations in Unmanned Aerial VehiclesTowards Autonomous Robotic Systems10.1007/978-3-319-22416-9_9(69-81)Online publication date: 18-Jul-2015
  • (2014)Verifying heterogeneous multi-agent programsProceedings of the 2014 international conference on Autonomous agents and multi-agent systems10.5555/2615731.2615758(149-156)Online publication date: 5-May-2014
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
May 2006
1631 pages
ISBN:1595933034
DOI:10.1145/1160633
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 May 2006

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. agent programming languages
  2. prototyping
  3. term rewriting

Qualifiers

  • Article

Conference

AAMAS06
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2019)Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri netsMultiagent and Grid Systems10.3233/MGS-18029814:4(403-418)Online publication date: 18-Jan-2019
  • (2015)From AgentSpeak to C for Safety Considerations in Unmanned Aerial VehiclesTowards Autonomous Robotic Systems10.1007/978-3-319-22416-9_9(69-81)Online publication date: 18-Jul-2015
  • (2014)Verifying heterogeneous multi-agent programsProceedings of the 2014 international conference on Autonomous agents and multi-agent systems10.5555/2615731.2615758(149-156)Online publication date: 5-May-2014
  • (2010)Using the Maude Term Rewriting Language for Agent Development with Formal FoundationsSpecification and Verification of Multi-agent Systems10.1007/978-1-4419-6984-2_9(255-287)Online publication date: 7-Jul-2010
  • (2010)Correctness of Multi-Agent Programs: A Hybrid ApproachSpecification and Verification of Multi-agent Systems10.1007/978-1-4419-6984-2_6(161-194)Online publication date: 7-Jul-2010
  • (2010)Using Theorem Proving to Verify Properties of Agent ProgramsSpecification and Verification of Multi-agent Systems10.1007/978-1-4419-6984-2_1(1-33)Online publication date: 7-Jul-2010
  • (2009)Formal Semantics of OWL-S with Rewrite LogicJournal of Software Engineering and Applications10.4236/jsea.2009.2100402:01(25-33)Online publication date: 2009
  • (2009)Toward a programming theory for rational agentsAutonomous Agents and Multi-Agent Systems10.1007/s10458-008-9065-619:1(4-29)Online publication date: 1-Aug-2009
  • (2008)Model-checking agent refinementProceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 210.5555/1402298.1402322(705-712)Online publication date: 12-May-2008

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media