Enforcing Social Semantic in FIPA-ACL Using SPIN

Agent technology is an emerging software paradigm for developing open, distributed and heterogeneous complex system. There is a need for different software to communicate with one another in order to achieve its task. Therefore, a standard protocol is required. In agent technology, this common protocol is referred to as agent communication language. Agent communication language is a high-level protocol/language that allows agent applications to exchange, parse and understand the meaning of the exchanged content. One of the widely adopted agent communications is FIPA-ACL. An ontology for FIPA-ACL has been developed in previous work. However, the developed ontology does not incorporate any semantic model. Hence, in this paper, SPIN notation is used to model the social semantic of FIPA-ACL as it is able to link the class definition with SPARQL queries to capture rules and constraints to formalize the expected behaviour of classes.

[1]  Peter F. Patel-Schneider,et al.  The DARPA Knowledge Sharing Effort: A Progress Report , 1997, KR.

[2]  Marco Colombetti,et al.  A commitment-based approach to agent speech acts and conversations , 2000 .

[3]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[4]  Yun Peng,et al.  Agent communication languages: the current landscape , 1999, IEEE Intell. Syst..

[5]  Marco Colombetti,et al.  Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology , 2009, DALT.

[6]  Sebastian Rudolph,et al.  Foundations of Semantic Web Technologies , 2009 .

[7]  Julien Subercaze,et al.  SAM - Semantic Agent Model for SWRL Rule-based Agents , 2010, ICAART.

[8]  R. Doyle.  The American terrorist. , 2001, Scientific American.

[9]  Abdul Razak Hamdan,et al.  A Review on Agent Communication Language , 2018, Lecture Notes in Electrical Engineering.

[10]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[11]  Pablo Noriega,et al.  Modelling Agent Institutions , 2013 .

[12]  Nicholas R. Jennings,et al.  A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.

[13]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[14]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

[15]  Timothy W. Finin,et al.  Specification of the KQML Agent-Communication Language , 1993 .

[16]  Marco Colombetti,et al.  Representation and monitoring of commitments and norms using OWL , 2010, AI Commun..

[17]  Marco Colombetti,et al.  Using OWL 2 DL for Expressing ACL Content and Semantics , 2011, EUMAS.

[18]  Jeffrey M. Bradshaw,et al.  What Is a Conversation Policy? , 2000, Issues in Agent Communication.

[19]  Ladislav Hluchý,et al.  AgentOWL: Semantic Knowledge Model and Agent Architecture , 2012, Comput. Artif. Intell..

[20]  Marco Colombetti,et al.  Operational specification of a commitment-based agent communication language , 2002, AAMAS '02.

[21]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[22]  Abdul Razak Hamdan,et al.  A FIPA-ACL Ontology in Enhancing Interoperability Multi-agent Communication , 2017 .

[23]  Yun Peng,et al.  Agent Communication in DAML World , 2002, WRAC.

[24]  Li Ding,et al.  Using semantic web technology in multi-agent systems: a case study in the TAGA trading agent environment , 2003, ICEC '03.

[25]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[26]  Timothy W. Finin,et al.  An Overview of KQML: A Knowledge Query and Manipulation Language , 1991 .

[27]  Yongcun Cao,et al.  Adopting Ontology and agent in electronic negotiation service , 2009, 2009 8th IEEE International Conference on Cognitive Informatics.