•知识 知识表示:符号结构+处理机制 人工智能的前提是要把知识表示给计算机理解和处理。知识转化为便于计算机搜索获取推理的数据结构。
命题：一定条件下可以判断真假的描述。1+1=10二进制正确，十进制错误。/北京是中国首都。
•谓词逻辑表示法
要学会把一段描述熟练的转化为谓词逻辑。
定义谓词，用连接词或量词连接谓词构成谓词逻辑=公式。
步骤：定义谓词和个体确切含义，给变元赋值，用连词连接
5个连词: ﹁否定 ∧合取 ∨析取
→蕴含 假的蕴含真的推出真的 如果，，那么
等价 相同为真 当且仅当
量词:全称量词 存在量词
谓词:常量，变量
谓词的阶，一阶谓词，个体域 ，谓词的项，几个项就是几元 没有变量或函数的谓词是命题。函数变量要小写。
解释：赋值
谓词逻辑表示：
事实性知识例子：计算机系张三喜欢编程
computer（张三）∧like（张三，program）
规则性知识
✪课堂例题：武汉是美的城市，但不是沿海城市
如果马良是男孩张红是女孩，那么马良比张红高
1定义谓词BCity（x）：x是个美的城市
YCity（x）:x是沿海城市
Boy（x）:X是男孩
Girl（x）:x是女孩
图片发自简书App
例题2:
所有学生都穿彩色制服
任何整数或者为正数或者为负数
自然数都是大于零的整数
1.定义谓词
S（x）:x是学生 U（x,y）:x穿y I（x）:x是整数P（x）:x是正数 Q（x）:x是负数 N（x）:x是自然数 L（x）:x大于零
2.用量词连词连接谓词
图片发自简书App
