Research In Disjunctive Logic Programming

析取逻辑编程研究

• 批准号: 9110721
• 负责人: Arcot Rajasekar
• 金额: $ 6万
• 依托单位: University of Kentucky Research Foundation
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-08-15 至 1994-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9110721&HistoricalAwards=false
• 关键词: Research; Disjunctive; Logic; Programming

This project focuses on research in disjunctive logic programming. There are two main themes: extend the procedural semantics of disjunctive logic programming to make it a viable programming language, and build a programming environment similar to PROLOG based on the above semantics. The work uses the procedural semantics of disjunctive logic programs using SLO-resolution. It is planned to extend the definition of SLO-resolution to answer positive and negative queries from normal disjunctive logic programs and to provide indefinite answer substitutions for variables in a query. It is planned to study the properties of disjunctive logic programs and identify classes of programs for which ancestry-resolution checking can be restricted without compromising completeness. The study will increase the efficiency of executing disjunctive logic programs. The intent is to augment SLO-resolution with these techniques. It is intended to build upon the theoretical studies and implement a programming system, called DISLOG, using SLO-resolution. DISLOG will be an extension of PROLOG, inheriting its stack-based environment, control structure and backtracking feature. The significance of the research will be to extend the use of logic as a programming language to a larger subset of predicate calculus. Due to its capability to solve problems with multiple extensions and indefinite information, DISLOG will provide an enhanced representation and reasoning environment for solving problems in artificial intelligence.

这个项目的重点是析取逻辑编程的研究。 主要有两个主题：扩展 析取逻辑编程使其成为可行的编程 语言，并建立一个类似于PROTEGO的编程环境， 基于上述语义。 这项工作使用的过程语义学 使用SLO解析的析取逻辑程序。 计划在 扩展SLO解决方案的定义，以回答肯定， 否定查询从正常的析取逻辑程序和 为查询中的变量提供不确定的答案替换。 它 计划研究析取逻辑程序的特性， 确定要进行祖先解析检查的程序类别 可以在不损害完整性的情况下进行限制。 这项研究将 提高执行析取逻辑程序的效率。 的 目的是用这些技术来增强SLO分辨率。 是 目的是在理论研究的基础上， 编程系统，称为DISTRIBUTION，使用SLO分辨率。 discrimination will 作为PRONETWORK的扩展，继承其基于堆栈的环境， 控制结构和回溯特性。 的意义 研究将扩展逻辑作为编程语言的使用 一个更大的谓词演算子集。 因为它有能力 解决多扩展和不确定信息的问题， DISTRIBUTION将提供增强的表示和推理 解决人工智能问题的环境。