思考题：

2.1 什么是知识?它有哪些特性?有哪几种分类方法?

• 定义：知识是人类对客观事物的认识与信息积累，包括事实、技能、规则、理论等内容。
• 特性：
  • 动态性：知识随时间、科学技术发展而更新。
  • 可传递性：知识可以被传播和共享。
  • 系统性：知识通常是结构化的，具有内在逻辑关系。
  • 累积性：知识在使用和传递中得以丰富和扩展。
• 分类方法：
  • 按表现形式：显性知识（书面、公式）与隐性知识（经验、技能）。
  • 按学科：自然科学、社会科学等。
  • 按层次：事实知识、程序知识、策略知识。

2.2 什么是知识表示?如何选择知识表示方法?

• 定义：知识表示是用符号或数据结构将知识以便于存储、处理和推理的形式表达出来。
• 方法选择：
  • 知识类型：结构化知识适合逻辑表示；经验性知识可用概率或规则表示。
  • 复杂度：简单问题用规则表示，复杂系统用框架、语义网。
  • 推理需求：基于不同推理方式（如演绎、归纳）选择适合的表示方法。

2.3 什么是命题?请写出三个真值为T及真值为F的命题。

• 定义：命题是可以判断真假的语句。
• 示例：
  • 真值为 T 的命题：
    1. 太阳从东边升起。
    2. 水在0℃以下结冰。
    3. 地球绕着太阳转。
  • 真值为 F 的命题：
    1. 太阳从西边升起。
    2. 2 + 1 = 5。
    3. 太阳绕着地球转。

2.4 什么是谓词?什么是谓词个体及个体域?函数与谓词的区别是什么?

• 谓词：用来描述对象的属性或关系的逻辑表达式。
• 个体：谓词中涉及的具体对象。
• 个体域：所有可能取值的集合。
• 函数与谓词的区别：
  • 函数：定义输入与输出关系，如 f(x)=x^2。
  • 谓词：判断关系或属性是否成立，如 P(x) 表示 x 是否为质数。

2.5 谓词逻辑和命题逻辑的关系如何?有何异同?

异同点：

• 相同：两者都是形式逻辑，用于表达和推理。
• 不同：
  • 命题逻辑以整体为单位，不能深入分析内部结构。
  • 谓词逻辑包含个体变量与量词（全称量词、存在量词），更细致。