人工智能 1知识的表示

知识是智能的基础

1.知识的概念：在长期的生活及社会实践中，在科学研究及实验中积累的对客观世界的认识与经验

    知识：把有关信息关联在一起所形成的的信息结构

    知识反映了客观世界中事物之间的关系，不同事物或相同事物间的不同关系形成了不同的知识

          例：雪是白色的 -事实

          如果头痛且流鼻涕，则有可能患感冒 --规则

2.知识的特性

   1.相对正确性：任何知识都是在一定的条件及环境下产生的，在这种条件及环境下才是正确的 例1+1=2在十进制下是正确的

   2.不确定性：知识状态：真假和中间状态  

1. 随机性引起的不确定性：抛硬币 但是结果是确定的
2. 模糊性引起的不确定性：张三很高 边界不清楚
3. 经验引起的不确定性：前十次的经验不一定适用于第十一次
4. 不完全性引起的不确定性：对火星感兴趣，但是我们不了解

   3.可表示性与可利用性：可表示知识可以用语言文字等表示出来，可利用性

知识的表示：将人类知识形式化或模块化   

 知识的表示是对知识的一种描述，或者说一组约定，一种计算机可以接受的用于描述知识的数据结构

   选择知识表示方法的原则

1. 充分表示领域知识
2. 有利于对知识的利用
3. 便于对知识的组织维护与管理
4. 便于理解与实现

一阶谓词逻辑

命题逻辑

   命题概念：一个非真既假的陈述句

    命题的意义为真则称他的真值为真，假同理  一种命题在一种条件下为真，在一种条件下为假

    命题逻辑：研究命题与命题之间关系的一种逻辑系统

    命题逻辑表示法：无法把它所描述的事物的结构及逻辑结构特征反映出来，也不能把不同事物的共同特征表示出来

谓词

1. 个体是常量：一个或者一组指定的个体

     2.个体是变量（变元）：没有指定的一个或一组个体 x是个体变元，真值取决于变元的值  例如：

     3. 个体是函数，：一个个体到另一个个体的映射 例：

     4.个体是谓词：

     连接词

量词

（转自牛客网回答）

• 全称量词是一元运算子，其辖域（作用范围）是紧跟其后的一对括号元内的部分。
• 对应的二元运算子的辖域是左右两个表达式.它们的左辖域是与其紧相邻的左面一对括号内的部分，它们的右辖域是与其紧相邻的右面一对括号内的部分.

 

A: 全称量词的辖域是P(x)Q(x),存在量词的辖域是R(x).
前三个x是约束变元,受全称量词所辖.
中间两个x是约束变元,受存在量词所辖.
最后一个是x是*变元