The ABC of rational agent modelling

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 1, 2002, Pages 849-856

  Fisher, Michael ^a   Ghidini, Chiara ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Goal selection theories; Logic motivation; Theories of agency

Indexed keywords

ALGORITHMS; INTELLIGENT AGENTS; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS;

RATIONAL AGENTS;

ARTIFICIAL INTELLIGENCE;

EID: 0036367290     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/544942.544943     Document Type: Conference Paper

References (18)

1. Model checking multiagent systems
2. Resolution for temporal logics of knowledge
3. Temporal and modal logic
4. A normal form for temporal logic and its application in theorem-proving and execution
5. Implementing BDI-like systems by direct execution
6. Programming resource-bounded deliberative agents
7. Modelling (un)bounded beliefs
8. Local models semantics, or contextual reasoning = locality + compatibility
9. A guide to completeness and complexity for modal logics of knowledge and belief
10. Verification within the KARO agent theory
11. A structure-preserving clause form translation
12. Modeling agents within a BDI-architecture
13. Decision procedures for BDI logics
14. A logic of capabilities
15. Formalizing abilities and opportunities of agents
16. How to motivate your agents