Unsupervised Grounding of Plannable First-Order Logic Representation from Images.
Masataro AsaiPublished in: CoRR (2019)
Keyphrases
- first order logic
- representation language
- expressive power
- propositional logic
- predicate calculus
- theorem proving
- probabilistic reasoning
- inductive logic programming
- knowledge representation
- image classification
- inference rules
- transitive closure
- probabilistic graphical models
- image retrieval
- artificial intelligence
- logical formulas
- theorem prover
- markov networks
- machine learning
- image annotation
- graphical models
- highly expressive
- anti unification