Computing support for research in knowledge representation and reasoning

这项RTI拨款申请是为了支持三位申请人的研究计算需求，他们都是多伦多大学知识表示小组的成员。在我们之间，我们目前指导18名研究生（13名博士和5名硕士），设备也必须支持他们的研究需求。我们现有的计算设施，无论是单独的平台，还是共享的计算资源，都急需更新和升级。特别是，我们需要替换学生的桌面计算环境，并获得我们研究所需的计算服务器和高性能磁盘存储资源。我们的学生桌面设备已经达到了一个维护成本不再具有成本效益的时代，并且由于缺乏计算资源，它们的研究越来越受到限制。我们的团队从事各种各样的研究，其中许多研究具有重大的实际影响潜力。我们被广泛认为在许多研究领域处于世界领先地位。然而，我们的许多研究需要大量的计算资源来进行实证评估，我们目前的计算环境已经达到了一个阶段，现在它是我们研究进展的一个重大障碍。这项拨款如果成功，将使我们的环境恢复到可以更充分地促进我们的研究的水平。

This RTI grant application is for equipment to support the research computing needs of the three applicants, who are all members of the Knowledge Representation Group at the University of Toronto. Between us we are currently supervising 18 graduate students (13 PhD and 5 MSc), and the equiptment has to support their research needs as well. Our current computational facilities, both individual platforms as well as shared computational resources, are in serious need of replacement and upgrading. In particular, we need to replace our students' desktop computing environments, and to obtain compute server and high performance disk storage resources needed for our research. Our student desktop equipment has reached an age where maintenance costs are no longer cost effective, and their research has been increasingly limited by a lack of compute resources. Our group engages in a wide variety of research, much of which has significant potential for practical impact. We are widely acknowledged as being world-leaders in a number of research areas. However, much of our research requires significant computational resources to perform empirical evaluations, and our current computing environment has reached a stage where it is now an significant impediment to our research progress. This grant, if successful, will bring our environment back up to the level it can more fully facilitate our research.