REU: Computer Science Institute

北密歇根大学的REU计算机科学项目将由两个不同但相关的轨道组成，由Hal Martin指导的启发式搜索研究项目和由Don Faust指导的逻辑编程和编程环境研究项目。在为期八周的项目开始之前，每个学生都应该熟悉启发式搜索或逻辑编程的基本思想，这取决于他们所参与的项目的轨迹。在启发式搜索中，这将是尼尔斯·尼尔森《人工智能原理》的前三章，朱迪亚·珀尔的《启发式：计算机问题解决的智能搜索策略》的第一部分，而在逻辑编程中，这将由尼尔森《人工智能原理》的第4章、第5章和第6章组成，或者是对一阶谓词演算的一些标准处理，以及《逻辑编程的基础》。在不晚于第三周开始之前，启发式搜索组或逻辑编程和编程环境组的每个学生都将开始进行特定研究项目的工作。项目负责人将鼓励，但不是坚持，学生们以两人或三人为一组，共同完成项目。

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.