Reasoning with Time Intervals: A Logical and Computational Perspective. (14th October 2012)

• Record Type: Journal Article
• Authors: Sciavicco, Guido
• Other Names: Chau K. W. Academic Editor.; Likothanassis S. Academic Editor.
• Is Part Of: ISRN artificial intelligence. Volume 2012(2012)
• Publication Date: 2012-10-14
• Subjects: Artificial intelligence -- Periodicals; Artificial intelligence; Periodicals; 006.3
• DOI: 10.5402/2012/616087
• Languages: English
• ISSNs: 2090-7435

Abstract

Abstract : The role of time in artificial intelligence is extremely important. Interval-based temporal reasoning can be seen as a generalization of the classical point-based one, and the first results in this field date back to Hamblin (1972) and Benhtem (1991) from the philosophical point of view, to Allen (1983) from the algebraic and first-order one, and to Halpern and Shoham (1991) from the modal logic one. Without purporting to provide a comprehensive survey of the field, we take the reader to a journey through the main developments in modal and first-order interval temporal reasoning over the past ten years and outline some landmark results on expressiveness and (un)decidability of the satisfiability problem for the family of modal interval logics.