A connectionist model for 2-dimensional modal logic

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.

DOI: 10.1109/CIHLI.2013.6613265

2 Figures and Tables

Cite this paper

@article{Jiang2013ACM, title={A connectionist model for 2-dimensional modal logic}, author={Min Jiang and Yang Yu and Fei Chao and Minghui Shi and Changle Zhou}, journal={2013 IEEE Symposium on Computational Intelligence for Human-like Intelligence (CIHLI)}, year={2013}, pages={54-59} }