Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper extends Hybrid MKNF knowledge bases by incorporating classical negation into the rule component, addressing a critical limitation in representing explicit negative knowledge. This enhancement is particularly vital for safety-critical applications, where the ability to reason with explicit negative information can significantly impact decision-making processes. The authors provide a formal definition of the syntax and semantics of the extended language, along with a general procedure for computing its well-founded model, thereby enriching the reasoning capabilities of Hybrid MKNF systems.
Explicit negative knowledge in reasoning could be a game-changer for safety-critical AI applications.
Hybrid MKNF knowledge bases under the well-founded semantics integrate Description Logics with Logic Programming. However, they do not support classical negation in the rule component, limiting their ability to represent explicit negative knowledge. This limitation is particularly significant in safety-critical applications, where reasoning often requires explicit negative information rather than interpreting the absence of information as evidence of absence. To address this issue, we introduce an extension of Hybrid MKNF that supports classical negation in the rule component. We formally define the syntax and semantics of the extended language and present a general procedure for computing its well-founded model.