Recently, a temporal extension of the argumentation defea- sible reasoning system DeLP has been proposed. This system, called t-DeLP, allows to reason defeasibly about changes and persistence over time but does not offer the possibility of ranking defeasible rules accord- ing to criteria of preference or certainty (in the sense of belief). In this contribution we extend t-DeLP by allowing to attach uncertainty weights to defeasible temporal rules and hence stratifying the set of defeasible rules in a program. Technically speaking, weights are modelled as neces- sity degrees within the frame of possibility theory, a qualitative model of uncertainty.
Links:
[1] http://www.iiia.csic.es/en/individual/lluis-godo
[2] http://www.iiia.csic.es/en/node/4742
[3] http://www.iiia.csic.es/en/individual/pere-pardo
[4] http://www.iiia.csic.es/en/publications/keyword/Possibilistic Logic
[5] http://www.iiia.csic.es/en/publications/keyword/Temporal Reasoning
[6] http://www.iiia.csic.es/en/publications/keyword/Argumentation-based Logic Programming
[7] http://www.iiia.csic.es/en/publications/export/tagged/4835
[8] http://www.iiia.csic.es/en/publications/export/xml/4835
[9] http://www.iiia.csic.es/en/publications/export/bib/4835
[10] http://www.iiia.csic.es/en/project/at