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

CISE 研究资源：并行逻辑和约束编程，以及规划和 Web 可访问性的应用

• 批准号: 0130887
• 负责人: Enrico Pontelli
• 金额: $ 4.34万
• 依托单位: New Mexico State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-09-15 至 2003-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0130887&HistoricalAwards=false
• 关键词: CISE; Research; Resources; Parallel; Logic

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.

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