TY - GEN
T1 - A connectionist model for constructive modal reasoning
AU - D'Avila Garcez, Artur S.
AU - Lamb, Luís C.
AU - Gabbay, Dov M.
PY - 2005
Y1 - 2005
N2 - We present a new connectionist model for constructive, intuitionistic modal reasoning. We use ensembles of neural networks to represent intuitionistic modal theories, and show that for each intuitionistic modal program there exists a corresponding neural network ensemble that computes the program. This provides a massively parallel model for intuitionistic 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.
AB - We present a new connectionist model for constructive, intuitionistic modal reasoning. We use ensembles of neural networks to represent intuitionistic modal theories, and show that for each intuitionistic modal program there exists a corresponding neural network ensemble that computes the program. This provides a massively parallel model for intuitionistic 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.
UR - https://www.scopus.com/pages/publications/78649964979
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:78649964979
SN - 9780262232531
T3 - Advances in Neural Information Processing Systems
SP - 403
EP - 410
BT - Advances in Neural Information Processing Systems 18 - Proceedings of the 2005 Conference
T2 - 2005 Annual Conference on Neural Information Processing Systems, NIPS 2005
Y2 - 5 December 2005 through 8 December 2005
ER -