An Efficient Linear Language for Parallel Symbolic Processing

一种用于并行符号处理的高效线性语言

• 批准号: 9261682
• 负责人: Henry Baker
• 金额: $ 5万
• 依托单位: Nimble Computer Corporation
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-01-01 至 1993-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9261682&HistoricalAwards=false
• 关键词: Efficient; Linear; Language; Parallel; Symbolic

Next-generation intelligent systems and robots will require the power of parallel computer, yet most novel parallel languages are geared primarily for numerical calculation--e.g., signal processing--in which the data values are elementary numerical samples. These models of computation fail miserably for calculations involving the highly-structured symbolic data required for artificial intelligence application. A "linear" language provides an elegant and intuitive "mechanical" model of parallel computation in which structured values are transmitted as simply as elementary values. These "linear" data structures retain the ability to transmit highly structured information, yet avoid the problems of aliasing and sharing. The efficiency of existing linear language promising new implementation techniques. In Phase I, we will investigate the ability of our novel implementation approach to provide most of the efficiency of nonlinear shared data structures while preserving the elegant linear data model. If successful, our Phase II implementation of a parallel linear language will provide efficient execution, together with an elegant and intuitive programming model. This combination should increase the productivity of software development for intelligent applications utilizing MIMD parallel computers.//

下一代智能系统和机器人将需要 并行计算机的力量，但大多数新颖的并行语言 主要用于数值计算--例如，信号 处理-其中数据值是基本数值 样品 这些计算模型失败得很惨， 涉及所需高度结构化符号数据的计算 用于人工智能应用。 “线性”语言 提供了一个优雅而直观的并行“机械”模型， 计算，其中结构化的值被简单地传输， 基本价值观 这些“线性”数据结构保留了 能够传输高度结构化的信息，但避免 别名和共享的问题。 现有的效率 线性语言有前途的新的实现技术。 在第一阶段，我们将研究我们的小说 实施方法，以提供大部分的效率， 非线性共享数据结构，同时保持优雅的 线性数据模型 如果成功，我们的第二阶段实施 并行线性语言将提供有效的执行， 以及优雅直观的编程模型。 这 结合应该提高软件的生产力 利用MIMD并行技术的智能应用开发 计算机。//