Abstract | ||
---|---|---|
We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation as Failure (LPwNF). This translation enables us 1) to understand default persistence as captured by various temporal reasoning frameworks in a simple and natural way, by assigning higher priority to information about effects of later actions over effects of earlier actions; 2) to develop an argumentation-based computational model for this type of reasoning in logic programming goal-driven style. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/3-540-46767-X_6 | LPNMR |
Keywords | Field | DocType |
high level language,language e,argumentation framework,various temporal reasoning framework,later action,higher priority,earlier action,argumentation-based computational model,default persistence,logic programming | Argumentation framework,Temporal logic of actions,Computer science,Argumentation theory,Algorithm,Negation as failure,Deductive reasoning,Probabilistic argumentation,Logic programming,Verbal reasoning | Conference |
Volume | ISSN | ISBN |
1730 | 0302-9743 | 3-540-66749-0 |
Citations | PageRank | References |
20 | 0.99 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Antonis C. Kakas | 1 | 1277 | 97.13 |
Rob Miller | 2 | 246 | 17.95 |
Francesca Toni | 3 | 343 | 27.02 |