《人工智能基础》课程介绍

人工智能主要是研究解释和模拟人类智能、智能行为及其规律的一门学科，其主要任务是建立智能信息处理理论，进而设计可以展现某些近似于人类智能行为的计算机系统。本课程要求学生掌握人工智能的基本原理，了解人工智能中常用的基本技术，诸如：知识表示技术、搜索技术、高级搜索技术等问题

本门课程的学习内容，主要以宏观人工智能为基础，讲授符号主义人工智能的基本原理与方法。使本科生能够了解基于产生式系统的知识表示方法和基于逻辑的知识表示方法，在此基础上，了解产生式系统表示下的适用于机器的基本搜索理论、方法和技术；了解基于命题逻辑和一阶逻辑的适合于机器推理的归结推理理论、方法和技术。

本课程第三学年第二学期开设，计划学时32，先修课为：离散数学，数据结构，程序设计基础，算法分析与设计等。

Course Introduction of Artificial Intelligence

Artificial intelligence is a subject to deal with human intelligence, intelligent behavior and regular pattern, including study, interpretation and simulation. Its main task is to establish a theory of intelligent information processing, and then to design a computer system which can show some intelligent behavior similar to human. This course requires student to master the basic principles of artificial intelligence and get to know its basic techniques such as knowledge representation, search and advanced search technology.

The content of this course contains the basic principle and method of symbolic artificial intelligence based on macro artificial, whose purpose is to make undergraduate student understand the knowledge representation method based on production system and logic. What’s more, understanding the basic search theory, method and technology which is suitable for machine under the representation of production system is also required. Additionally, the resolution reasoning theory, method and technology suitable for machine reasoning based on both propositional logic and first-order logic need be understood.

This course is open in the second semester of the third year and plan to allocate 32 class hours. Its prerequisite course includes other courses such as discrete mathematics, data structure, basic program design and algorithm analysis and design.