skip to main content
10.1145/1329125.1329304acmotherconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
research-article

A grounded specification language for agent programs

Published: 14 May 2007 Publication History

Abstract

This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable properties expressed in an agent specification language, i.e., that any agent implemented by the programming language satisfies the desirable property expressed in the specification language. We study this relation by defining and aligning the semantics of an agent specification language and implementation language, and prove that certain properties expressed in the specification language are satisfied by the implementation language.

References

[1]
R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni. Multiagent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.
[2]
Rafael H. Bordini and Alvaro F. Moreira. Proving the asymmetry thesis principles for a BDI agent-oriented programming language. Electronic Notes in Theoretical Computer Science, 70(5), 2002.
[3]
Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42, 1990.
[4]
M. Dastani, D. Hobo, and J.-J. Ch Meyer. Practical extensions in agent programming languages. In Proceedings of AAMAS 2007. ACM Press, 2007.
[5]
Mehdi Dastani, M. Birna van Riemsdijk, and John-Jules Ch. Meyer. Goal types in agent programming. In Proceedings of ECAI'06, 2006.
[6]
E. A. Emerson and J. Y. Halpern. "sometimes" and "not never" revisited: on branching versus linear time temporal logic. Journal of the ACM, 33(1):151--178, 1986.
[7]
K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch Meyer. Agent programming with declarative goals. In Proceedings of ATAL'2000), LNAI.
[8]
J.-J. Ch Meyer, W. van der Hoek, and B. van Linder. A logical approach to the dynamics of commitments. Arificial Intelligence, 113:1--40, 1999.
[9]
Anand S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. van der Velde and J. W. Perram, editors, Agents Breaking Away (LNAI 1038), 1996.
[10]
Anand S. Rao and Michael P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of KR'91, pages 473--484, 1991.
[11]
K. Schild. On the relationship between BDI-logics and standard logics of concurrency. Autonomous agents and multiagent systems, 3:259--283, 2000.
[12]
M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative and procedural goals in intelligent agent systems. In Proc. of KR'02, 2002.
[13]
Laurens Winkelhagen, Mehdi Dastani, and Jan Broersen. Beliefs in agent implementation. In Proceedings DALT 2005, LNCS 3904. Springer, 2006.
[14]
Michael Woolridge. Introduction to Multiagent Systems. John Wiley & Sons, Inc., 2002.

Cited By

View all
  • (2012)A defeasible logic of intentionProceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I10.1007/978-3-642-37807-2_28(321-333)Online publication date: 27-Oct-2012
  • (2011)Reasoning about agent deliberationAutonomous Agents and Multi-Agent Systems10.1007/s10458-010-9129-222:2(356-381)Online publication date: 1-Mar-2011
  • (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
  • Show More Cited By

Index Terms

  1. A grounded specification language for agent programs

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Other conferences
      AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
      May 2007
      1585 pages
      ISBN:9788190426275
      DOI:10.1145/1329125
      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

      • IFAAMAS

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 14 May 2007

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. agent programming language
      2. agent specification language

      Qualifiers

      • Research-article

      Conference

      AAMAS07
      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 14 Dec 2024

      Other Metrics

      Citations

      Cited By

      View all
      • (2012)A defeasible logic of intentionProceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I10.1007/978-3-642-37807-2_28(321-333)Online publication date: 27-Oct-2012
      • (2011)Reasoning about agent deliberationAutonomous Agents and Multi-Agent Systems10.1007/s10458-010-9129-222:2(356-381)Online publication date: 1-Mar-2011
      • (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)Code patterns for agent-oriented programmingProceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 110.5555/1558013.1558027(105-112)Online publication date: 10-May-2009
      • (2009)Verifying dribble agentsProceedings of the 7th international conference on Declarative Agent Languages and Technologies10.1007/978-3-642-11355-0_15(244-261)Online publication date: 11-May-2009
      • (2008)2APLAutonomous Agents and Multi-Agent Systems10.1007/s10458-008-9036-y16:3(214-248)Online publication date: 1-Jun-2008
      • (2007)Our Quest for the Holy Grail of Agent VerificationProceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods10.1007/978-3-540-73099-6_2(2-9)Online publication date: 3-Jul-2007

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media