Research In Disjunctive Logic Programming

本项目致力于析取逻辑编程的研究。主要有两个主题：扩展析取逻辑程序设计的过程性语义使其成为一种可行的程序设计语言，以及基于上述语义构建一个类似于PROLOG的程序设计环境。该工作使用了使用SLO归结的析取逻辑程序的过程语义。它计划扩展SLO归结的定义，以回答来自正常析取逻辑程序的肯定和否定查询，并为查询中的变量提供不确定的答案替换。它计划研究析取逻辑程序的性质，并识别在不影响完备性的情况下可以限制其祖先解析检查的程序类。该研究将提高析取逻辑程序的执行效率。其目的是通过这些技术提高SLO分辨率。它的目的是建立在理论研究的基础上，并使用SLO-RESOLUTION实现一个称为DISLOG的编程系统。DISLOG将是PROLOG的扩展，继承了其基于堆栈的环境、控制结构和回溯功能。这项研究的意义将是将逻辑作为编程语言的使用扩展到谓词演算的更大子集。由于它能够解决具有多个外延和不确定信息的问题，DISLOG将为人工智能中的问题解决提供一个增强的表示和推理环境。

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.