A multi-agent specification for the goal-ontology mapping in distributed complex systems

In the design of distributed and complex systems, as well as in the run-time process, the service-based model plays a central role. Under the assumption of teleological reasoning, each service can be related to a goal. Therefore, services are described by a functional model which relies on a core reasoning approach. The design process involves the composition of sub-services, the fusion of services and to check if the composition and/or fusion satisfies the requirements. Today this process is still largely conducted by hand, and leads to a very time-consuming process which often generates mistakes. As a consequence, it has become a bottleneck in many information sharing applications. In order to automate this process, we propose in this paper a methodology which deals with these insufficiencies on two steps. The first is the design one, where our approach is based on the information flow (IF) model which makes possible a mapping process of goal ontologies. In the run-time step, the specification involves a multi agent system (MAS). We propose an algorithm describing the mechanism of the dynamic mapping of services, in which the intelligent agents are able to map dynamically the distant goal ontologies

[1]  Riichiro Mizoguchi,et al.  Functional Ontology for Functional Understanding , 1998 .

[2]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

[3]  Yannis Kalfoglou,et al.  Centre for Intelligent Systems and Their Applications , 2006 .

[4]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[5]  Joachim Hertzberg,et al.  Turning an Action Formalism into a Planner - A Case Study , 1994, J. Log. Comput..

[6]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[7]  L. Foulloy,et al.  Service integration in distributed control systems: an approach based on fusion of mereologies , 2004, IEEE Conference on Cybernetics and Intelligent Systems, 2004..

[8]  Adam Bouras Contribution à la conception d'architectures réparties : modèles génériques et interopérabilité d'instruments intelligents , 1997 .

[9]  Hong Bao,et al.  Information Flow based Ontology Mapping , 2008, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing.

[10]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[11]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[12]  Andrew J. Cowell,et al.  Evaluating Agent Architectures: Cougaar, Aglets and AAA , 2003, SELMAS.

[13]  Tetsuo Tomiyama,et al.  Supporting conceptual design based on the function-behavior-state modeler , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[14]  Morten Lind,et al.  Modeling goals and functions of complex industrial plants , 1994, Appl. Artif. Intell..

[15]  Jaime Simão Sichman,et al.  Multi-agent dependence by dependence graphs , 2002, AAMAS '02.

[16]  W. Campbell,et al.  THE UNIVERSITY OF TEXAS AT DALLAS , 2004 .

[17]  Laurent Foulloy,et al.  Formal Goal Generation for Intelligent Control Systems , 2005, IEA/AIE.

[18]  Vladimir Lifschitz,et al.  Miracles in Formal Theories of Action , 1989, Artif. Intell..

[19]  Aaron Helsinger,et al.  Cougaar: a scalable, distributed multi-agent architecture , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[20]  Yannis Kalfoglou,et al.  A Channel-Theoretic foundation for ontology coordination , 2004 .

[21]  Laurent Foulloy,et al.  Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems , 2005, IICAI.

[22]  Laurent Foulloy,et al.  Functional Ontology for Intelligent Instruments , 2003, ISMIS.

[23]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .