Formal Models of Agents

ESPRIT Project ModelAge Final Report Selected Papers

268 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540670278
• Sprache: Englisch
• Erscheinungsdatum: 12.01.2000
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Pierre-Yves Schobbens, John-Jules C. Meyer