REU: Computer Science Institute

北方密歇根大学的REU计算机科学项目将 由两个不同但相关的轨道组成，研究项目在 马丁启发式搜索与逻辑研究计划 由Don Faust指导的编程和编程环境。 在为期八周的项目开始之前，每个学生都将 期望他或她熟悉基本的 启发式搜索或逻辑编程的想法，取决于 在他们参与的项目的轨道上。 在 启发式搜索这将是尼尔斯的前三章 尼尔森的《人工智能原理》和《朱迪亚》第一部分 Pearl的《启发式：计算机智能搜索策略》 问题解决”，在逻辑编程中将包括 尼尔森《人工智能原理》第4、5、6章 “或一阶谓词演算的一些标准处理 《逻辑编程基础》（Foundation of Logic Programming） 不迟于第三周的开始，每个学生，在 启发式搜索组或逻辑编程， 编程环境组，将开始在一个特定的工作， 研究项目。 项目负责人会鼓励，但不会坚持， 学生们以两三人为一组共同完成项目。

The REU Computer Science Project at Northern Michigan University will be comprised of two distinct but related tracks, research projects in heuristic search directed by Hal Martin and research projects in logic programming and programming environments directed by Don Faust. Before the beginning of the eight week project, each student will be expected to have familiarized himself or herself with the fundamental ideas of either heuristic search or of logic programming, depending upon the track of the program in which they are participating. In heuristic search this will be the first three chapters of Nils Nilsson's "Principles of Artificial Intelligence" and Part 1 of Judea Pearl's "Heuristics: Intelligent Search Strategies for Computer Problem Solving", and in logic programming will consist of either Chapters 4, 5 and 6 of Nilsson's "Principles of Artificial Intelligence " or some standard treatment of the first-order predicate calculus together "Foundation of Logic Programming". By no later than the beginning of the third week each student, in either the heuristic search group or the logic programming and programming environment group, will have begun work on a particular research project. Project leaders will encourage, but not insist upon, students working jointly on projects in teams of two or three.