Implementing Semantic Deduction of Propositional Knowledge in an Extension Multi-layer Perceptron
Implementing Semantic Deduction of Propositional Knowledge in an Extension Multi-layer Perceptron
摘要
The paper presents an extension multi-laye r p erceptron model that is capable of representing and reasoning propositional know ledge base. An extended version of propositional calculus is developed, and its some properties is discussed. Formulas of the extended calculus can be expressed in the extension multi-layer perceptron. Naturally, semantic deduction of prop ositional knowledge base can be implement by the extension multi-layer perceptr on, and by learning, an unknown formula set can be found.
基金
SupportedbytheNationalNaturalScienceFoundationofChina( 60 0 740 14 )
参考文献10
-
1MADISO WI, KHARDON R, ROTH D. Reasoning with models[J ]. Artificial Intelligence, 1996,87 : 187-213.
-
2GADI PINKAS. Reasoning, nonmonotonicity and learning in connectionist networks that capture propositonal knowledge[J]. Artificial Intelligence, 1995,77:203 - 247.
-
3PEI Zheng,LIU Jun,XU Yang. A Kind of Resolution by Deleting in Fuzzy Neural NetworkEC]. In Proceeding East West Fuzzy Colloquium and the Eighth of Zittau Fuzzy Colloquium (2000), 238 - 244. Zittau. Germany.
-
4PEI Zheng, LI Hai-ming, XU Yang. A Kind of Resolution Based on NN[C] . Shanghai. Fudan University Press. The Eighth of International Conference on Neural Information processing (2001), 941 -947.
-
5PEI Zheng. Study on Automated Reasoning Theory and Method Based on Neural Network[D]. Chengdu:Southwest Jiaotong University Press, 2001,13 - 34.
-
6CARDENAS VIEDMA M A, MARIN MORALES R,NAVARRETE SANCHEZ I. Fuzzy temporal constraint logic: A valid resolution principle[ J ]. Fuzzy Sets and Systems, 2001 ,A 17: 231 - 250.
-
7WU Wang-ming, H(X)N-HENG Teh. Reasoning with propositional knowledge based on fuzzy neural logic[J]. International Journal of Intelligent Systems, 1996,11:251 - 265.
-
8KUHU Pal, NIKHIL R Pal. A Neuro-Fuzzy system for inferencing[J]. International Journal of Intelligent Systems, 1999,14:1155 - 1182.
-
9PAOLA FORCHERI PAOPO GENTILINI,MARIA TERESA MOLFINO. Informational logic as a tool for automated reasoning[J]. Journal of Automated Reasoning, 1998,20:167 - 190.
-
10SALVATORE CAVALIERI, ORAZIO MIRABELLA. A novel learning algorithm which improves the partail fault tolerance of multilayer meural networks[J]. Neural Networks, 1999,12:91 - 106.
-
1张玉平.Horn style deduction relation[J].Science China(Technological Sciences),1998,41(3):280-287.
-
2唐福顺,金席卷.基于模糊神经网络的命题知识表示[J].长沙电力学院学报（自然科学版）,2005,20(1):35-40. 被引量：2
-
3陈伟鹤,陈霖.基于条件函数依赖的隐私保护模型[J].计算机应用研究,2012,29(10):3838-3841. 被引量：1
-
4王丹,常建生,赵文兵.使用Pi演算的构件交互可信性验证模型[J].计算机科学与探索,2012,6(5):419-429. 被引量：1
-
5常建生,王丹,赵文兵.软件实体中预期协作路径的获取方法[J].计算机工程,2012,38(5):76-78.
-
6高建华.Clausal Presentation of Theories in Deduction Modulo[J].Journal of Computer Science & Technology,2013,28(6):1085-1096.
-
7王娟,吴宪祥,曹艳玲.基于差分进化生物地理学优化的多层感知器训练方法[J].计算机应用研究,2017,34(3):693-696. 被引量：4
-
8金岩,杨孝宗.移动计算中协议建模的新方法-CC S形式化描述及性能评价[J].哈尔滨工业大学学报,2006,38(6):877-880. 被引量：1
-
9董天石,王悦,陈玉泉.ENERGY CALCULUSIN CHINESE LANGUAGE SEGMENTATION[J].Journal of Shanghai Jiaotong university(Science),2000,5(2):70-73.
-
10CHEN Jie.A Survey of New Readability Formulas[J].US-China Foreign Language,2012,10(12):1779-1783.
