×

作为时间推理的计划。 (英语) Zbl 0765.68195

知识表示与推理原理。第二届国际会议,剑桥/马萨诸塞州(美国),1991年,3-14日(1991年)。
摘要:【关于整个系列,请参见Zbl 0747.00023.]
本文描述了一个基于时序逻辑的推理系统,它可以按照传统规划系统的思路解决规划问题。然而,由于它是作为一般表示的推理,因此可以描述的问题的范围比传统的计划系统要大得多。此外,计划推理的其他模式,如计划识别或计划监控,可以在同一框架内正式化。

理学硕士:

68T35型 人工智能语言和软件系统(知识系统、专家系统等)理论
68T15型 定理证明(演绎、解析等)(MSC2010)
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)

关键词:

推理;规划系统

引文:

Zbl 0747.00023
PDF格式 BibTeX公司 XML 引用