Deduction systems for BDI logics using sequent calculus

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 1, 2002, Pages 928-935

  Nide, Naoyuki ^a   Takata, Shiro ^a  

^a NARA WOMEN'S UNIVERSITY   (Japan)

Author keywords

BDI Logic; Deduction System; Rational Agents; Sequent Calculus

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; THEOREM PROVING;

RATIONAL AGENTS;

INTELLIGENT AGENTS;

EID: 0036355371     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. Branching time temporal logic
2. Modeling rational agents within a BDI-architecture
3. Decision procedures for BDI logics
4. Formal methods in DAI: Logic-based representation and reasoning
5. Design of rational agents for performing speech acts intentionally in multi-agent environments