CISE Research Resources: Parallel Logic and Constraint Programming, with Applications to Planning and Web Accessibility

EIA-0130887 Enrico Pontelli新墨西哥州州立大学逻辑、数据库和高级编程实验室计划购买现代计算设备，为并行和分布式计算以及自主代理的软件开发创建基础设施。所需设备包括四台奔腾三型共享内存机(每台有四个中央处理器)，以提供共享内存编程支持。这四台机器将使用快速千兆位以太网连接，为试验分布式内存编程创造了试验台。该项目还将涉及购买一套五个自主机器人。该设备将用于支持三个相互关联的项目的研究：(1)第一个项目的目标是开发技术，以支持从传统逻辑编程和约束编程语言中开发不同形式的并行性；(2)第二个项目开发能够处理不完整知识、动态域和感知行动的规划器的技术；(3)第三个项目的目标是开发技术，在基于Web的课程软件工程的背景下促进Web文档的可访问性。

EIA-0130887 Enrico PontelliNew Mexico State UniversityThe Laboratory for Logic, Databases, and Advanced Programming (LLDAP) plans to acquire modern computing equipment to create an infrastructure for parallel and distributed computing and for software development for autonomous agents. The equipment requested consists of four Pentium III shared memory machines (with four CPUs each) to provide shared memory programming support. The four machines will be connected using fast gigabit Ethernet, creating the testbed for experimenting with distributed memory programming. The Project will also involve the acquisition of a setof five autonomous robots. The equipment will be used to support research in three inter-related projects: (1) The goal of the first project is to pursue the development of technology to support exploitation of different forms of parallelism from traditional logic programming and from constraint programming languages, (2) The second project develops technology for the creation of planners capable of dealing with incomplete knowledge, dynamic domains, and sensing actions, (3) The goal of the third project is to develop technology to promote accessibility of Web documents in the context of Web-based course-ware engineering.