Ebook: Formal Models of Agents: ESPRIT Project ModelAge Final Workshop Selected Papers

This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in 1997.
The 15 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed for inclusion in the book. The book is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Among the topics addressed are various types of agents and multi-agent systems, cooperation, communication, specification, verification, deontic logic, diagnosis, and decision making.

---

This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in 1997.
The 15 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed for inclusion in the book. The book is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Among the topics addressed are various types of agents and multi-agent systems, cooperation, communication, specification, verification, deontic logic, diagnosis, and decision making.
Content:
Front Matter....Pages I-VIII
Formal Models of Agents: An Introduction....Pages 1-7
A Model of BDI-Agent in Game-Theoretic Framework....Pages 8-19
Dynamic Belief Hierarchies....Pages 20-35
Modelling Internal Dynamic Behaviour of BDI Agents....Pages 36-56
Towards an Agent-Oriented Framework for Specification of Information Systems....Pages 57-73
The Impossibility of Modelling Cooperation in PD-Game....Pages 74-89
Designing Multi-agent Systems around an Extensible Communication Abstraction....Pages 90-102
Social Interactions of Autonomous Agents: Private and Global Views on Communication....Pages 103-122
Towards a Proof-Theoretic Foundation for Actor Specification and Verification....Pages 123-142
Nondeterministic Actions with Typical Effects: Reasoning about Scenarios....Pages 143-156
Agents’ Dynamic Mental Attitudes....Pages 157-172
Diagnostic Agents for Distributed Systems....Pages 173-186
Preferential Action Semantics (Preliminary Report)....Pages 187-201
Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)....Pages 202-215
The Role of Diagnosis and Decision Theory in Normative Reasoning....Pages 216-239
Contextual Deontic Logic....Pages 240-251
Back Matter....Pages 253-253

---

This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in 1997.
The 15 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed for inclusion in the book. The book is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Among the topics addressed are various types of agents and multi-agent systems, cooperation, communication, specification, verification, deontic logic, diagnosis, and decision making.
Content:
Front Matter....Pages I-VIII
Formal Models of Agents: An Introduction....Pages 1-7
A Model of BDI-Agent in Game-Theoretic Framework....Pages 8-19
Dynamic Belief Hierarchies....Pages 20-35
Modelling Internal Dynamic Behaviour of BDI Agents....Pages 36-56
Towards an Agent-Oriented Framework for Specification of Information Systems....Pages 57-73
The Impossibility of Modelling Cooperation in PD-Game....Pages 74-89
Designing Multi-agent Systems around an Extensible Communication Abstraction....Pages 90-102
Social Interactions of Autonomous Agents: Private and Global Views on Communication....Pages 103-122
Towards a Proof-Theoretic Foundation for Actor Specification and Verification....Pages 123-142
Nondeterministic Actions with Typical Effects: Reasoning about Scenarios....Pages 143-156
Agents’ Dynamic Mental Attitudes....Pages 157-172
Diagnostic Agents for Distributed Systems....Pages 173-186
Preferential Action Semantics (Preliminary Report)....Pages 187-201
Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)....Pages 202-215
The Role of Diagnosis and Decision Theory in Normative Reasoning....Pages 216-239
Contextual Deontic Logic....Pages 240-251
Back Matter....Pages 253-253
....