Formal Models of Agents [electronic resource] : ESPRIT Project ModelAge Final Report Selected Papers /
Material type: TextSeries: Lecture Notes in Artificial Intelligence ; 1760Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999Edition: 1st ed. 1999Description: VIII, 260 p. online resourceContent type:- text
- computer
- online resource
- 9783540465812
- 006.3 23
- Q334-342
- TA347.A78
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.
There are no comments on this title.