DocumentCode
3241735
Title
A connectionist model for 2-dimensional modal logic
Author
Min Jiang ; Yang Yu ; Fei Chao ; Minghui Shi ; Changle Zhou
Author_Institution
Dept. of Cognitive Sci. & Technol., Xiamen Univ., Xiamen, China
fYear
2013
fDate
16-19 April 2013
Firstpage
54
Lastpage
59
Abstract
The importance of bridging the gap between the connectionist and symbolic paradigms has been widely recognized. In this paper, we present a new connectionist model called CML2 for 2-dimensional modal logic program. After proposing a fix-point semantics of the logic program, we put forward an algorithm to build the CML2, which encodes the background knowledge represented by a 2-dimensional modal logic program into a recurrent neural network. We also prove the correctness of the algorithm.
Keywords
formal logic; logic programming; recurrent neural nets; 2-dimensional modal logic program; CML2; connectionist model; fix-point semantics; recurrent neural network; symbolic paradigms; Artificial neural networks; Cognition; Knowledge engineering; Neurons; Robustness; Semantics; artificial neural network; logic programming; neural-symbolic integration;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Intelligence for Human-like Intelligence (CIHLI), 2013 IEEE Symposium on
Conference_Location
Singapore
Type
conf
DOI
10.1109/CIHLI.2013.6613265
Filename
6613265
Link To Document