Open Interaction System Specification and Monitoring Using Semantic Web Technology

-

The design and development of open distributed interaction systems, where heterogeneous, autonomous, and self-interested agents can interact by entering and leaving dynamically the system, is widely recognized to be a crucial issue in the development of nowadays applications on the Internet: like e-commerce applications [ 1 ], collaborative social systems [ 2 ], or application to support the automatic management of virtual organizations [ 3 ]. In particular in our view the interacting agents may range from very complex autonomous software agents able to reason and to plan their actions and that behave on behalf of their human owners, to very simple software used by human beings as an interface to interact with the system.

Given that the agents are assumed to be heterogeneous because they may be developed by different designers or they may be human beings, no assumptions can be made on their internal architecture. Given that the system is open and agents may enter and leave it dynamically, it is necessary to find a standard way for specifying a communication language for the interacting agents and for defining the context and the rules of the interaction. Moreover given that the interacting agents are autonomous it is necessary to find a way to regulate interactions so that agents may have reliable expectations on the future development of the system. Furthermore given that these systems will be used to enrich and improve human beings interactions, it is crucial that the proposed design approach is defined taking inspiration from existing studies about human interactions.

Starting from these requirements in our previous works [ 4 ], [ 5 ], [ 6 ], [ 7 ], [ 8 ] we proposed a meta-model for the conceptual design of open interaction systems based on speech act theory [ 9 ], [ 10 ] and on Searle’s theory on construction of social reality [ 11 ]. In particular we proposed the OCeAN metamodel, which is base on the definition of a set of application independent concepts that have to be used in the specification of every type of interaction system. We initially proposed an agent communicative language whose semantics is based on the notion of social commitment and temporal proposition. Therefore in order to be able to define the semantics of declarative communicative acts, we introduced in our model other institutional concepts, like the notion of institutional action, institutional power, and role. Finally in order to constrain agents’ actions we formalized the notion of norm and of sanction or reward that are used for norm enforcement[ 12 ]. We model open interaction systems as a set of artificial institutions. In particular in our view the definition of a specific artificial institution consists of: (i) a component, called meta-model, which includes the definition of basic entities common to the specification of every institution, like the concepts of commitment, institutional power, role, and norm, and the actions necessary for exchanging messages; (ii) a component specific to the institution in question, which includes the specification of the powers and norms that apply to the agents playing roles in the institution, and the definition of the concepts pertaining to the domain of the interaction (for example the actions of paying or delivering a product, bidding in an auction, etc.).

Regarding the language used to specify the various components of the model we initially adopted a language with an operational intuitive semantics based on the notion of object and attribute close to object oriented programming. The difficult that we experimented with this approach was in developing agents able to reason on their actions and able to monitor the agent’s behavior. We therefore proposed a formalization of the OCeAN meta-model based on the Discrete Event Calculus [ 8 ]. This approach resulted very fruitful for unambiguously specifying the concepts of our meta-model and for being used to simulate the time evolution of an actual interaction, but we experimented performance problems and we did not find a simple way to interface our event calculus specification with an external application used to enable agents interactions, like for instance the JADE framework1.

We therefore decide to follow a new approach that we plan to investigate and evaluate in the future. Our idea is to use standard Semantic Web Technology to specify, to reason on, and to monitor agent’s actions. In [ 13 ] we started to formalize the deontic part of the OCeAN meta-model using OWL 2 DL2), SWRL rules (Semantic Web Rule Language3), and a Java application, developed using OWL-API 4 and the source code of the Pellet5 reasoner, to overcome certain expressiveness limitations of OWL. More precisely, we showed how it is possible to specify and monitor the time evolution of social commitment used to express conditioned obligations and prohibitions on time intervals.

The main advantages of using a decidable logical language like OWL to specify an open interaction system are that Semantic Web technologies are increasingly becoming a standard for Internet applications and therefore they are supported by many reasoners (like Fact++6, Pellet7, or Racer8); moreover ontologies and reasoning services are easily interfaced with applications programmed in Java or other well known languages.

