Abstract.
An argumentation system that allows temporal reasoning using the notions of instant and interval is presented. Previous proposals just considered either instants or intervals. A many-sorted logic is used to represent temporal knowledge at the monotonic level. The logic considers how to formalize knowledge about explicit temporal references, events, properties and actions. The argumentation system provides a non-monotonic layer in which to reason about the justification of truths in the system. The proposal is illustrated showing how to solve well-known problems of the literature.
Similar content being viewed by others
Explore related subjects
Discover the latest articles and news from researchers in related subjects, suggested using machine learning.Author information
Authors and Affiliations
Additional information
Received 21 June 2000 / Revised 7 December 2000 / Accepted in revised form 8 January 2001
Rights and permissions
About this article
Cite this article
Augusto, J., Simari, G. Temporal Defeasible Reasoning. Knowledge and Information Systems 3, 287–318 (2001). https://doi.org/10.1007/PL00011670
Issue Date:
DOI: https://doi.org/10.1007/PL00011670