Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers

Front Cover
John-Jules C. Meyer, Pierre-Yves Schobbens
Springer Science & Business Media, Jan 12, 2000 - Computers - 260 pages
This volume contains a number of revised papers that were selected from - pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy) in 1997, organised by the Institute of Psychology of the Italian CNR (IP-CNR), Division of Arti cial Intelligence, Cognitive Modeling and Inter- tion. The organisation chair was held by Amedeo Cesta. The workshop, and indeed the ModelAge project as a whole, aimed to bring together a number of researchers stemming from di erent disciplines to discuss formal models of agency from di erent perspectives. These disciplines included arti cial intel- gence, software engineering, applied logic, databases, and organisation theory. The e ld of intelligent agents has become an important research area within these disciplines, and in the workshop as in the present volume the concept of agency is thus considered from a multi-disciplinaryperspective. In the introductory chapter of this volume more can be found on the area of intelligent agents as well as on the topic of formal models of these. We f- thermore provide some key references, so that the reader can better appreciate the position of the present volume within the literature on agent technology.

What people are saying - Write a review

We haven't found any reviews in the usual places.


An Introduction
Model of BDIAgent in GameTheoreticFramework
Dynamic Belief Hierarchies
Modelling Internal Dynamic Behaviour of BDI Agents
Towards an AgentOriented Framework forSpeci cation of Information Systems
The Impossibility of Modelling Cooperation in PDGame
Designing Multiagent Systems around anExtensible Communication Abstraction
Private and Global Views on Communication
Nondeterministic Actions with Typical E ects Reasoning about Scenarios
Agents Dynamic Mental Attitudes
Diagnostic Agents for Distributed Systems
Preferential Action SemanticsPreliminary Report
Dialectical proof theory for defeasibleargumentation with defeasible priorities preliminary report
The Role of Diagnosis and Decision Theory inNormative Reasoning
Contextual Deontic Logic
Author Index

Towards a ProofTheoretic Foundation for ActorSpecifi cation and Verifi cation

Other editions - View all

Common terms and phrases