Allen’s interval algebra and smart-type environments

Chuckravanen, Dineshen, Daykin, Jacqueline, Hunsdale, Karen and Seeam, Amar ORCID logoORCID: https://orcid.org/0000-0001-8203-1545 (2017) Allen’s interval algebra and smart-type environments. International Journal on Advances in Software, 10 (3 & 4) . pp. 221-230. ISSN 1942-2628 [Article]

Abstract

Allen’s interval algebra is a calculus for temporal reasoning that was introduced in 1983. Reasoning with qualitative time in Allen’s full interval algebra is nondeterministic polynomial time (NP) complete. Research since 1995 identified maximal tractable subclasses of this algebra via exhaustive computer search and also other ad-hoc methods. In 2003, the full classification of complexity for satisfiability problems over constraints in Allen’s interval algebra was established algebraically. Recent research proposed scheduling based on the Fishburn-Shepp correlation inequality for posets. This article first reviews Allen’s calculus and surrounding computational issues in temporal reasoning. We then go on to describe three potential temporal-related application areas as candidates for scheduling using the Fishburn-Shepp inequality. We also illustrate through concrete examples, and conclude the importance of FishburnShepp inequality for the suggested application areas that are the development of smart homes, intelligent conversational agents and in physiology with emphasis during time-trial physical exercise. The Fishburn-Shepp inequality will enable the development of smart type devices, which will in turn help us to have a better standard of living.

Item Type: Article
Theme:
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 36449
Depositing User: Amar Kumar Seeam
Date Deposited: 05 Oct 2022 11:25
Last Modified: 10 Oct 2022 11:55
URI: https://eprints.mdx.ac.uk/id/eprint/36449

Actions (login required)

View Item View Item

Statistics

Activity Overview
6 month trend
0Downloads
6 month trend
0Hits

Additional statistics are available via IRStats2.