SWAM: A logic-based mobile agent programming language for the Semantic Web

Software agents and rules are both used for creating flexibility. Exchanging rules between Semantic Web and agents can ensure consistency in rules and support easy updating and changing of rules. The Rule Interchange Format (RIF) is a new W3C recommendation Semantic Web standard for exchanging rules among disparate systems. Yet, the contribution of RIF in rules exchange between Semantic Web and software agents is unclear. The BDI architectural style is regarded as the predominant approach for the implementation of intelligent agents. This paper proposes a development for integrating RIF and BDI agents to enhance agent reasoning capabilities. This approach consists of an integration architecture and equivalence principles for rule translation. The equivalence principles are demonstrated using examples. The results show that the approach allows the integration of RIF with BDI agent programming and realize the translation between the two systems.

Download Full-text

Integrating Semantic Web and Software Agents

International Journal of Systems and Service-Oriented Engineering ◽

10.4018/jssoe.2011010104 ◽

2011 ◽

Vol 2 (1) ◽

pp. 60-76 ◽

Cited By ~ 2

Author(s):

Yiwei Gong ◽

Sietse Overbeek ◽

Marijn Janssen

Keyword(s):

Semantic Web ◽

Intelligent Agents ◽

Software Agents ◽

Architectural Style ◽

Bdi Agents ◽

Agent Programming ◽

Bdi Agent ◽

Integration Architecture ◽

Two Systems ◽

Interchange Format

Software agents and rules are both used for creating flexibility. Exchanging rules between Semantic Web and agents can ensure consistency in rules and support easy updating and changing of rules. The Rule Interchange Format (RIF) is a new W3C recommendation Semantic Web standard for exchanging rules among disparate systems. Yet, the contribution of RIF in rules exchange between Semantic Web and software agents is unclear. The BDI architectural style is regarded as the predominant approach for the implementation of intelligent agents. This paper proposes a development for integrating RIF and BDI agents to enhance agent reasoning capabilities. This approach consists of an integration architecture and equivalence principles for rule translation. The equivalence principles are demonstrated using examples. The results show that the approach allows the integration of RIF with BDI agent programming and realize the translation between the two systems.

Download Full-text

Extension of the Unified Modeling Language for Mobile Agents

Unified Modeling Language ◽

10.4018/978-1-930708-05-1.ch008 ◽

2001 ◽

pp. 117-129 ◽

Cited By ~ 4

Author(s):

Cornel Klein ◽

Andreas Rausch ◽

Marc Sihling ◽

Zhaojun Wen

Keyword(s):

Mobile Agent ◽

Mobile Agents ◽

Unified Modeling Language ◽

Distributed Applications ◽

Modeling Language ◽

Telecommunication System ◽

Unified Modeling ◽

Analysis And Design ◽

Agent Programming ◽

Agent Platforms

Mobile agents gained immense attraction as a new programming concept for implementing distributed applications. However, up to now mobile agent programming has been mainly technology driven, with a focus on the implementation of mobile agent platforms and only small programming applications. In this chapter, we present an extension of the standard UML that provides language concepts for modeling mobility both in analysis and design phases. This extended version of UML is applied to the modeling of an advanced telecommunication system.

Download Full-text

On the Formal Specification and Verification of Multi-Agent Systems

International Journal of Cooperative Information Systems ◽

10.1142/s0218843097000057 ◽

1997 ◽

Vol 06 (01) ◽

pp. 37-65 ◽

Cited By ~ 49

Author(s):

Michael Fisher ◽

Michael Wooldridge

Keyword(s):

Programming Language ◽

Formal Specification ◽

Multi Agent Systems ◽

Agent Systems ◽

Agent Programming ◽

Formal Specification And Verification ◽

Multi Agent ◽

Specification And Verification

This article describes first steps towards the formal specification and verification of multi-agent systems, through the use of temporal belief logics. The article first describes Concurrent METATEM, a multi-agent programming language, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifying Concurrent METATEM systems is demonstrated through a number of examples. The article concludes with a brief discussion on the wider implications of the work, and in particular on the use of similar logics for reasoning about multi-agent systems in general.

Download Full-text

A secure and open mobile agent programming environment

Proceedings. Fourth International Symposium on Autonomous Decentralized Systems. - Integration of Heterogeneous Systems - ◽

10.1109/isads.1999.838439 ◽

2003 ◽

Cited By ~ 10

Author(s):

P. Bellavista ◽

A. Corradi ◽

C. Stefanelli

Keyword(s):

Mobile Agent ◽

Programming Environment ◽

Agent Programming

Download Full-text

Mobile Agent and Semantic Web Based Frameworks for the Realization of Virtual Manufacturing Enterprises

Manufacturing Engineering and Materials Handling Engineering ◽

10.1115/imece2004-61485 ◽

2004 ◽

Author(s):

J. Cecil ◽

N. Gobinath

Keyword(s):

Semantic Web ◽

Process Planning ◽

Mobile Agent ◽

Virtual Manufacturing ◽

The Internet ◽

Web Based ◽

Manufacturing Enterprises ◽

Software Modules ◽

Geographically Distributed ◽

Distributive Computing

In a virtual Manufacturing Enterprise (VME), the manufacturing and software resources are geographically distributed and communicate electronically using mediums such as the Internet. In such a context, there is a need to explore the design of distributive computing frameworks for the realization of VMEs. In this paper, 2 frameworks are discussed which are based on a mobile agent paradigm and the notion of a ‘semantic web’ respectively. In this paper, the first segment explores the design of such a mobile agent framework to support process planning and manufacturing activities; in the second segment of this paper, the creation of preliminary software modules as part of a ‘mini’ semantic web is described; the use of such a ‘semantic web’ based framework provides a new dimensionality of ‘meaning’, thereby enabling better cooperation and interaction between machines and humans.

Download Full-text