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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Meyer, John-Jules C. (Editor, http://id.loc.gov/vocabulary/relators/edt), Schobbens, Pierre-Yves (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Edition: 1st ed. 1999.
• Series: Lecture Notes in Artificial Intelligence ; 1760
• Subjects: Artificial intelligence.; Software engineering.; Architecture, Computer.; Computer logic.; Computer communication systems.; Artificial Intelligence.; Software Engineering/Programming and Operating Systems.; Computer System Implementation.; Software Engineering.; Logics and Meanings of Programs.; Computer Communication Networks.

Table of Contents:

• Formal Models of Agents: An Introduction
• A Model of BDI-Agent in Game-Theoretic Framework
• Dynamic Belief Hierarchies
• Modelling Internal Dynamic Behaviour of BDI Agents
• Towards an Agent-Oriented Framework for Specification of Information Systems
• The Impossibility of Modelling Cooperation in PD-Game
• Designing Multi-agent Systems around an Extensible Communication Abstraction
• Social Interactions of Autonomous Agents: Private and Global Views on Communication
• Towards a Proof-Theoretic Foundation for Actor Specification and Verification
• Nondeterministic Actions with Typical Effects: Reasoning about Scenarios
• Agents' Dynamic Mental Attitudes
• Diagnostic Agents for Distributed Systems
• Preferential Action Semantics (Preliminary Report)
• Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)
• The Role of Diagnosis and Decision Theory in Normative Reasoning
• Contextual Deontic Logic.