A Common Formal Model of Cooperating Intelligent Agents
Description
- Project Title:
- A Common Formal Model of Cooperating Intelligent Agents
- Acronym:
- MODELAGE
- Number:
- 8319
- Work Area:
- Basic Aspects of Multiple Computing Agents
- Coordinator:
- Facultés Universitaires Notre-Dame de la Paix
Institut d'Informatique
Rue Grandgagnage 21
B- 5000 Namur
- Coordinator Country:
- B
- Participants
- RWTH Aachen D
Tech. Univ. Braunschweig D
INRIA Sophia-Antipolis F
IP-CNR Rome I
NRCCL Oslo N
Erasmus Univ. Rotterdam NL
Utrecht Univ./Vrije Univ. Amsterdam NL
Univ. de Lisboa P
Imperial College London UK
Univ. of Keele UK
- Contact Point:
- Prof. P-Y. Schobbens
- Telephone:
- +32/81 724990
- Fax:
- +32/81 724967
- E-Mail:
- pys@info.fundp.ac.be
- Keywords:
- agent logics, agent-oriented programming, multi-agent systems, semantics
- Start Date:
- to be announced
- Duration:
- months
- Status:
- starting
- Abstract:
- MODELAGE aims to define a common formal model of the concept of "agent", for use in application areas including requirements engineering, software design, concurrency, data bases, artificial intelligence, process modelling and organisation theory. The main characteristics of "agent" considered here are: intention, situation, belief, communication, heterogeneity and social organisation.
AIMS
The goal of MODELAGE is to define of a common model of "agent". This common model will then be used to define a family of semantically integrated application-specific languages. It will be obtained by successive integration of existing specialised (application-specific or facet-specific) models. Models of communication and concurrency, of belief change, of social organisations and of social norms, will be studied and integrated.
ACTIVITIES
MODELAGE will organise workshops, electronic discussion forums, and meetings to integrate the best partial models of agents and understand the interaction between "facets". Application case studies (software process modelling, industrial control, bureaucratic and commercial procedures modelling and evaluation) will be tackled to evaluate the model. A final report will integrate and present the common model, together with applications.
POTENTIAL
The common formal model will serve as a basis for developing an integrated family of specification and programming languages for areas such as multi-expert knowledge acquisition, work organisation analysis in companies, multi-robot control systems, etc.
Sven Müßig, last update 07-nov-1995. Your feedback is welcome.