基于时序逻辑的Resolution自动定理证明方法
图书信息
书名：基于时序逻辑的Resolution自动定理证明方法作者：章岚
包装：平装
开本：16
出版社：首都经济贸易大学出版社
出版时间：2021-09-01
图书简介
时序逻辑是人工智能和计算机科学领域中的重要建模工具。应用时序逻辑来对复杂系统进行推理和验证的算法也应运而生。本书主要介绍了Resolution算法在时序逻辑中的应用。作者详细阐述了把Resolution算法从表达能力较弱的线性时序逻辑，逐渐拓展到了表达能力较强的计算树逻辑和交互时序逻辑。对于专业的计算机科学、人工智能、逻辑学等领域的读者，本书是必读之作。
推荐理由
本书介绍了时序逻辑和其在自动定理证明中的应用，重点介绍了Resolution算法在不同时序逻辑中的应用以及对其进行拓展和优化的研究成果。本书内容详实，逐步深入，并提供了大量精心设计的例子和练习，非常有助于读者更好地理解和应用所学知识。对于人工智能和计算机科学领域的专业人士，这是一本非常优秀的参考书。