Correcting Large Knowledge Bases Using Guided Inductive Logic Learning Rules.
Yan WuZili ZhangGuodong WangPublished in: PRICAI (1) (2021)
Keyphrases
- learning rules
- knowledge base
- deductive reasoning
- logic programming
- neural network
- artificial neural networks
- biologically inspired
- knowledge representation
- possibilistic logic
- description logics
- hybrid neural
- functional programs
- machine learning
- classical logic
- knowledge acquisition
- back propagation
- boltzmann machine
- inductive logic programming
- learning scheme
- inductive learning
- modal logic
- knowledge based systems
- semantic network
- expert systems
- inconsistent knowledge
- concept learning
- logic programs
- learned rules
- tableau calculus
- inductive inference
- first order logic
- high dimensional
- image sequences
- learning algorithm
- recursive programs