Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change.
Marcus BjärelandLars KarlssonPublished in: IJCAI (1997)
Keyphrases
- reasoning about actions
- propositional dynamic logic
- logic programming
- situation calculus
- regression model
- proof theory
- modal logic
- linear regression
- computational properties
- proof theoretic
- action theories
- expressive power
- causal knowledge
- regression methods
- simple linear
- classical logic
- intuitionistic logic
- support vector
- nonmonotonic inference
- inheritance reasoning
- reasoning problems
- reasoning process
- reasoning tasks
- model selection