人工智能导论：10逻辑与推理中的谓词逻辑｜AI入门必学课程

[视频作者] 浙江大学吴飞老师

[视频时长] 15:45

[视频类型] 计算机技术

本章节将继续给大家讲述逻辑与推理中的另一个重要知识点：谓词逻辑，谓词逻辑是指将原子命题细化，分解出个体、谓词和量词来表示个体与总体的内在联系和数量关系。个体是指所研究领域中可以独立存在的具体或者抽象概念，谓词是用来刻画个体属性或者描述个体之间关系存在性的元素，量词分为全称量词和存在量词，根据全称量词和存在量词的变量符号构成约束变元和自由变元。