Reified Temporal Logic For Nonlinear Planning
Reified Temporal Logic For Nonlinear Planning
复制标题
非线性规划的具体化时态逻辑
DOI：
--
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
H. Barringer
中科院分区：
文献类型：
--
作者：
Ying Zhang;H. Barringer
Deductive planning treats planning as a reasoning process within a formal logic. Several formal logics have been applied in various deductive planning systems, but none is completely satisfactory and widely accepted by planning researchers. Almost all the formal logics applied in deductive planning are proposed for more general purpose than planning. Usually, the more general and the more expressive a language is, the less eecient that language is for dealing with problems in a speciic domain. In this report, we propose a temporal logic speciically for representing and reasoning about nonlinear planning. Our temporal logic naturally captures the persistence assumption and, when applied in deductive planning, can deal with the frame problem eeciently. Also, in this temporal logic, planning problem can be concisely and clearly speciied. Directly upon this temporal logic, we build a deductive nonlinear planning framework, constraint logic planning, which is proved to be sound, complete and is showed to be eecient. In this report, we brieey describe how the temporal logic provides the basis for constraint logic planning. educational or research purposes on condition that (1) this copyright notice is included, (2) proper attribution to the author or authors is made and (3) no commercial gain is involved.
影响因子：
14.4
作者：
ALLEN, JF
通讯作者：
ALLEN, JF