A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations.
Fangzhen LinPublished in: KR (2014)
Keyphrases
- action theories
- higher order
- situation calculus
- sound and complete with respect
- logic programming language
- inference rules
- conditional logic
- first order logic
- modal logic
- decision theoretic
- logic programming
- formal semantics
- model theoretic
- high order
- logical theories
- inductive logic programming
- initial state
- inductive learning
- concept learning
- predicate calculus
- robot control
- agent programming
- default reasoning
- decision procedures
- speech acts
- horn clauses
- real world
- conceptual model
- programming language
- machine learning