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.
Bibliographical noteOther Details
This article provided the theoretical framework for one of the first two systems allowing argumentation with temporal references. It was published at a time where argumentation was not yet widely considered in the context of multi-agent systems as it is today. It remains the only temporal argumentation framework to allow instantaneous and durative temporal references. Though highly expressive, it can be achieved with polynomial time algorithms by translating intervals into point-based references. Temporal references are combined with persistency and causality notions. This framework has been used to develop several systems that have been applied to solve problems in Ambient Intelligence.
- Defeasible reasoning
- Knowledge representation
- Temporal reasoning