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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Augusto, J., Simari, G.: Temporal Defeasible Reasoning Knowledge and Information Systems, vol. 3, pp. 287–318 (2001)
Billington, D.: Defeasible logic is stable. Journal of Logic and Computation 3, 379–400 (1993)
Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artificial Intelligence 171, 286–310 (2007)
Capobianco, M., Chesñevar, C., Simari, G.: Argumentation and the Dynamics of Warranted Beliefs in Changing Environments. JAAMAS 11, 127–151 (2005)
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)
Dung, P.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games* 1. Artificial Intelligence 77(2), 321–357 (1995)
García, A., Simari, G.: Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming 4(1+2), 95–138 (2004)
Governatori, G., Terenziani, P.: Temporal Extensions to Defeasible Logic. In: Proc. of Australian Joint Conf. on AI, AI 2007, pp. 1–10 (2007)
Mann, N., Hunter, A.: Argumentation Using Temporal Knowledge. In: Proc. of Computer Models of Argumentation (COMMA 2008), pp. 204–215. IOS Press, Amsterdam (2008)
Nute, D.: Defeasible Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 353–395. Oxford Univ. Press, Oxford (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pardo, P., Godo, L. (2011). t-DeLP: A Temporal Extension of the Defeasible Logic Programming Argumentative Framework. In: Benferhat, S., Grant, J. (eds) Scalable Uncertainty Management. SUM 2011. Lecture Notes in Computer Science(), vol 6929. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23963-2_38
Download citation
DOI: https://doi.org/10.1007/978-3-642-23963-2_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23962-5
Online ISBN: 978-3-642-23963-2
eBook Packages: Computer ScienceComputer Science (R0)