Sciweavers

Share
FSS
2008

A logic programming framework for possibilistic argumentation: Formalization and logical properties

8 years 3 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G
Teresa Alsinet, Carlos Iván Chesñeva
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where FSS
Authors Teresa Alsinet, Carlos Iván Chesñevar, Lluis Godo, Guillermo Ricardo Simari
Comments (0)
books