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

共 25 条

[1] THE POWER OF TEMPORAL PROOFS [J].