人工智能语言—Prolog.pptVIP

高级人工智能 人工智能语言—Prolog 概述 归结原理 Horn子句 Prolog语言及其基本结构 Prolog语言的基本文法 归结原理 例： C1 = ?P∨Q∨R C2 = P∨Q 则C1与C2归结后的结果为：Q∨R 若子句集S能导出空子句 ? (有否证)，则称S 是不可满足的。 反证法： S ? A iff S ? ?A ? ? Horn逻辑 文字：原子公式(正文字)或原子公式的否定(负文字)。 P, Q, ?R 子句：若干文字的析取。?P∨Q∨R Horn子句： 子句L1∨L2∨… ∨Ln中如果至多只含一个正文字 Horn子句P∨ ?Q1∨ ?Q2∨…∨ ?Qn通常表示为： P ? Q1, Q2, …, Qn Prolog语言及其基本结构 Prolog是当代最有影响的人工智能语言之一，由于该语言很适合表达人的思维和推理规则，在自然语言理解、机器定理证明、专家系统等方面得到了广泛的应用，已经成为人工智能应用领域的强有力的开发语言。 现在的Prolog语言有许多版本 M-prolog, c-prolog, turbo-prolog, Visual-Prolog 它们的核心部分都是一样的 Prolog的基本语句有三种 事实、规则和目标 谓词表示，因而程序逻辑性强，文法简捷，清晰易懂 另一方面，Prolog是陈述性语言，一旦给它提交必要的事实和规则之后，Prolog就使用内部的演绎推理机制自动求解程序给定的目标，而不需要在程序中列出详细的求解步骤。 Prolog Prolog(Programming in logic)语言是以Horn子句逻辑为基础的高级程序设计语言。 1972年，法国马赛大学的Alain. Colmerauer提出了Prolog的雏型。 1975年，Prolog被用于问题求解系统。 此后，它在许多领域获得了应用，如关系数据库、定理证明、智能问题求解、计算机辅助设计、规划生成等领域。 Prolog的构成 事实：事实用来说明一个问题中已知的对象和它们之间的关系。在Prolog程序中，事实由谓词名及用括号括起来的一个或几个对象组成。谓词和对象可由用户自己定义 student(john) married(tom, mary) likes(bill，book) Prolog的构成 规则：规则由几个互相有依赖性的简单句（谓词）组成，用来描述事实之间的依赖关系。从形式上看，规则由左边表示结论的后件谓词和右边表示条件的前提谓词组成 B:- A “如果A则B” bird(X) :- animal(X)，has(X, feather) Prolog的构成 目标（问题）：关于对象性质或关系的询问。 ?— student(john) ?— married(mary，x) 人工智能语言—Prolog语言 * Horn子句的类型： ◆过程：P ? Q1, Q2, …, Qn ◆事实： P ? ◆目标： ? Q1, Q2, …, Qn ◆空子句： ? 例: ◆过程：AT(dog, x) ? AT(Zhang, x) ◆事实：AT(Zhang, train) ? ◆目标： ? AT(dog, train) 首先目标中过程调用AT(dog, train)与过程名AT(dog, x)匹配，作置换 {train/x}，合一。 其次，调用过程AT(Zhang, x)，从而产生新目标 ? T(Zhang, train)，与事实匹配，产生目标? 。因而调用成功，输出“True”。 Prolog语言的基本文法 Prolog语言的最基本语言成分是项(term) 项或者是常量，或者是变量，或者是一个结构。 常量：是指对象和对象之间的特定关系的名； 整数，如0，22，1586等； 原子，如John，student，likes，sister-of 变量：表示任意的对象 Prolog中变量可以用大写字母，下划线，以及由它们 开头的字符串。如X, Y, Answer, _value等。 结构：是常量和变量的序列，它由一个函子(函词 或谓词)和该函子的自变量所组成。如： likes(john, X) married(mary, jack)