本课程是一门专业选修课，介绍了人工智能原理的基本内容，包括自动推理、知识表示、机器学习和自然语言理解等四个部分。依次讨论了归结方法，不确定推理方法、非单调推理方法、定性推理方法，知识表示方法，机器学习的基本概念以及由实例和基于解释的学习方法。