A logical framework for commonsense predictions of solid object behaviour.

Published in: Artif. Intell. Eng. (1988)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
d objects
knowledge base
machine learning
linear logic
artificial intelligence
epistemic logic
bayesian networks
case based reasoning
general purpose
theorem proving