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

新墨西哥州立大学逻辑、数据库和高级编程实验室（LLDAP）计划购买现代计算设备，为并行和分布式计算以及自主代理的软件开发创建基础设施。所要求的设备包括四台奔腾III共享内存机器（每台有四个cpu），以提供共享内存编程支持。这四台机器将通过快速千兆以太网连接起来，为实验分布式内存编程创建一个测试平台。该项目还将包括购置一套5台自主机器人。该设备将用于支持三个相互关联的项目的研究：(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.