Lin，F。 将因果理论编译为后继状态公理和带状系统。 （英语） Zbl 1026.68126号 J.阿蒂夫。智力。研究（JAIR） 19, 279-314 (2003). 摘要：我们描述了一个用于指定操作效果的系统。与人工智能规划中常用的那些不同，我们的系统使用一种动作描述语言，允许用户使用域规则指定动作的效果，域规则是状态约束，可以从旧的动作效果中引入新的动作效果。声明地说，我们语言中的动作域对应于情境演算中的非单调因果理论。从程序上讲，这样一个动作域被编译成一组逻辑理论，其中每个动作对应一个逻辑理论，然后从中生成完整实例化的后继状态类公理和STRIPS类系统。我们希望该系统能成为知识工程师为经典人工智能规划系统、GOLOG系统和其他需要正式行动规范的系统编写行动规范的有用工具。 引用于4文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：人工智能规划;GOLOG系统 软件：徒步旅行;高尔夫 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}，J.Artif。智力。研究（JAIR）19，279--314（2003；Zbl 1026.68126）