| 子句集的神经网络归结 |
| |
| 引用本文： | 夏世芬,黄天民,徐扬.子句集的神经网络归结[J].模糊系统与数学,2004,18(2):62-67. |
| |
| 作者姓名： | 夏世芬 黄天民 徐扬 |
| |
| 作者单位： | 西南交通大学,数学系,四川,成都,610031 |
| |
| 摘 要： | 给出基于神经网络的归结方法。首先将子句集S表示为δ形式，并且用算子对(⊙， )引入两种类型的神经元；然后用这两种神经元构造子句集S的神经网络结构；而后给出基于子句集的神经网络的归结算法；最后证明了该算法的完备性，并用实例进行了验证。
|
| 关 键 词： | 归结 神经网络 子句集 完备性 |
Neural Network Resolution on Clause Set |
| |
| XIA Shi-fen,HUANG Tian-min,XU Yang.Neural Network Resolution on Clause Set[J].Fuzzy Systems and Mathematics,2004,18(2):62-67. |
| |
| Authors: | XIA Shi-fen HUANG Tian-min XU Yang |
| |
| Abstract: | In this paper, we give a method of resolution by neural network. First, we express the clause set S in σ-form. Then, introduce two kinds of neurons by a couple of operators (·,+) and get NN structure of σ-form clause set S. After that resolution algorithm based on the NN is obtained. In the end, prove the complete theorem of the resolution algorithm and test it by example. |
| |
| Keywords: | Resolution Neural Network Clause Set Completeness Theorem |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
