t-DeLP: A Temporal Extension of the Defeasible Logic Programming Argumentative Framework
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.
KeywordsStrict Rule Argumentation Framework Temporal Extension Defeasible Logic Defeasible Rule
Unable to display preview. Download preview PDF.
- 1.Augusto, J., Simari, G.: Temporal Defeasible Reasoning Knowledge and Information Systems, vol. 3, pp. 287–318 (2001)Google Scholar
- 4.Capobianco, M., Chesñevar, C., Simari, G.: Argumentation and the Dynamics of Warranted Beliefs in Changing Environments. JAAMAS 11, 127–151 (2005)Google Scholar
- 5.Cobo, L., Martínez, D., Simari, G.: On Admissibility in Timed Abstract Argumentation Frameworks. In: Proc. of European Conference on AI, ECAI 2010, pp. 1007–1008 (2010)Google Scholar
- 8.Governatori, G., Terenziani, P.: Temporal Extensions to Defeasible Logic. In: Proc. of Australian Joint Conf. on AI, AI 2007, pp. 1–10 (2007)Google Scholar
- 9.Mann, N., Hunter, A.: Argumentation Using Temporal Knowledge. In: Proc. of Computer Models of Argumentation (COMMA 2008), pp. 204–215. IOS Press, Amsterdam (2008)Google Scholar
- 10.Nute, D.: Defeasible Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 353–395. Oxford Univ. Press, Oxford (1994)Google Scholar