0 知识
啥是知识啊
知识的属性
知识表示
- 知识表示的过程
Basic Methodologies 主要知识表示方法
1 State Space Representation 状态空间表示
1.1 状态问题描述
1.1.1 月历魔柱
1.1.2 8 Puzzle Problem (8数码难题)
1.1.3 15 Puzzle Problem (15数码难题)
1.2 Graph Notion of State 状态图示法
Example 1 – Route Planning 例1 路线规划
Example 2 – Monkey & Banana 例2 猴子与香蕉问题
Example 3 Missionaries& Cannibals
- 状态及其表示
- 状态的转换
- 传教士野人问题状态空间图
2 Problem Reduction 问题归约法
Working Mechanism-Reduction 变换机理归约
2.2 AND/OR Graph Representation 与或图表示
某些术语
- AND/OR Graph Representation 3圆盘问题注意数据结构
- AND/OR Graph Representation 4圆盘问题
- 小结
3 Predicate Logic(谓词逻辑法)
3.1 Predicate Calculus谓词演算
1. 语法和语义 (Syntax and Semantics)
2. 连词和量词(Connectives & Quantifiers)
3.2 Predicate Formula (谓词公式)
3.3. Substitution and Unification 置换与合一
1 命题逻辑
无法刻画个体之间的关系
因此有了谓词逻辑
2 谓词逻辑
二阶谓词不讨论
3 一阶谓词逻辑知识表示方法
一阶谓词逻辑特点
不能表示不确定的知识,会产生组合爆炸
4 Semantic Network Representation 语义网络法
4.1 Representation of Two-Element Semantic Network (二元语义网络的表示)
- 谓词逻辑与语义网络等效
4.2 Representation of Multi-Element Semantic Network(多元语义网络的表示)
- Essence of Multi-element Semantic Network (多元语义网络表示的实质)
把多元关系转化为一组二元关系的组合或二元关系的合取
4.3 Inference Processv
Inheritance继承
Three methods for inheritance
- 值继承 is-a, AKO(a kind of)
- 如果 需要”继承if-needed (it can not inherit from the ancestorswe get it from other programs )
- 缺省继承Default—it is mostly the truth
Exp: the birds can fly
Matching(匹配)
当涉及由几个部分组成的事物时必须考虑值的传递问题。
Example 1
Use semantic networks to represent the followings: