第五讲经典人工智能技术—知识表示、推理与搜索77.pptxVIP

;;;;;;;;;;;;;;;;;;;;;;;;Terms（项） 一个常量是项 一个变量是项 如果f是一个n元函数符号，t1,t2,...,tn是项，则f(t1,t2,...,tn)也是项 所有项都是由规则(a)(b)(c)产生的 Atoms（原子公式 ） 如果P是一个n元谓词符号，t1,t2,...,tn是项，则P(t1,t2,...,tn) 是一个原子公式，其他任何表达式都不是原子公式 ;WFF（合适公式） An atom is WFF 如果F和G是WFF，则~F，F∧G，F∨G，F→G，F≡G都是WFF 如果F是WFF，x是自由变量则(?x)F，(?x)F都是WFF WFF仅由有限次使用规则(a)(b)(c)产生。 ;[例] man(smith) smith是人 between(albert, susan, david) albert在susan与david之间 (?x)(man(x)→mortal(x)) 人都会死 (?x)(man(x)∧clever(x)) 有的人聪明 ;;;;;;;;相关概念 文字：原子公式及其否定统称为文字 子句集 (1)子句定义 任何文字的析取式称为子句 不包含任何文字的子句称为空子句（空子句是永假的） 由子句构成的集合称为子句集 例：{