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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Meyer, John-Jules C. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Schobbens, Pierre-Yves (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1760
• Θέματα: 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.

Πίνακας περιεχομένων:

• 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.