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.