Temporal Defeasible Reasoning

J Augusto, GR Simari

    Research output: Contribution to journalArticle

    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.
    Original languageEnglish
    Pages (from-to)287-318
    JournalKnowledge and Information Systems
    Volume3
    Issue number3
    DOIs
    Publication statusPublished - 1 Aug 2001

    Keywords

    • Defeasible reasoning
    • Knowledge representation
    • Temporal reasoning

    Cite this