A General Framework for Reasoning about Change

J Augusto

    Research output: Contribution to journalArticle

    6 Citations (Scopus)

    Abstract

    The capability to represent and use concepts like time and events in computer science is essential to solve a wide class of problems characterized by the notion of change. Real-time, databases and multimedia are just a few of several areas which needs good tools to deal with time. Another area where this concepts are essential is artificial intelligence because an agent must be able to reason about a dynamic environment.

    In this work a formalism is proposed which allows the representation and use of several features that had been recognized as useful in the attempts to solve such class of problems. A general framework based on a many-sorted logic is proposed centering our attention in issues such as the representation of time, actions, properties, events and causality. The proposal is compared with related work from the temporal logic and artificial intelligence areas. This work complements and enhances previously related efforts on formalizing temporal concepts with the same purpose.
    LanguageEnglish
    Pages209-246
    JournalNew Generation Computing
    Volume21
    Issue number3
    Publication statusPublished - 1 Sep 2003

    Fingerprint

    Artificial intelligence
    Reasoning
    Temporal logic
    Artificial Intelligence
    Computer science
    Temporal Logic
    Causality
    Dynamic Environment
    Multimedia
    Computer Science
    Complement
    Logic
    Real-time
    Concepts
    Framework
    Class

    Keywords

    • knowledge representation
    • Temporal logic
    • Time
    • Events
    • Actions
    • Causality

    Cite this

    Augusto, J. / A General Framework for Reasoning about Change. In: New Generation Computing. 2003 ; Vol. 21, No. 3. pp. 209-246.
    @article{53f39e1d67e446f2a533ed19054d456c,
    title = "A General Framework for Reasoning about Change",
    abstract = "The capability to represent and use concepts like time and events in computer science is essential to solve a wide class of problems characterized by the notion of change. Real-time, databases and multimedia are just a few of several areas which needs good tools to deal with time. Another area where this concepts are essential is artificial intelligence because an agent must be able to reason about a dynamic environment.In this work a formalism is proposed which allows the representation and use of several features that had been recognized as useful in the attempts to solve such class of problems. A general framework based on a many-sorted logic is proposed centering our attention in issues such as the representation of time, actions, properties, events and causality. The proposal is compared with related work from the temporal logic and artificial intelligence areas. This work complements and enhances previously related efforts on formalizing temporal concepts with the same purpose.",
    keywords = "knowledge representation, Temporal logic, Time, Events, Actions, Causality",
    author = "J Augusto",
    note = "Other Details ------------------------------------ This paper provided a formalization of a reasoning system that included the fundamental elements for representing and solving problems in dynamic environments. The theory combines different types of explicit temporal references (instants and intervals) as well as implicit temporal references represented by events (instantaneous and durative). These temporal references can then be associated to reasoning with actions and causality. These concepts are then used by a reasoning system based on a multi-sorted logic that defines an efficient reasoning system. A final comparison shows that the newly proposed theory can encompass other contemporary proposals to achieve automated temporal reasoning.",
    year = "2003",
    month = "9",
    day = "1",
    language = "English",
    volume = "21",
    pages = "209--246",
    journal = "New Generation Computing",
    issn = "0288-3635",
    number = "3",

    }

    Augusto, J 2003, 'A General Framework for Reasoning about Change', New Generation Computing, vol. 21, no. 3, pp. 209-246.

    A General Framework for Reasoning about Change. / Augusto, J.

    In: New Generation Computing, Vol. 21, No. 3, 01.09.2003, p. 209-246.

    Research output: Contribution to journalArticle

    TY - JOUR

    T1 - A General Framework for Reasoning about Change

    AU - Augusto, J

    N1 - Other Details ------------------------------------ This paper provided a formalization of a reasoning system that included the fundamental elements for representing and solving problems in dynamic environments. The theory combines different types of explicit temporal references (instants and intervals) as well as implicit temporal references represented by events (instantaneous and durative). These temporal references can then be associated to reasoning with actions and causality. These concepts are then used by a reasoning system based on a multi-sorted logic that defines an efficient reasoning system. A final comparison shows that the newly proposed theory can encompass other contemporary proposals to achieve automated temporal reasoning.

    PY - 2003/9/1

    Y1 - 2003/9/1

    N2 - The capability to represent and use concepts like time and events in computer science is essential to solve a wide class of problems characterized by the notion of change. Real-time, databases and multimedia are just a few of several areas which needs good tools to deal with time. Another area where this concepts are essential is artificial intelligence because an agent must be able to reason about a dynamic environment.In this work a formalism is proposed which allows the representation and use of several features that had been recognized as useful in the attempts to solve such class of problems. A general framework based on a many-sorted logic is proposed centering our attention in issues such as the representation of time, actions, properties, events and causality. The proposal is compared with related work from the temporal logic and artificial intelligence areas. This work complements and enhances previously related efforts on formalizing temporal concepts with the same purpose.

    AB - The capability to represent and use concepts like time and events in computer science is essential to solve a wide class of problems characterized by the notion of change. Real-time, databases and multimedia are just a few of several areas which needs good tools to deal with time. Another area where this concepts are essential is artificial intelligence because an agent must be able to reason about a dynamic environment.In this work a formalism is proposed which allows the representation and use of several features that had been recognized as useful in the attempts to solve such class of problems. A general framework based on a many-sorted logic is proposed centering our attention in issues such as the representation of time, actions, properties, events and causality. The proposal is compared with related work from the temporal logic and artificial intelligence areas. This work complements and enhances previously related efforts on formalizing temporal concepts with the same purpose.

    KW - knowledge representation

    KW - Temporal logic

    KW - Time

    KW - Events

    KW - Actions

    KW - Causality

    M3 - Article

    VL - 21

    SP - 209

    EP - 246

    JO - New Generation Computing

    T2 - New Generation Computing

    JF - New Generation Computing

    SN - 0288-3635

    IS - 3

    ER -