Logic, Computational Complexity and Rule Based Systems

逻辑、计算复杂性和基于规则的系统

• 批准号: 8703086
• 负责人: Ken McAloon
• 金额: $ 15万
• 依托单位: CUNY Brooklyn College
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-07-15 至 1990-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8703086&HistoricalAwards=false
• 关键词: Logic; Computational; Complexity; Rule; Based

This project concerns three areas of research that deal with particular kinds of rule based systems: (1) logic programming, (2) stratification and knowledge base management, and (3) Petri nets and vector addition systems. In area (1) several problems are being investigated that deal with the analysis of fundamental algorithms of unification & generalization and semantic & recursion theoretic issues for Prolog and extensions such as Constraint Logic Programming. In area (2), the PI is seeking applications of the notion of stratification to rule based systems whose semantics are those of propositional logic. Intended Model Semantics, querying and related issues are also under study. In area (3), the PI is making proof-theoretic analyses of algorithms for Petri nets and possible extensions. The problems proposed are important ones for which solutions are needed to make logic programming sound and more generally applicable. Results that will have practical impact are anticipated.

该项目涉及处理特定类型基于规则的系统的三个研究领域：(1)逻辑编程，(2)分层和知识库管理，以及(3)Petri网和向量加法系统。在区域(1)中，研究了几个问题，涉及Prolog和扩展（如约束逻辑规划）的统一和泛化的基本算法分析和语义递归理论问题。在领域(2)中，PI正在寻求分层概念在基于规则的系统中的应用，其语义是命题逻辑的语义。预期模型语义、查询和相关问题也在研究中。在区域(3)中，PI正在对Petri网及其可能扩展的算法进行证明理论分析。所提出的问题都是重要的问题，需要解决这些问题才能使逻辑编程更加健全和普遍适用。预计将产生实际影响的结果。