A deductive neural-logic system

[1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic Pub Date : 1992-05-27 DOI:10.1109/ISMVL.1992.186783

Joo-Hwee Lim, H. Lui, H. Teh

引用次数: 2

Abstract

A propositional logic deductive system based on a three-valued neural-logic network model that the authors proposed earlier is described. It is shown that neural logic enriches the classical Boolean logic, and a heuristic search with pruning and an adaptive search are proposed as the control strategies. A system prototype and its practicality are discussed.<>

查看原文本刊更多论文

演绎的神经逻辑系统

本文描述了一个基于三值神经逻辑网络模型的命题逻辑演绎系统。结果表明，神经逻辑丰富了经典布尔逻辑，并提出了带剪枝的启发式搜索和自适应搜索作为控制策略。讨论了系统的原型和实用性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量