A Connectionist Model for Constructive Modal Reasoning
Abstract
We present a new connectionist model for constructive, intuitionistic modal reasoning. We use ensembles of neural networks to represent in- tuitionistic modal theories, and show that for each intuitionistic modal program there exists a corresponding neural network ensemble that com- putes the program. This provides a massively parallel model for intu- itionistic modal reasoning, and sets the scene for integrated reasoning, knowledge representation, and learning of intuitionistic theories in neural networks, since the networks in the ensemble can be trained by examples using standard neural learning algorithms.
Cite
Text
Garcez et al. "A Connectionist Model for Constructive Modal Reasoning." Neural Information Processing Systems, 2005.Markdown
[Garcez et al. "A Connectionist Model for Constructive Modal Reasoning." Neural Information Processing Systems, 2005.](https://mlanthology.org/neurips/2005/garcez2005neurips-connectionist/)BibTeX
@inproceedings{garcez2005neurips-connectionist,
title = {{A Connectionist Model for Constructive Modal Reasoning}},
author = {Garcez, Artur and Lamb, Luis C. and Gabbay, Dov M.},
booktitle = {Neural Information Processing Systems},
year = {2005},
pages = {403-410},
url = {https://mlanthology.org/neurips/2005/garcez2005neurips-connectionist/}
}