When facing this approach we discovered that there may be the following main problems. Firstly the treatment of time: OWL has no temporal operators, in some cases it is possible to bypass the problem by using SWRL rules and built-ins for comparisons, but in any case this does not provide full temporal reasoning capabilities; notice furthermore that using the OWL Time Ontology9 would not be a solution, given that its axiomatization is very weak. Secondly the openworld assumption: in many applications nor being able to infer that an action has been performed is sufficient evidence that the action has not been performed. We faced this second problem by using an external program to simulate a closed world assumption by adding certain closure axioms to the ontology. But there is still the open problem of understanding what part of the model it is better and possible to represent in the ontology in order to be able to reason on it and what part of the model it is better to represent in the external application because current semantic web standards do not support its representation. 2http://www.w3.org/2007/OWL/wiki/OWL Working Group 3http://www.w3.org/Submission/SWRL/ 4http://owlapi.sourceforge.net/ 5http://clarkparsia.com/pellet 6http://owl.man.ac.uk/factplusplus/ 7http://clarkparsia.com/pellet 8http://www.sts.tu-harburg.de/ r.f.moeller/racer/ 9http://www.w3.org/TR/owl-time/, http://www.w3.org/2006/time.rdf

References

[1] M. Esteva , D. de la Cruz, and C. Sierra , “ Islander: an electronic institutions editor , ” in Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002 ), C. Castelfranchi and W. L. Johnson, Eds. ACM Press, 2002 , pp. 1045 - 1052 .

[2] V. Dignum , F. Dignum , and J.-J. Meyer, “ An agent-mediated approach to the support of knowledge sharing in organizations,” Knowl. Eng. Rev. , vol. 19 , no. 2 , pp. 147 - 174 , 2004 .

[3] H. L. Cardoso and E. Oliveira, “ Virtual enterprise normative framework within electronic institutions ,” in Engineering Societies in the Agents World V. Springer, 2004 , pp. 14 - 32 .

[4] N. Fornara and M. Colombetti , “ Operational specification of a commitment-based agent communication language ,” in Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002 ), C. Castelfranchi and W. L. Johnson, Eds. ACM Press, 2002 , pp. 535 - 542 .

[5] --, “ Defining interaction protocols using a commitmentbased agent communication language ,” in Proceedings of the Second International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2003 ), J. Rosenschein, T. Sandholm , M. Wooldridge , and M. Yokoo, Eds. ACM Press, 2003 , pp. 520 - 527 .

[6] N. Fornara , F. Vigano `, and M. Colombetti , “ Agent communication and artificial institutions, ” Autonomous Agents and MultiAgent Systems , vol. 14 , no. 2 , pp. 121 - 142 , April 2007 .

[7] N. Fornara , F. Vigano `, M. Verdicchio , and M. Colombetti , “ Artificial institutions: A model of institutional reality for open multiagent systems , ” Artificial Intelligence and Law , vol. 16 , no. 1 , pp. 89 - 105 , March 2008 .

[8] N. Fornara and M. Colombetti , Specifying Artificial Institutions in the Event Calculus, ser. Information science reference . IGI Global , 2009 , vol. Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, ch. XIV , pp. 335 - 366 .

[9] J. L. Austin , How to Do Things With Words . Oxford: Oxford University Press, 1962 .

[10] J. R. Searle , Speech Acts: An Essay in the Philosophy of Language . Cambridge, United Kingdom: Cambridge University Press, 1969 .

[11] --, The construction of social reality . New York: Free Press, 1995 .

[12] N. Fornara and M. Colombetti , “ Specifying and enforcing norms in artificial institutions,” in Declarative Agent Languages and Technologies VI 6th International Workshop , DALT 2008, Revised Selected and Invited Papers, ser . LNCS, M. Baldoni , T. Son , B. van Riemsdijk , and M. Winikoff, Eds., vol. 5397 . Springer Berlin / Heidelberg, 2009 , pp. 1 - 17 .

[13] --, “ Ontology and time evolution of obligations and prohibitions using semantic web technology , ” in Proceedings of the Workshop on Declarative Agent Languages and Technologies DALT@AAMAS09 , Budapest, Hungary, 11 May 2009, M. Baldoni , J. Bentahar , and M. v. R. J . Lloyd, Eds., 2009 .