Article

Denotational semantics for agent communication language

Authors:

Frank Guerin,

Jeremy PittAuthors Info & Claims

AGENTS '01: Proceedings of the fifth international conference on Autonomous agents

Pages 497 - 504

https://doi.org/10.1145/375735.376427

Published: 28 May 2001 Publication History

Get Access

Abstract

The dilemma encountered in the design of an agent communication language (ACL) for an open society is that it should be based on externally observable phenomena yet it should capture something of the intuitions behind the high level abstractions typically found in internal mental states. Our solution treats an ACL message as a declarative statement that is given a procedural interpretation by a denotational semantics. This defines a speech act as a function between states. These states are social states which store public information including expressed mental attitudes and control variables. Expressed mental attitudes are externally observable and capture the conventional public meaning of communication. The variables control the flow of conversation in a protocol. We conclude firstly that since the denotational semantics is based on externally observable phenomena, it is possible to verify compliance and prove properties of protocols. Secondly, since the semantics is more expressive than behavioural specifications, it lays the foundation for high-level communication between intelligent agents.

References

[1]

Artikis, A., Guerin, F., Pitt, J. Integrating Interaction Protocols and Internet Protocols for Agent-Mediated E- Commerce, In Dignum, F., Cortes, U., Agent-Mediated Electronic Commerce III. Springer-Verlag. (2001).]]

Digital Library

Google Scholar

[2]

FIPA, {OC00003} FIPA 97 Part 2 Version 2.0: Agent Communication Language Specification. Foundation for Intelligent Physical Agents. (1997).]]

Google Scholar

[3]

Gazdar, G. Speech Act Assignment. Elements of Discourse Understanding . Cambridge University Press. (1981).]]

Google Scholar

[4]

Genesereth, M., Ketchpel, S., Software Agents. Communications of the ACM, (July 1994).]]

Digital Library

Google Scholar

[5]

Cohen, P. and Levesque, H. Communicative Actions for Artificial Agents. ICMAS'95. MIT Press, Cambridge, Massachusetts, USA; 1995; p. 65-72. (1995).]]

Google Scholar

[6]

Schmidt, D. A. Denotational Semantics: A Methodology for Language development. Allyn and Bacon Inc. (1986)]]

Digital Library

Google Scholar

[7]

Singh, M. A Social Semantics for Agent Communication Languages. Proceedings of the IJCAI Workshop on Agent Communication Languages, Springer-Verlag. (2000).]]

Digital Library

Google Scholar

[8]

Singh, M. Agent Communication Languages: Rethinking the Principles. IEEE Computer. vol.31, no.12; p.40-7. (1998).]]

Digital Library

Google Scholar

Cited By

View all

Monticolo DLahoud I(2020)An Agent Approach to Manage Heterogeneous and Distributed KnowledgeInternational Journal of Knowledge-Based Organizations10.4018/IJKBO.202001010210:1(27-48)Online publication date: Jan-2020
https://doi.org/10.4018/IJKBO.2020010102
Moubaiddin ASalah IObeid N(2018)A temporal modal defeasible logic for formalizing social commitments in dialogue and argumentation modelsApplied Intelligence10.1007/s10489-017-0983-348:3(608-627)Online publication date: 1-Mar-2018
https://dl.acm.org/doi/10.1007/s10489-017-0983-3
Mobaiddin AObeid N(2018)On Commitments Creation, Compliance and ViolationRecent Trends and Future Technology in Applied Intelligence10.1007/978-3-319-92058-0_45(465-476)Online publication date: 30-May-2018
https://doi.org/10.1007/978-3-319-92058-0_45
Show More Cited By

Index Terms

Denotational semantics for agent communication language
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics
      1. Denotational semantics

Recommendations

On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC
TASE '13: Proceedings of the 2013 International Symposium on Theoretical Aspects of Software Engineering

In order to describe the requirement of spatial and temporal consistency of cyber-physical systems, a specification language called as STeC was proposed by Chen in [1]. In this paper, we focus on the theory of semantics of STeC. After simply restating ...
Some Remarks on the Semantics of FIPA's Agent Communication Language

The Foundation for Intelligent Physical Agents (FIPA) standardisation body has produced a set of specifications outlining a generic model for the architecture and operation of agent-based systems. The FIPA'97 Specification Part 2 is the normative ...
A Denotational Semantics for Circus

