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.
    LanguageEnglish
    Pages287-318
    JournalKnowledge and Information Systems
    Volume3
    Issue number3
    DOIs
    Publication statusPublished - 1 Aug 2001

    Keywords

    • Defeasible reasoning
    • Knowledge representation
    • Temporal reasoning

    Cite this

    Augusto, J ; Simari, GR. / Temporal Defeasible Reasoning. In: Knowledge and Information Systems. 2001 ; Vol. 3, No. 3. pp. 287-318.
    @article{cf8f1cb854a44d69927cb3e1544e3263,
    title = "Temporal Defeasible Reasoning",
    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.",
    keywords = "Defeasible reasoning, Knowledge representation, Temporal reasoning",
    author = "J Augusto and GR Simari",
    note = "Other 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.",
    year = "2001",
    month = "8",
    day = "1",
    doi = "10.1007/PL00011670",
    language = "English",
    volume = "3",
    pages = "287--318",
    journal = "Knowledge and Information Systems",
    issn = "0219-1377",
    number = "3",

    }

    Augusto, J & Simari, GR 2001, 'Temporal Defeasible Reasoning', Knowledge and Information Systems, vol. 3, no. 3, pp. 287-318. https://doi.org/10.1007/PL00011670

    Temporal Defeasible Reasoning. / Augusto, J; Simari, GR.

    In: Knowledge and Information Systems, Vol. 3, No. 3, 01.08.2001, p. 287-318.

    Research output: Contribution to journalArticle

    TY - JOUR

    T1 - Temporal Defeasible Reasoning

    AU - Augusto, J

    AU - Simari, GR

    N1 - Other 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.

    PY - 2001/8/1

    Y1 - 2001/8/1

    N2 - 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.

    AB - 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.

    KW - Defeasible reasoning

    KW - Knowledge representation

    KW - Temporal reasoning

    U2 - 10.1007/PL00011670

    DO - 10.1007/PL00011670

    M3 - Article

    VL - 3

    SP - 287

    EP - 318

    JO - Knowledge and Information Systems

    T2 - Knowledge and Information Systems

    JF - Knowledge and Information Systems

    SN - 0219-1377

    IS - 3

    ER -