《人工智能基礎》課程介紹
人工智能主要是研究解釋和模拟人類智能、智能行為及其規律的一門學科，其主要任務是建立智能資訊處理理論，進而設計可以展現某些近似于人類智能行為的計算機系統。本課程要求學生掌握人工智能的基本原理，了解人工智能中常用的基本技術，諸如：知識表示技術、搜尋技術、進階搜尋技術等問題
本門課程的學習内容，主要以宏觀人工智能為基礎，講授符号主義人工智能的基本原理與方法。使大學生能夠了解基于産生式系統的知識表示方法和基于邏輯的知識表示方法，在此基礎上，了解産生式系統表示下的适用于機器的基本搜尋理論、方法和技術；了解基于命題邏輯和一階邏輯的适合于機器推理的歸結推理理論、方法和技術。
本課程第三學年第二學期開設，計劃學時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.