高级人工智能逻辑.pptVIP

Prolog的执行方式 搜索：在程序中自上而下地搜索事实和规则； 匹配：将目标中的项与事实和规则进行匹配； 回溯：当目标中一项失败时，如果目标中有已经成功的的项(应在失败项的左边)，那末就重新调用这些成功项中最右边的一个，谋求新的成功。 第三十一页，共七十七页。 Prolog的基本特点 Horn子句逻辑是Prolog的基础。 Prolog既是一种逻辑程序设计语言，又是一个逻辑系统。 Prolog是一种描述性语言，它是一种面向问题的语言，你只需要告诉它要做什么，即给出问题的形式描述，而不需要知道应该如何做。 Prolog完全依靠匹配、回溯来进行搜索。Prolog的求解过程是一个寻求否证的消解过程。 Prolog也使用元语言种的谓词，有很强的描述能力。 Prolog采用统一的数据结构——项，它包含控制成分，且有专门进行数值计算和符号处理的模块。 第三十二页，共七十七页。 逻辑程序设计 PROLOG B ? A1, …, An B ? ? ? A1, …, An 第三十三页，共七十七页。 单调逻辑 在现有知识的基础上，通过严密的逻辑论证和推理获得的新知识必须与已有的知识相一致。 A，A?B ?B 推理系统的定理集合随着推理过程的进行而单调地增大。 单调性： (1) ? ∈ Th(? ) (2) 若 ?1 ? ?2 ，则T