Constraint deduction in an interval-based temporal logic

被引：0

作者：

Koehler, J

Treinen, R

机构：

来源：

EXECUTABLE MODAL AND TEMPORAL LOGICS | 1995年 / 897卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We describe reasoning methods for the interval-based modal temporal logic LLP which employs the modal operators sometimes, always, next, and chop. We propose a constraint deduction approach and compare it with a sequent calculus, developed as the basic machinery for the deductive planning system PHI which uses LLP as underlying formalism.

引用

页码：103 / 117

页数：15

共 50 条

[1] AN INTERVAL-BASED TEMPORAL LOGIC
SCHWARTZ, RL
MELLIARSMITH, PM
VOGT, FH
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 443 - 457
[2] AN INTERVAL-BASED TEMPORAL LOGIC IN A MULTIVALUED SETTING
BAUER, M
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 355 - 369
[3] Managing tasks using an interval-based temporal logic
Das, SK
Hammond, P
[J]. APPLIED INTELLIGENCE, 1996, 6 (04) : 311 - 323
[4] AN INTERVAL-BASED MODAL LOGIC FOR SYSTEM SPECIFICATION
LI, RW
CARMO, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 281 - 292
[5] Interval-Based Possibilistic Logic in a Coherent Setting
Coletti, Giulianella
Petturiti, Davide
Vantaggi, Barbara
[J]. ADVANCES IN ARTIFICIAL INTELLIGENCE: FROM THEORY TO PRACTICE (IEA/AIE 2017), PT II, 2017, 10351 : 75 - 84
[6] Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic
Sanati, Morteza Yousef
MacCaull, Wendy
Maibaum, Thomas S. E.
[J]. FM 2014: FORMAL METHODS, 2014, 8442 : 611 - 626
[7] Dynamic CSPs for interval-based temporal reasoning
Mouhoub, M
Yip, J
[J]. DEVELOPMENTS IN APPLIED ARTIFICAIL INTELLIGENCE, PROCEEDINGS, 2002, 2358 : 575 - 585
[8] Discovering temporal patterns for interval-based events
Kam, PS
Fu, AWC
[J]. DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS, 2000, 1874 : 317 - 326
[9] Mining approximate interval-based temporal dependencies
Combi, Carlo
Sala, Pietro
[J]. ACTA INFORMATICA, 2016, 53 (6-8) : 547 - 585
[10] Rhythmic and interval-based temporal orienting in autism
Cannon, Jonathan
Eldracher, Emelie
Cardinaux, Annie
Irfan, Fatima
Bungert, Lindsay
Li, Cindy
O'Brien, Amanda
Treves, Isaac
Diamond, Sidney
Sinha, Pawan
[J]. AUTISM RESEARCH, 2023, 16 (04) : 772 - 782

← 1 2 3 4 5 →