αILP: thinking visual scenes as differentiable logic programs.
Hikaru ShindoViktor PfanschillingDevendra Singh DhamiKristian KerstingPublished in: Mach. Learn. (2023)
Keyphrases
- logic programs
- visual scene
- inductive logic programming
- background knowledge
- logic programming
- relational learning
- complex scenes
- visual information
- vision system
- visual attention
- object recognition
- natural images
- answer sets
- predicate invention
- fixpoint
- computational properties
- prolog programs
- spatial relations
- stable models
- ilp systems
- normal logic programs
- statistical relational learning
- partial deduction
- stable model semantics
- answer set programming
- real time
- computer vision
- artificial intelligence
- loop formulas
- natural scenes
- image collections
- video sequences
- deductive databases
- computer graphics
- strong equivalence
- visual features
- high level
- term rewriting systems
- logic program updates