Inductive Definability and the Situation Calculus.
Eugenia TernovskaiaPublished in: Transactions and Change in Logic Databases (1998)
Keyphrases
- situation calculus
- event calculus
- action theories
- inductive learning
- initial state
- propositional logic
- fixed point
- modal logic
- reasoning about actions
- inductive logic programming
- fluent calculus
- concurrent actions
- reasoning tasks
- provably correct
- logical language
- blocks world
- universally quantified
- sufficient conditions
- bayesian networks
- machine learning