CRI: Computing Support for the Next Generation Application-driven Declarative Programming Systems

摘要建议：CNS 0454066 PI：Enrico Pontelli机构：新墨西哥州州立大学计划：NSF 04-588 CISE计算研究结构标题：CRI：CRI：计算支持下一代应用程序驱动的声明式编程系统PI将获得一个Beowulf集群，以支持逻辑编程的研究，特别是回答集编程（ASP）的新努力。ASP解决了传统逻辑编程中不存在的约束编程和非单调推理的需求。这些需求出现在世界的情况下，其中世界的知识发生变化，使得先前的真语句变为假-违反传统逻辑编程的单调特性。进行的研究将包括研究可扩展和透明的方法，以利用并行，研究在复杂的环境中的推理，如那些表达感测和驱动或动作与时间限制，以及开发一个特定领域的工作台，以支持设计数据为导向的进化生物学过程，如系统发育推理。该基础设施将支持新墨西哥州州立大学的研究和教育，这是一所少数民族服务机构。

AbstractProposal: CNS 0454066PI: Enrico PontelliInstitution: New Mexico State University Program: NSF 04-588 CISE Computing Research InfrastructureTitle: CRI: CRI: Computing Support for the Next Generation Application-driven Declarative Programming Systems The PI's will acquire a Beowulf cluster to support research in Logic Programming, particular a new effort in Answer Set Programming (ASP). ASP addresses needs for constraint programming and non-monotonic reasoning that are not present in traditional logic programming. These needs arise in world situations in which knowledge of the world changes such that prior true statements become false - violating monotonic properties of traditional logic programming. The research to be performed will include research on scalable and transparent methods to exploit parallelism, research on reasoning in complex environments such as those expressing sensing and actuation or actions with time constraints, and development of a domain specific workbench to support the design data oriented processes in evolutionary biology, such as phylogenetic inference. The infrastructure will support research and education at New Mexico State University, a minority serving institution.