Learning any memory-less discrete semantics for dynamical systems represented by logic programs.
Tony RibeiroMaxime FolschetteMorgan MagninKatsumi InouePublished in: Mach. Learn. (2022)
Keyphrases
- logic programs
- dynamical systems
- logic programming
- background knowledge
- stable models
- predictive state representations
- answer sets
- learning algorithm
- stable model semantics
- answer set programming
- computational properties
- logic program updates
- normal logic programs
- autoepistemic logic
- answer set semantics
- inductive logic programming
- supervised learning
- latent variable models
- model theoretic
- optimal solution
- fixpoint semantics
- semantics of logic programs
- reinforcement learning