将因果理论编译为后继状态公理与类 STRIPS 系统
人工智能
2011-06-27 v1
摘要
我们描述了一个用于指定动作效应的系统。与 AI 规划中常用的系统不同，我们的系统使用一种动作描述语言，允许使用领域规则来指定动作的效应，这些规则是能够从旧的效应推导出新的动作效应的状态约束。在声明式层面上，我们语言中的动作领域对应于情景演算中的非单调因果理论。在过程式层面上，这样的动作领域被编译为一组逻辑理论（领域中的每个动作对应一个），从中随后生成完全实例化的类后继状态公理和类 STRIPS 系统。我们期望该系统能成为知识工程师的有用工具，用于为经典 AI 规划系统、GOLOG 系统以及其他需要动作形式化规约的系统编写动作规约。
引用
@article{arxiv.1106.4867,
title = {Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems},
author = {F. Lin},
journal= {arXiv preprint arXiv:1106.4867},
year = {2011}
}