人工智能学科体系.pptxVIP

2025/7/11人工智能学科体系的层次人工智能理论基础数学基础:数理逻辑，计算的数学理论，离散数学,模糊数学思维科学理论:认知心理学,逻辑或抽象思维学,形象或直感思维学计算机工程技术:硬件,软件技术人工智能原理知识的表达,知识的处理,知识的获取与学习,利用知识求解问题人工智能工程系统专家咨询系统,专家系统开发工具与环境,自然语言理解系统,图像理解与识别系统,智能机器人系统人工智能学科体系#2022

2025/7/12数理逻辑数理逻辑：用数学方法来研究推理的形式结构和推理规律的数学学科与数学其它分支、计算机科学、AI、语言学有密切的联系数理逻辑的内容逻辑演算命题逻辑谓词逻辑证明论公理集合论递归论模型论

2025/7/131提纲命题逻辑:客观世界的各种事实一阶谓词逻辑：逻辑论证的符号化，能够表示复杂的问题（具有较强的表达能力）

2025/7/14用形式逻辑（尤其是一阶谓词逻辑）表示知识是AI研究中提出使用的一种普遍方法。命题逻辑和谓词逻辑是最先应用于人工智能的两种逻辑，谓词逻辑是在命题逻辑基础上发展起来的，命题逻辑可以看作是谓词逻辑的一种特殊形式。

2025/7/15命题定义：能够判断真假的陈述句真值真：正确的判断;真值＝1,T假：错误的判断;真值＝0,F例子：2是素数雪是黑色的3能够被2整除地球以外的星球上也有人一、命题逻辑#2022

2025/7/16一些不是命题的句子X+y