Temporal Patterns: Smart-type Reasoning and Applications

Dineshen  Chuckravanen; Jacqueline W. Daykin; Karen  Hunsdale; Amar  Seeam

Temporal Patterns: Smart-type Reasoning and Applications

Dineshen Chuckravanen, Jacqueline W. Daykin, Karen Hunsdale, Amar Seeam

Adran Cyfrifiadureg

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)

Crynodeb

Allen’s interval algebra is a calculus for temporal reasoning that was introduced in 1983. Reasoning with quali- tative 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 con- straints in Allen’s interval algebra was established algebraically. Recent research proposed scheduling based on the Fishburn- Shepp correlation inequality for posets. We describe here three potential temporal-related application areas as candidates for scheduling using this inequality

Iaith wreiddiol	Saesneg
Teitl	PATTERNS 2017: The Ninth International Conferences on Pervasive Patterns and Applications
Cyhoeddwr	International Academy, Research, and Industry Association
Tudalennau	88-92
ISBN (Argraffiad)	978-1-61208-534-0
Statws	Cyhoeddwyd - 19 Chwef 2017
Digwyddiad	Ninth International Conferences on Pervasive Patterns and Applications - Athens, Groeg Hyd: 19 Chwef 2017 → 23 Chwef 2017

Cynhadledd

Cynhadledd	Ninth International Conferences on Pervasive Patterns and Applications
Gwlad/Tiriogaeth	Groeg
Dinas	Athens
Cyfnod	19 Chwef 2017 → 23 Chwef 2017

Cysylltiad parhaol

Dolen barhaus

Dyfynnu hyn

@inproceedings{1ec63a08c92e4df0b248ef430477f4df,

title = "Temporal Patterns: Smart-type Reasoning and Applications",

abstract = "Allen{\textquoteright}s interval algebra is a calculus for temporal reasoning that was introduced in 1983. Reasoning with quali- tative time in Allen{\textquoteright}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 con- straints in Allen{\textquoteright}s interval algebra was established algebraically. Recent research proposed scheduling based on the Fishburn- Shepp correlation inequality for posets. We describe here three potential temporal-related application areas as candidates for scheduling using this inequality",

keywords = "Allen's interval algebra, artificial intelligence, qualitative temporal reasoning, scheduling, smart-type reasoning",

author = "Dineshen Chuckravanen and Daykin, {Jacqueline W.} and Karen Hunsdale and Amar Seeam",

year = "2017",

month = feb,

day = "19",

language = "English",

isbn = "978-1-61208-534-0",

pages = "88--92",

booktitle = "PATTERNS 2017: The Ninth International Conferences on Pervasive Patterns and Applications",

publisher = "International Academy, Research, and Industry Association",

address = "United States of America",

note = "Ninth International Conferences on Pervasive Patterns and Applications ; Conference date: 19-02-2017 Through 23-02-2017",

}

Chuckravanen, D, Daykin, JW, Hunsdale, K & Seeam, A 2017, Temporal Patterns: Smart-type Reasoning and Applications. yn PATTERNS 2017: The Ninth International Conferences on Pervasive Patterns and Applications. International Academy, Research, and Industry Association, tt. 88-92, Ninth International Conferences on Pervasive Patterns and Applications, Athens, Groeg, 19 Chwef 2017.

Temporal Patterns: Smart-type Reasoning and Applications. / Chuckravanen, Dineshen ; Daykin, Jacqueline W.; Hunsdale, Karen et al.
PATTERNS 2017: The Ninth International Conferences on Pervasive Patterns and Applications. International Academy, Research, and Industry Association, 2017. t. 88-92.

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)

TY - GEN

T1 - Temporal Patterns: Smart-type Reasoning and Applications

AU - Chuckravanen, Dineshen

AU - Daykin, Jacqueline W.

AU - Hunsdale, Karen

AU - Seeam, Amar

PY - 2017/2/19

Y1 - 2017/2/19

N2 - Allen’s interval algebra is a calculus for temporal reasoning that was introduced in 1983. Reasoning with quali- tative 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 con- straints in Allen’s interval algebra was established algebraically. Recent research proposed scheduling based on the Fishburn- Shepp correlation inequality for posets. We describe here three potential temporal-related application areas as candidates for scheduling using this inequality

AB - Allen’s interval algebra is a calculus for temporal reasoning that was introduced in 1983. Reasoning with quali- tative 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 con- straints in Allen’s interval algebra was established algebraically. Recent research proposed scheduling based on the Fishburn- Shepp correlation inequality for posets. We describe here three potential temporal-related application areas as candidates for scheduling using this inequality

KW - Allen's interval algebra

KW - artificial intelligence

KW - qualitative temporal reasoning

KW - scheduling

KW - smart-type reasoning

M3 - Conference Proceeding (Non-Journal item)

SN - 978-1-61208-534-0

SP - 88

EP - 92

BT - PATTERNS 2017: The Ninth International Conferences on Pervasive Patterns and Applications

PB - International Academy, Research, and Industry Association

T2 - Ninth International Conferences on Pervasive Patterns and Applications

Y2 - 19 February 2017 through 23 February 2017

ER -

Temporal Patterns: Smart-type Reasoning and Applications

Crynodeb

Cynhadledd

Cysylltiad parhaol

Ôl bys

Dyfynnu hyn