人工智能语言—Prolog.pdfVIP

人工智能语言—Prolog语言 PPT模板集编辑说明 本模板文件只是整个模板集的一部分，包含各种风格和用途，后面 也会一直陆陆续续的更新，这是模板适合多个场合，按照需要获取， 使用灵活方便，排版及各个字体限制已经设置好，可以直接使用也 可以自动以使用 最新文档选集 1 人工智能语言—Prolog语言 人工智能语言—Prolog n 概述 n 归结原理 n Horn子句 n Prolog语言及其基本结构 n Prolog语言的基本文法 最新文档选集 2 人工智能语言—Prolog语言 归结原理 P , P  Q P , P  Q Q Q 例： C ¬P ∨Q∨R C P ∨Q 1 2 则C 与C 归结后的结果为：Q∨R 1 2 若子句集S 能导出空子句 ⊓ (有否证) ，则称 S 是不可满足的。 反证法： S ⊢ A iff S  ¬A ⊢ ⊓ 最新文档选集 3 人工智能语言—Prolog语言 Horn逻辑 n 文字：原子公式(正文字)或原子公式的否定(负文字) 。 P, Q, ¬R n 子句：若干文字的析取。¬P ∨Q∨R n Horn子句： 子句L ∨L ∨… ∨L 中如果至多只含一个正文字 1 2 n Horn子句P ∨ ¬Q ∨ ¬Q ∨…∨ ¬Q 通常表示为： 1 2 n P  Q , Q , …, Q 1 2 n 最新文档选集 4 人工智能语言—Prolog语言 Horn子句的类型： ◆过程：P  Q , Q , …, Q 1 2 n ◆事实： P  ◆目标：  Q , Q , …, Q 1 2 n ◆空子句： ⊓ 最新文档选集 5 人工智能语言—Prolog语言 例: ◆过程：AT(dog, x)  AT(Zhang, x)