“如果A则B”
bird(x) :— animal(x),has(x, feather)
• 问题:关于对象性质或关系的询问。
?— student(john)
?— married(mary,x)
2020/8/17
史忠植 高级人工智能
26
Prolog语言的基本文法
Prolog语言的最基本语言成分是项(term),一个 项或者是常量,或者是变量,或者是一个结构。 • 常量:是指对象和对象之间的特定关系的名;
2020/8/17
史忠植 高级人工智能
3
逻辑的历史
• Aristotle——逻辑学 • Leibnitz——数理逻辑 • Gottlob Frege (1848-1925)——一阶谓词演
算系统,《符号论》 • 20世纪30年代,数理逻辑广泛发展
2020/8/17
史忠植 高级人工智能
4
重要的形式工具──逻辑
一个逻辑是可靠的,如果它的证明保持真假值,
即在任何解释I下,如果I是 的模型,且可由推导 出,则I也是的一个模型。即,一个逻辑是可靠的, 如果对任何语句集合和语句 , ⊢蕴涵 ⊨ 。
完备性(complete)
一个逻辑是完备的,如果任何永真语句是可证的。
即,对任何语句集合和语句 , ⊨蕴涵 ⊢ 。
如果一个逻辑是完备的,则该逻辑的证明系统已强到
I是L的一个解释,且在I中为真,则记为 I ⊨ ,称作I满足 ,或者I 是的一个模型。
和一个语句 ,如果对 每个解释I ,有I ⊨ 蕴含I ⊨ ,换言之,如果I 是 的一个模型则I也是的一个模型,则记为 ⊨ ,我 们称为的一个逻辑结果。
2020/8/17
史忠植 高级人工智能