Implementation and Analysis of Inference Techniques for Classical and Multiple-Valued Logics

经典多值逻辑推理技术的实现与分析

• 批准号: 9404338
• 负责人: Neil Murray
• 金额: $ 13.88万
• 依托单位: SUNY at Albany
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-06-01 至 1999-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9404338&HistoricalAwards=false
• 关键词: Implementation; Analysis; Inference; Techniques; Classical

This project continues a research program in logic. The studied areas of research stem directly from an analysis of the structure of formulas in negation normal form and from investigations into multiple-valued logics. The former work led to the development of the deduction rule called path dissolution. The study of continues, including the study of its properties as an inference mechanism and the development of a portable C++ implementation. For some time it has appeared that dissolution would be a useful tool in the design of prime implicant/implicate algorithms. A new negation normal form (NNF) algorithm, PI, has been developed that can be combined with dissolution for this purpose, and formula classes have been discovered that are hard for CNF/DNF-based methods but that are easy for PI/dissolution. A prototype system has been implemented and is being further developed. These techniques are being extended to multiple-valued logics (MVL's). The work in MVL's also includes the study of annotated logic programming and SLD-style proof procedures, and inference methods for fuzzy logics.

该项目继续进行逻辑研究计划。 研究的研究领域直接源于对正常形式的公式结构的分析以及对多价值逻辑的研究。 以前的工作导致了扣除规则的发展，称为路径溶解。 继续进行的研究，包括将其特性作为推理机制的研究和便携式C ++实施的发展。 一段时间以来，似乎溶解将是设计主要隐性/隐含算法的有用工具。 已经开发了一种新的否定正常形式（NNF）算法PI，可以与溶解相结合，并且已经发现了公式类，对于基于CNF/DNF的方法而言，这很难，但对于PI/溶解很容易。 原型系统已经实施并正在进一步开发。 这些技术已扩展到多价值逻辑（MVL）。 MVL的工作还包括对带注释的逻辑编程和SLD风格的证明程序的研究，以及模糊逻辑的推理方法。