Title :
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
fDate :
April 30 2007-May 3 2007
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;
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
DOI :
10.1109/KIMAS.2007.369811
