谓词逻辑与归结原理的一些概念题 答案均取自网络或是书本的理解修改整理 什么是合取范式和析取范式？ 合取范式：仅由有限个简单析取式构成的合取式称为合取范式，即单元子句、单元子句的或的与 析取范式：仅由有限个简单析取式构成的析取式称为析取范式，即单元子句、单元子句的与的或 关于判断的话，简单 ...

绪论 1956年正式提出人工智能（artificial intelligence, AI）这个术语并把它作为一门新兴科学的名称。 20世纪三大科学技术成就：1、空间技术 2、原子能技术 3、人工智能 智能的概念： 自然界四大奥秘：物质的本质、宇宙的起源、生命的本质、智能 ...

人工智能导论 1、概论 　　1.1人工智能介绍 　　　　①人工智能1956年诞生；1997年IBM公司研发的深蓝超级计算机国际象棋世界冠军卡斯帕罗夫；2017年阿尔法狗击败中国世界围棋冠军柯洁 　　　　②人工智能的三步走战略：同步（2020）、突破（2025）、领先（2030 ...

人工智能导论复习题 人工智能导论复习题 第一章 绪论 1.智能是（ ）和（ ）的总和。 正确答案：(1) 知识，智力 2.（ ）是一切智能行为的基础 正确答案：(1) 知识 3.（ ）是获取知识并应用知识求解问题的能力。 正确答案：(1) 智力 4.智能的特征 ...

https://www.ryjiaoyu.com/book/details/9182 https://www.icourse163.org/course/HRBEU-1458453162 ...

目前对人工智能研究影响较大的的学派主要有符号主义、联结主义和行为主义这三大学派。 　　(1)符号主义(symbolicism)，又称为逻辑主义(logicism)、心理学派(psychologism)或计算机学派(computerism)，其原理主要为物理符号系统(即符号操作系统)假设和有限 ...

一、一阶谓词逻辑 1、谓词、函数、量词 设a1, a2, …, an表示个体对象, A表示它们的属性、状态或关系, 则表达式 在谓词逻辑中就表示一个(原子)命题。 例如, (1) 素数(2), 就表示命题“2是个素数”。 　 (2) 好朋友(张三, 李四 ...

人工智能导论基础概念提纲 *Google的围棋机器人至今已发展有四代，分别是哪四代?* AlphaGo； AlphaGo-Master； AlphaGo-Zero； AlphaZero。 *AlphaGo是一款什么程序？* AlphaGo是由谷歌旗下的的一款基于人工智能的围棋 ...