nips nips2005 nips2005-6 nips2005-6-reference knowledge-graph by maker-knowledge-mining
Source: pdf
Author: Artur Garcez, Luis C. Lamb, Dov M. Gabbay
Abstract: 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. 1
[1] A. Browne and R. Sun. Connectionist inference models. Neural Networks, 14(10):1331–1355, 2001.
[2] D. Van Dalen. Intuitionistic logic. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 5. Kluwer, 2nd edition, 2002.
[3] A. S. d’Avila Garcez, K. Broda, and D. M. Gabbay. Neural-Symbolic Learning Systems: Foundations and Applications. Perspectives in Neural Computing. Springer-Verlag, 2002.
[4] A. S. d’Avila Garcez and L. C. Lamb. Reasoning about time and knowledge in neural-symbolic learning systems. In Advances in Neural Information Processing Systems 16, Proceedings of NIPS 2003, pages 921–928, Vancouver, Canada, 2004. MIT Press.
[5] A. S. d’Avila Garcez, L. C. Lamb, K. Broda, and D. M. Gabbay. Applying connectionist modal logics to distributed knowledge representation problems. International Journal on Artificial Intelligence Tools, 13(1):115–139, 2004.
[6] A. S. d’Avila Garcez, L. C. Lamb, and D. M. Gabbay. Connectionist modal logics. Theoretical Computer Science. Forthcoming.
[7] R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
[8] D. M. Gabbay. Labelled Deductive Systems. Clarendom Press, Oxford, 1996.
[9] D. M. Gabbay, C. Hogger, and J. A. Robinson, editors. Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1-5, Oxford, 1994-1999. Clarendom Press.
[10] M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365–385, 1991.
[11] D. E. Rumelhart, G. E. Hinton, and R. J. Williams. propagating errors. Nature, 323:533–536, 1986. Learning representations by back-
[12] L. Shastri. Advances in SHRUTI: a neurally motivated model of relational knowledge representation and rapid inference using temporal synchrony. Applied Intelligence, 11:79–108, 1999.
[13] G. G. Towell and J. W. Shavlik. Knowledge-based artificial neural networks. Artificial Intelligence, 70(1):119–165, 1994.
[14] A. M. Turing. Computer machinery and intelligence. Mind, 59:433–460, 1950.
[15] L. G. Valiant. Robust logics. Artificial Intelligence, 117:231–253, 2000.
[16] V. Vapnik. The nature of statistical learning theory. Springer-Verlag, 1995.