×

逻辑编程基础。 (英语) Zbl 0547.68005号

符号计算。人工智能。柏林等:斯普林格-弗拉格。十、 第124页,49.00德国马克(1984年)。
本书试图以统一的方式呈现计算机科学和人工智能的一个重要领域:逻辑编程语言的理论基础,尤其包括PROLOG。逻辑可以用作编程语言的基本思想,以及在新一代计算机的设计中使用这一思想的努力,使这一方向的研究异常活跃。旧的结果被重新考虑,新的结果完成了这项工作。至少在本书中使用的最重要的数学工具是:不动点理论、模型理论、统一和分解过程、离散(度量)拓扑空间框架内的无限计算过程等。
这四章的内容大致如下:第一章介绍了逻辑程序的声明性语义。引入了(正确)答案替换的概念,给出了最小Herbrand模型的不动点特征,并规定了答案替换的正确性与程序在其最小Herbrand模型中的解释等价的条件。
第二章是关于逻辑程序的过程语义。声明性概念使用SLD解析(线性解析,带有Define子句的Selection函数)实现。SLD分辨率的可靠性和完整性以及计算规则的独立性是本章的主要结果。讨论了SLD反驳过程,并认为(PROLOG)切割可以在正确答案替换的SLD解析实现中引入一种形式的不完全性。
第三章讨论否定。引入了程序的有限失败集,探讨了它与闭世界假设和否定作为失败规则的(非单调)推理规则的关系。SLD解决方案是有限失效的一种合理而完整的实现。定义了一般程序的完成,将正确答案替换的定义扩展到一般程序的结束。证明了否定作为失效准则的合理性和完备性结果。讨论了PROLOG系统中否定规则的正确实现。
第四章试图为没有终止但正在进行有用计算的程序(永久过程)的行为提供一个广义的形式框架。需要广义的概念:完整的赫布兰德宇宙、基础和模型。这些概念在拓扑(度量)空间上的性质得到了很好的推导,并使用“可在无穷远处计算”的所有原子集展示了无限计算的SLD分辨率的可靠性。
这本书代表了计算机科学未来发展感兴趣的领域中的一个原创性先锋综合,并且可以肯定,根据目前的研究成果,它将被类似的扩展方法所遵循。
审核人:N.Curteanu公司

MSC公司:

68-02 与计算机科学有关的研究展览会(专著、调查文章)
68号01 软件理论的一般主题
第68季度第65季度 抽象数据类型;代数规范
第68页第15页 定理证明(演绎、解析等)(MSC2010)
68瓦30 符号计算和代数计算
03B35型 证明和逻辑运算的机械化
60年第68季度 规范和验证(程序逻辑、模型检查等)
03C99号 模型理论