Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations.
Jinqiang YuAlexey IgnatievPeter J. StuckeyNina NarodytskaJoão Marques-SilvaPublished in: AAAI (2023)
Keyphrases
- background knowledge
- inductive logic programming
- domain knowledge
- domain theory
- logic programs
- representation language
- domain specific knowledge
- relational information
- positive examples
- prior knowledge
- semantic information
- artificial intelligence
- additional knowledge
- learning algorithm
- contextual information
- context aware
- ontology learning
- high dimensional
- training data
- knowledge base
- reference set
- learned rules