Agent Deliberation via Forward and Backward Chaining in Linear Logic.
Luke TroddJames HarlandJohn ThangarajahPublished in: DALT (2012)
Keyphrases
- forward and backward
- linear logic
- agent architecture
- multi agent systems
- decision theoretic
- fixed point
- multi agent
- proof theoretic
- desirable properties
- logical framework
- multiple agents
- cut elimination
- sequent calculus
- logic programming
- intuitionistic logic
- dynamic programming
- general purpose
- expert systems
- theorem prover
- wide class
- search strategy
- computational complexity
- knowledge base