Circus specifications define both data and behavioural aspects of systems using a combination of Z and CSP. Previously, a denotational semantics has been given to Circus; however, as a shallow embedding of Circus in Z, it was not possible to use it to ...

Comments

Information & Contributors

Information

Published In

AGENTS '01: Proceedings of the fifth international conference on Autonomous agents

May 2001

662 pages

ISBN:158113326X

DOI:10.1145/375735

Chairmen:
Elisabeth André
DFKI, Germany
,
Sandip Sen
Univ. of Tulsa,
,
Claude Frasson
Univ. of Montreal, Montreal, P.Q., Canada
,
Jörg P. Müller
Seimens, Germany

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 May 2001

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

AGENTS01

Sponsor:

AGENTS01: Autonomous Agents 2001

Quebec, Montreal, Canada

Acceptance Rates

AGENTS '01 Paper Acceptance Rate 66 of 248 submissions, 27%;

Overall Acceptance Rate 182 of 599 submissions, 30%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

30
Total Citations
View Citations
451
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Monticolo DLahoud I(2020)An Agent Approach to Manage Heterogeneous and Distributed KnowledgeInternational Journal of Knowledge-Based Organizations10.4018/IJKBO.202001010210:1(27-48)Online publication date: Jan-2020
https://doi.org/10.4018/IJKBO.2020010102
Moubaiddin ASalah IObeid N(2018)A temporal modal defeasible logic for formalizing social commitments in dialogue and argumentation modelsApplied Intelligence10.1007/s10489-017-0983-348:3(608-627)Online publication date: 1-Mar-2018
https://dl.acm.org/doi/10.1007/s10489-017-0983-3
Mobaiddin AObeid N(2018)On Commitments Creation, Compliance and ViolationRecent Trends and Future Technology in Applied Intelligence10.1007/978-3-319-92058-0_45(465-476)Online publication date: 30-May-2018
https://doi.org/10.1007/978-3-319-92058-0_45
Chen MMcArthur SKockar IPitt J(2015)Evaluating a MAS architecture for flexible distribution power flow management2015 18th International Conference on Intelligent System Application to Power Systems (ISAP)10.1109/ISAP.2015.7325531(1-6)Online publication date: Sep-2015
https://doi.org/10.1109/ISAP.2015.7325531
Monticolo DMihaita SDarwich HHilaire V(2014)An agent-based system to build project memories during engineering projectsKnowledge-Based Systems10.1016/j.knosys.2013.12.02268:1(88-102)Online publication date: 1-Sep-2014
https://dl.acm.org/doi/10.1016/j.knosys.2013.12.022
Monticolo DLahoud IBonjour E(2012)Distributed knowledge extracted by a mas using ontology alignment methods2012 International Conference on Computer & Information Science (ICCIS)10.1109/ICCISci.2012.6297276(386-391)Online publication date: Jun-2012
https://doi.org/10.1109/ICCISci.2012.6297276
Moubaiddin AObeid N(2012)On formalizing social commitments in dialogue and argumentation models using temporal defeasible logicKnowledge and Information Systems10.1007/s10115-012-0578-637:2(417-452)Online publication date: 6-Nov-2012
https://doi.org/10.1007/s10115-012-0578-6
Dunin-Kęplicz BStrachocka AVerbrugge R(2011)Deliberation dialogues during multi-agent planningProceedings of the 19th international conference on Foundations of intelligent systems10.5555/2029759.2029784(170-181)Online publication date: 28-Jun-2011
https://dl.acm.org/doi/10.5555/2029759.2029784
Dunin-Kęplicz BStrachocka AVerbrugge R(2011)Deliberation Dialogues during Multi-agent PlanningFoundations of Intelligent Systems10.1007/978-3-642-21916-0_20(170-181)Online publication date: 2011
https://doi.org/10.1007/978-3-642-21916-0_20
Matta NMonticolo D(2010)Capitalization of collective knowledge: From knowledge engineering, multi-agent systems to CSCW and socio semantic web2010 International Symposium on Collaborative Technologies and Systems10.1109/CTS.2010.5478529(13-20)Online publication date: May-2010
https://doi.org/10.1109/CTS.2010.5478529
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC

Some Remarks on the Semantics of FIPA's Agent Communication Language

A Denotational Semantics for Circus

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations