Name
Title | ||
|---|---|---|
t-DeLP: a temporal extension of the defeasible logic programming argumentative framework |
Abstract | ||
|---|---|---|
The aim of this paper is to offer an argumentation-based defeasible logic that enables temporal forward reasoning. We extend the DeLP logical framework by associating temporal parameters to literals. A temporal logic program is a set of temporal literals and durative rules. These temporal facts and rules combine into durative arguments representing temporal processes, that permit us to reason defeasibly about future states. The corresponding notion of logical consequence, or warrant, is defined slightly different from that of DeLP, due to the temporal aspects. As usual, this notion takes care of inconsistencies, and in particular we prove the consistency of any logical program whose strict part is consistent. Finally, we define and study a sub-class of arguments that seem appropriate to reason with natural processes, and suggest a modification to the framework that is equivalent to restricting the logic to this class of arguments. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1007/978-3-642-23963-2_38 | SUM |
Keywords | Field | DocType |
temporal forward reasoning,argumentation-based defeasible logic,logical consequence,temporal process,delp logical framework,temporal extension,temporal logic program,temporal fact,temporal aspect,temporal parameter,temporal literal,defeasible logic programming argumentative | Computation tree logic,Logical consequence,Temporal logic of actions,Interval temporal logic,Defeasible logic,Computer science,Theoretical computer science,Linear temporal logic,Artificial intelligence,Temporal logic,Logical framework,Machine learning | Conference |
Volume | ISSN | Citations |
6929 | 0302-9743 | 6 |
PageRank | References | Authors |
0.44 | 9 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Pere Pardo | 1 | 47 | 8.63 |
| Lluís Godo | 2 | 888 | 56.28 |