• DocumentCode
    2389741
  • Title

    Representing and propagating constraints in temporal reasoning

  • Author

    Tolba, Hany ; Charpillet, François ; Haton, Jean-Paul

  • Author_Institution
    INRIA-Lorraine, Vandoeuvre-les-Nancy, France
  • fYear
    1991
  • fDate
    10-13 Nov 1991
  • Firstpage
    181
  • Lastpage
    184
  • Abstract
    A new temporal representation combining the notions of intervals, dates, and durations is presented. The manipulation of this representation is based on the notion of time map managers (TMMs) allowing both kinds of constraints, symbolic or numeric. These algorithms are a generalization of AC4, an optimal algorithm for arc-consistency, and can handle n-ary constraints
  • Keywords
    inference mechanisms; knowledge representation; temporal logic; AC4; arc-consistency; constrain representation; constraint propagation; dates; durations; intervals; optimal algorithm; temporal reasoning; time map managers; Algebra; Artificial intelligence; Calendars; Clocks; Databases; Indexes; Logic; Operations research; Robots; Time measurement;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
  • Conference_Location
    San Jose, CA
  • Print_ISBN
    0-8186-2300-4
  • Type

    conf

  • DOI
    10.1109/TAI.1991.167093
  • Filename
    167093
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2389741