保罗·焦尔吉尼;约翰·米洛波洛斯;埃莉诺拉·尼奇亚雷利;罗伯托·塞巴斯蒂亚尼 目标模型的形式化推理技术。 （英语） Zbl 1274.68423号 Spacapietra，Stefano（编辑）等人，《数据语义学期刊I》，柏林：施普林格出版社（ISBN 3-540-20407-5/pbk）。计算机科学2800讲义。期刊副刊，1-20（2003）。 摘要：在过去十年中，目标模型被用于计算机科学，以表示软件需求、业务目标和设计质量。此类模型通过允许部分定义的目标和可能不一致的目标，扩展了用于表示目标的传统AI规划技术。本文提出了一个使用此类目标模型进行推理的形式化框架。特别地，本文提出了目标建模基元的定性公理化和数值公理化，并介绍了标签传播算法，这些算法在各自的公理化方面被证明是健全和完整的。此外，本文报告了应用于美国汽车制造商目标模型的传播算法的实验结果。有关整个系列，请参见[Zbl 1062.68012号]. 引用于1文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68兰特 计算机科学中的图论（包括图形绘制） 软件：图规划 PDF格式BibTeX公司 XML格式引用 \textit{P.Giorgini}等人，Lect。注释计算。科学。2800，1--20（2003年；Zbl 1274.68423） 全文： 内政部