Show simple item record

dc.contributor.authorChuckravanen, Dineshen
dc.contributor.authorDaykin, Jacqueline
dc.contributor.authorHunsdale, Karen
dc.contributor.authorSeeam, Amar
dc.date.accessioned2019-10-07T08:33:42Z
dc.date.available2019-10-07T08:33:42Z
dc.date.issued2017-03
dc.identifier.citationHunsdale, K., Chuckravanen, D., Daykin, J.W. and Seeam, A., (2017). 'Allen’s interval algebra and smart-type environments'. International Journal on Advances in Software, 10(3 & 4), pp. 221-230.en_US
dc.identifier.issn19422628
dc.identifier.urihttp://hdl.handle.net/10545/624181
dc.description.abstractAllen’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 Fishburn-Shepp 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.en_US
dc.description.sponsorshipN/Aen_US
dc.language.isoenen_US
dc.publisherIARIAen_US
dc.relation.urlhttp://www.iariajournals.org/software/en_US
dc.relation.urlhttp://www.iariajournals.org/software/soft_v10_n34_2017_paged.pdfen_US
dc.relation.urlhttps://pure.aber.ac.uk/portal/en/publications/allens-interval-algebra-and-smarttype-environments(0ff39d06-c611-46f7-bf92-18f4166f00db).htmlen_US
dc.subjectAllen’s interval algebra; artificial intelligence; qualitative temporal reasoning; scheduling; smart-type reasoningen_US
dc.titleAllen’s interval algebra and smart-type environmentsen_US
dc.typeArticleen_US
dc.contributor.departmentAberystwyth University (Mauritius Campus)en_US
dc.identifier.journalInternational Journal on Advances in Softwareen_US
dcterms.dateAccepted2016-11
refterms.dateFOA2016-12-31T00:00:00Z
dc.author.detail786970en_US


Files in this item

Thumbnail
Name:
soft_v10_n34_2017_5.pdf
Size:
604.0Kb
Format:
PDF
Description:
Article

This item appears in the following Collection(s)

Show simple item record