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

摘要提案：CNS 0454066PI: 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.