×

不断发展的知识库。规范和语义。 (英语) Zbl 1056.68138号

人工智能和应用的前沿81.阿姆斯特丹:IOS出版社;东京:Ohmsha(ISBN 1-58603-278-X/hbk;4-274-90571-3/hbk)。十八、307页。(2003).
本书基于一篇博士论文,该论文致力于研究知识库的动态方面。作者的基本态度可以表现为这样一种信念:逻辑为处理人工智能的基本任务(例如表示和推理知识或构建智能代理)提供了一种有用且富有成效的概念和方法论工具。Leite方法的另一个重要特征是相信,研究流从两个最初不同的领域发展而来——逻辑编程和非单调推理(LPNMR)代表了一个强大而合适的框架来完成这些任务。(本书第2章提供了LPNMR领域的鸟瞰图。)
虽然逻辑方法已被成功且广泛地应用于表示静态知识,但知识的动态方面在LPNMR流中长期没有引起足够的重视。这一缺点受到本书的抨击。这本书致力于研究逻辑程序表示的知识库的动态方面。在技术上,研究了逻辑程序的更新。提出了一种(多维)动态逻辑程序设计((M)DyLoP)范式,作为解决逻辑程序(和知识库)更新相关问题的框架。
一个重要的观察结果在于(M)DyLoP的基础——在更新知识库时,仅考虑文字的真值是不够的。注意力从口译转移到了节目上。DyLoP是一系列逻辑程序(允许规则头中的默认否定,因此规则之间可能存在冲突)。序列代表世界的后续状态。优先关系由序列生成:“当前”状态是最优先的。如果规则之间存在冲突,首选规则会覆盖不太首选的规则(一些规则可能会被世界新状态的信息所拒绝)。MDyLoP将偏好关系推广到非循环有向图。
第3章致力于全面介绍DyLoP。解释了基本的直觉和问题,给出了DyLoP的声明语义和转换语义,研究了程序更新的性质。最后,对逻辑程序更新的其他方法进行了比较,并讨论了其他一些问题。
更新语言是一种工具,可以在DyLoP中构建后续程序。第4章详细概述了语言LUPS。LUPS命令集合指定要添加到程序序列中的下一个程序。命令的执行可以依赖于当前程序序列的语义。此外,还讨论了用于更新和语义问题的其他语言。
第5章研究了知识库的进化以及自我更新。自更新特性对所提出的理论非常重要。Leite介绍了进化知识库(EKB)的一个重要概念。EKB可以进行外部更新,但也可以通过其内部指定的行为进行自我进化。语言KABUL(知识和行为更新语言)允许指定EKB的两个功能(外部更新和自我更新)。
第6章研究了MDyLoP及其语义(声明式和转换式)、属性、示例和应用。在下一章中,KABUL被扩展到MDyLoP的情况。最后两章讨论了示例和未来的研究方向。

MSC公司:

68T27型 人工智能中的逻辑
68立方英尺 知识表示
68N17号 逻辑编程
68-02 与计算机科学有关的研究展览会(专著、调查文章)

软件:

LUPS公司
PDF格式BibTeX公司 XML格式引用