Plans, Actions and Dialogues Using Linear Logic.
Lucas DixonAlan SmaillTracy TsangPublished in: J. Log. Lang. Inf. (2009)
Keyphrases
- linear logic
- plan recognition
- plan execution
- speech acts
- action sequences
- initial state
- fixed point
- logical framework
- sequent calculus
- intuitionistic logic
- cut elimination
- macro actions
- logic programming
- desirable properties
- machine learning
- planning graph
- proof theoretic
- proof search
- sensing actions
- classical planning
- decision theoretic
- optimal policy
- state space
- probability distribution