A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations.
Fangzhen LinPublished in: AAAI Spring Symposia (2014)
Keyphrases
- action theories
- higher order
- situation calculus
- sound and complete with respect
- logic programming language
- conditional logic
- inference rules
- model theoretic
- modal logic
- first order logic
- inductive learning
- default reasoning
- decision procedures
- logic programming
- formal semantics
- decision theoretic
- fluent calculus
- real world
- inductive logic programming
- semantic information
- machine learning
- high order
- relational learning
- horn clauses
- belief revision
- conceptual model
- autoepistemic logic
- predicate calculus
- epistemic logic
- description logics