Defeasible Reasoning with Knowledge Graphs

My paper for KGSWC-2023 was accepted.

Event: Knowledge Graph and Semantic Web Conference, 13-15 November, 2023, Zaragoza, Spain

Title: Defeasible Reasoning with Knowledge Graphs

Abstract: Human knowledge is subject to uncertainties, imprecision, incompleteness and inconsistencies. Moreover, the meaning of many everyday terms is dependent on the context. That poses a huge challenge for the Semantic Web. This paper introduces work on an intuitive notation and model for defeasible reasoning with imperfect knowledge, and relates it to previous work on argumentation theory. PKN is to N3 as defeasible reasoning is to deductive logic. Further work is needed on an intuitive syntax for describing reasoning strategies and tactics in declarative terms, drawing upon the AIF ontology for inspiration. The paper closes with observations on symbolic approaches in the era of large language models.

Preprint: http://arxiv.org/abs/2309.12731

Knowledge graphs are useful in respect to constructing and working with models of information from multiple IoT devices, aka knowledge fusion.  Defeasible reasoning is well suited to imperfect knowledge that needs to be updated as new information is acquired.

Dave Raggett <dsr@w3.org>