A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge

TL;DR

This paper introduces P-DeLP, a logic programming framework that extends defeasible logic programming to handle vague and uncertain knowledge using possibilistic and fuzzy logic principles.

Contribution

It presents a novel extension of DeLP, called P-DeLP, integrating possibilistic uncertainty and fuzzy knowledge for more expressive reasoning.

Findings

Formalization of P-DeLP based on PGL and Godel fuzzy logic

Enhanced reasoning capabilities with explicit uncertainty handling

Application potential in commonsense reasoning scenarios

Abstract

Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. Defeasible Logic Programming (DeLP) is a defeasible argumentation formalism based on an extension of logic programming. Although DeLP has been successfully integrated in a number of different real-world applications, DeLP cannot deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper introduces P-DeLP, a new logic programming language that extends original DeLP capabilities for qualitative reasoning by incorporating the treatment of possibilistic uncertainty and fuzzy knowledge. Such features will be formalized on the basis of PGL, a possibilistic logic based on Godel fuzzy logic.