Integrating deep learning with first order logic for solving kinematic problems.
Jiarong ZhangJinsha YuanHongyu GuoXinyu ZanPublished in: Appl. Intell. (2022)
Keyphrases
- first order logic
- deep learning
- propositional logic
- expressive power
- theorem prover
- theorem proving
- knowledge representation
- inductive logic programming
- probabilistic graphical models
- markov networks
- markov logic networks
- training data
- weakly supervised
- learning strategies
- unsupervised learning
- object detection
- search algorithm