Inductive Inference and other topics in the Foundations of Computing (Computer and Information Science)

归纳推理和计算基础中的其他主题（计算机和信息科学）

• 批准号: 8701104
• 负责人: Carl Smith
• 金额: $ 9.97万
• 依托单位: University of Maryland, College Park
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-07-01 至 1991-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8701104&HistoricalAwards=false
• 关键词: Inductive; Inference; other; topics; Foundations

This project is for basic research in the foundations of computing. The major emphasis is in the area of inductive inference, the capabilities and limitations of computers to learn by example. Several problems dealing with multiple machine inference, probabilistic inference, and the complexity of inference will be studied. The problem of inductive inference is related to the problem of program testing. The continued exportation of ideas and techniques from the field of inductive inference to applications concerning the testing of programs will be a main focus of this research. Other problems under study include foundational issues concerning data flow architectures and implementations of applicative programming languages. Issues and problems concerning abstract complexity theory have come out of the preliminary work of a previous NSF project. The fundamental problem addressed in this research is to classify and otherwise delimit the space of complexity measures that apply to a given programming system.

该项目是为基础的基础研究， 计算的 主要的重点是在归纳领域 推理，计算机学习的能力和局限性 以身作则 多机处理的几个问题 推理，概率推理，以及 将研究推理。 归纳推理的问题是 这与程序测试的问题有关。 继续 从归纳领域输出思想和技术 关于程序测试的应用推理将 成为这项研究的重点。 正在研究的其他问题包括基础问题 关于数据流体系结构和 应用程序设计语言。 问题和难题 关于抽象复杂性理论的研究 这是一个以前的NSF项目的初步工作。根本 在这项研究中解决的问题是分类，否则 界定适用于给定的复杂性度量的空间， 编程系统