Generating Plans in Linear Logic I. Actions as Proofs.
M. MasseronChristophe TolluJacqueline VauzeillesPublished in: Theor. Comput. Sci. (1993)
Keyphrases
- linear logic
- cut elimination
- sequent calculus
- proof search
- plan recognition
- natural deduction
- plan execution
- fixed point
- proof theoretic
- wide class
- initial state
- intuitionistic logic
- logic programming
- inference rules
- action sequences
- desirable properties
- logical framework
- sensing actions
- macro actions
- classical planning
- theorem proving
- planning graph
- machine learning
- decision theoretic
- modal logic
- artificial intelligence