PulseAugur
EN
LIVE 07:31:24

New Hybrid MKNF Knowledge Base Extends Logic Programming with Classical Negation

By PulseAugur Editorial · [1 sources] ·

Researchers have developed an extension to Hybrid MKNF knowledge bases that incorporates classical negation into the rule component. This advancement addresses a key limitation of existing systems, which previously could not represent explicit negative knowledge, a crucial aspect for safety-critical applications. The new framework formally defines its syntax and semantics, and includes a procedure for computing its well-founded model. AI

RANK_REASON The cluster contains a single academic paper detailing a novel technical approach in a specific area of computer science. [lever_c_demoted from research: ic=1 ai=0.4]

Read on arXiv cs.AI →

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

New Hybrid MKNF Knowledge Base Extends Logic Programming with Classical Negation

COVERAGE [1]

  1. arXiv cs.AI TIER_1 English(EN) · Arun Raveendran Nair Sheela (Universit\'e Clermont Auvergne, LIMOS Laboratory, Thales), Christophe Rey (Universit\'e Clermont Auvergne, LIMOS, CNRS, France), Florence De Grancey (Thales) ·

    Hybrid MKNF with Classical Negation in the Rule Component

    arXiv:2607.21202v1 Announce Type: cross Abstract: 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 …

RELATED ENTITIES

RELATED TOPICS