Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics.
Anand S. RaoPublished in: ATAL (1995)
Keyphrases
- decision procedures
- belief desire intention
- modal logic
- intelligent agents
- default logic
- theorem proving
- model theoretic
- mental states
- agent architecture
- first order logic
- bdi agents
- automated reasoning
- multi agent systems
- bdi architecture
- propositional logic
- reasoning problems
- bdi model
- expressive power
- inference rules
- conjunctive queries
- temporal logic
- horn clauses
- fixpoint
- knowledge representation
- search algorithm
- databases
- theorem prover
- nonmonotonic reasoning
- software agents
- autonomous agents
- cooperative