22、人工智能中的推理与学习

人工智能中的推理与学习

1. 基础概念

1.1 逻辑关系与量词

• 主语关系 ：在陈述中，主语是将两个原子结合在一起的关系。
• 存在量词 ：在存在量词中，使用“与”（AND）或合取符号（∧）作为主要连接词。
• 自由变量 ：自由变量出现在量词的作用域内。
• 全称实例化 ：全称实例化是一阶逻辑中的一条推理规则，只能应用一次来替换存在性语句。
• 合一过程 ：如果同一表达式中存在两个相似的变量，合一过程将失败。
• 确定子句 ：一个子句是文字的析取，且最多有一个正文字，则称为确定子句。
• 前向链接 ：前向链接可用于得出多个结论。

1.2 选择题相关概念

序号	问题	答案
1	_ 代表现实世界中发生的行动的信息和事实。	Events
2