Solving air-traffic problems with ''possible worlds''

被引：0

作者：

Cavalcanti, M

机构：

来源：

EXECUTABLE MODAL AND TEMPORAL LOGICS | 1995年 / 897卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present here an executable modal logic based system: PW-XRete(1). This system is connected with the modal logic through the Kripke's possible worlds semantics. PW-XRete presents a procedure of labeling the worlds that provides an efficient implementation of the possible worlds and, as it showed, is well suited for nonmonotonic reasoning. As an example of the use of PW-XRete in real life situations we present its solution to the aircraft sequencing problem.

引用

页码：144 / 156

页数：13