伊恩·霍洛克斯;彼得·施奈德（Peter F.Patel-Schneider）。;罗伯托·塞巴斯蒂亚尼 模态决策程序的经验测试分析。 （英语） Zbl 0947.03015号 日志。J.IGPL公司 8，第3期，293-323（2000）. 摘要：近年来，出现了新一代高度优化的模态决策程序。基于此类程序的几个系统现已可用，并已证明比上一代模式决策程序更有效。由于计算复杂度和算法复杂度通常都没有变化，因此在分析和比较这些新系统及其各种优化时都没有用处。相反，经验测试被广泛使用，既用于比较，也作为计时系统和确定其优缺点的工具。然而，新系统的有效性揭示了现有经验测试套件和方法的严重缺陷。本文对经验测试方法进行了详细的调查，分析了当前的技术现状，并介绍了使用最新开发的测试方法获得的新结果。 MSC公司： 03B35型 证明和逻辑操作的机械化 第68页第15页 定理证明（演绎、解析等）（MSC2010） 03B45 模态逻辑（包括规范逻辑） 03B25号 理论和句子集的可决定性 关键词：模态决策程序;经验检验;调查 软件：CSPLib公司;ModLeanTAP模式 PDF格式BibTeX公司 XML格式引用 \textit{I.Horrocks}等人，日志。J.IGPL 8，第3号，293--323（2000；Zbl 0947.03015） 全文： 内政部