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.

Contents

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

Towards a ProofTheoretic Foundation for ActorSpecifi cation and Verifi cation
123

Other editions - View all

Common terms and phrases