An Intelligence-Aware Process Calculus for Multi-Agent System Modeling

Author

Ahmad, Raheel ; Rahimi, Shahram ; Gupta, Bidyut

Author_Institution

Dept. of Comput. Sci., Southern Illinois Univ., Carbondale, IL

fYear

2007

fDate

April 30 2007-May 3 2007

Firstpage

210

Lastpage

215

Abstract

In this paper we propose an agent modeling language named CAML that provides a comprehensive framework for representing all relevant aspects of a multi-agent system: specially, its configuration and the reasoning abilities of its constituent agents. The configuration modeling aspect of the language supports natural grouping and mobility, and the reasoning framework is inspired by an extension of the popular BDI theory of modeling cognitive skills of agents. We present the motivation behind the development of the language, its syntax, and an informal semantics

Keywords

inference mechanisms; multi-agent systems; process algebra; specification languages; CAML; agent modeling language; informal semantics; intelligence-aware process calculus; multiagent system modeling; reasoning; Application software; Calculus; Communication system control; Computer science; Control systems; Formal specifications; Intelligent agent; Military computing; Multiagent systems; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Integration of Knowledge Intensive Multi-Agent Systems, 2007. KIMAS 2007. International Conference on

Conference_Location

Waltham, MA

Print_ISBN

1-4244-0944-6

Electronic_ISBN

1-4244-0945-4

Type

conf

DOI

10.1109/KIMAS.2007.369811

Filename

4227550