Computational Aspects of Cognitive Science Focus Area: Human Computation

我们建议在康奈尔大学计算机科学和认知科学的交汇处创建一个新颖的博士前培训项目。虽然这个界面最近挤满了“模糊工程”方法，通常被认为是人工智能（常识推理，神经网络等），但我们计划将重点放在“形式科学”方面，包括计算和推理过程的形式化建模，人机界面和计算机科学教育研究，视觉和机器人，学习理论和智能信息检索。我们认为1。计算机科学和认知科学这两个学科都将从这样的项目中受益。康奈尔大学非常适合这样的项目。事实上，我们希望所提出的程序将作为一个模型，说明工程领域和文科领域如何相互利用，并最终导致(1)更关注人类用户的工程技术和(2)对人类思维过程的更好的正式理解。首先，我们提出了几个具体的、有前景的研究方向。每个模块都是具体的，因为至少有一名博士生或教师对该主题感兴趣；每个模块都很有希望，因为进展将取决于并推进两个参与学科。其次，我们简要地描述了康奈尔大学目前的基础设施，并提出了拟议项目的结构。第三，我们提出一个招聘计划，第四，我们证明资金的必要性。

We propose to create a novel predoctoral training program at the interface of Computer Science and Cognitive Science at Cornell University. While this interface has been crowded lately with "fuzzy-engineering" approaches typically identified as Artificial Intelligence (common-sense reasoning, neural nets, etc.), we plan to focus, instead, on "formal-scientific" aspects, including the formal modeling of computational and inference processes, computer- human interface and computer science education studies, vision and robotics, learning theory, and intelligent information retrieval. We argue that 1. both disciplines, Computer Science and Cognitive Science, will benefit from such a program, and 2. Cornell is uniquely suited to accommodate such a program. Indeed, we hope that the proposed program would serve as a model of how and engineering field and a liberal-arts field can leverage each other and ultimately lead to both (1) engineering artifices that pay more attention to the human user and (2) a better formal understanding of human thought process The proposal is organized in four parts. First, we present several con=crete and promising research directions. Each module is concrete in that at least one current doctoral student or faculty member is interested in pursuing the topic; each module is promising in that progress will depend on and advance both participating disciplines. Second, we briefly portray the current infrastructure at Cornell and we present the structure of the proposed program. Third, we present a plan for recruiting and, fourth, we justify the need for funding.