Fibring neural networks

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2004, Pages 342-347

  D'Avila Garcez, Artur S ^a   Gabbay, Dov M ^b  

^a CITY UNIVERSITY   (United Kingdom)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Fibring Systems; Neural Symbolic Integration; Recursion

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; CODES (SYMBOLS); COMPUTER ARCHITECTURE; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; LEARNING SYSTEMS;

FIBRING SYSTEMS; NEURAL-SYMBOLIC INTEGRATION; NEUROCOMPUTING; RECURSION;

NEURAL NETWORKS;

EID: 9444241498     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. Angelopoulos, N., and Muggleton, S. H. 2002. Machine learning metabolic pathway descriptions using a probabilistic relational representation. Electronic Transactions in Artificial Intelligence 6. MI-19.
2. Boutsinas, B., and Vrahatis, M. N. 2001. Artificial non-monotonic neural networks. Artificial Intelligence 132:1-38.
3. Cloete, I., and Zurada, J. M., eds. 2000. Knowledge-Based Neurocomputing. The MIT Press.
4. Cybenco, G. 1989. Approximation by superposition of sigmoidal functions. In Mathematics of Control, Signals and Systems 2. 303-314.
5. d'Avila Garcez, A. S., and Lamb, L. C. 2004. Reasoning about time and knowledge in neural-symbolic learning systems. In Thrun, S.; Saul, L.; and Schoelkopf, B., eds., Advances in Neural Information Processing Systems 16, Proceedings of the NIPS 2003 Conference. Vancouver, Canada: MIT Press.
6. d'Avila Garcez, A. S.; Broda, K.; and Gabbay, D. M. 2001. Symbolic knowledge extraction from trained neural networks: A sound approach. Artificial Intelligence 125:155-207.
7. d'Avila Garcez, A. S.; Broda, K.; and Gabbay, D. M. 2002. Neural-Symbolic Learning Systems: Foundations and Applications. Perspectives in Neural Computing. Springer-Verlag.
8. d'Avila Garcez, A. S. 2004. On Gabbay's fibring methodology for bayesian and neural networks. In Laws and Models in Science, European Science Foundation (ESF). King's College London.
9. Elman, J. L. 1990. Finding structure in time. Cognitive Science 14(2):179-211.
10. Fu, L. M. 1994. Neural Networks in Computer Intelligence. McGraw Hill.
11. Gabbay, D. M. 1999. Fibring Logics. Oxford Univesity Press.
12. Haykin, S. 1999. Neural Networks: A Comprehensive Foundation. Prentice Hall.
13. Henderson, J. 2002. Estimating probabilities of unbounded categorization problems. In Proceedings of European Symposium on Artificial Neural Networks, 383-388.
14. Hines, J. W. 1996. A logarithmic neural network architecture for unbounded non-linear function approximation. In Proceedings of IEEE International Conference on Neural Networks.
15. Holldobler, S., and Kurfess, F. 1992. CHCL: A connectionist inference system. In Fronhofer, B., and Wrightson, G., eds., Parallelization in Inference Systems, 318-342. Springer.
16. Holldobler, S.; Kalinke, Y.; and Storr, H. P. 1999. Approximating the semantics of logic programs by recurrent neural networks. Applied Intelligence Journal, Special Issue on Neural Networks and Structured Knowledge 11(1):45-58.
17. Hornik, K.; Stinchcombe, M.; and White, H. 1989. Multilayer feedforward networks are universal approximators. Neural Networks 2:359-366.
18. Kijsirikul, B.; Sinthupinyo, S.; and Chongkasemwongse, K. 2001. Approximate match of rules using backpropagation neural networks. Machine Learning 43(3):273-299.
19. Pinkas, G. 1995. Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge. Artificial Intelligence 77:203-247.
20. Pollack, J. B. 1990. Recursive distributed representations. Artificial Intelligence 46(1):77-105.
21. Rumelhart, D. E.; Hinton, G. E.; and Williams, R. J. 1986. Learning internal representations by error propagation. In Rumelhart, D. E., and McClelland, J. L., eds., Parallel Distributed Processing: Explorations in the Microstructure of Cognition, volume 1. MIT Press. 318-362.
22. Shastri, L. 1999. Advances in SHRUTI: a neurally motivated model of relational knowledge representation and rapid inference using temporal synchrony. Applied Intelligence Journal, Special Issue on Neural Networks and Structured Knowledge 11:79-108.
23. Smolensky, P. 1990. Tensor product variable binding and the representation of symbolic structures in connectionist networks. Artificial Intelligence 46:159-216.
24. Smolensky, P. 2000. Grammar-based connectionist approaches to language. Cognitive Science 23:589-613.
25. Sun, R., and Alexandre, F. 1997. Connectionist Symbolic Integration. Lawrence Erlbaum Associates.
26. Touretzky, D., and Hinton, G. 1988. A distributed connectionist production system. Cognitive Science 12(3):423-466.
27. Towell, G. G., and Shavlik, J. W. 1994. Knowledge-based artificial neural networks. Artificial Intelligence 70(1):119-165.
28. Valiant, L. G. 2003. Three problems in computer science. Journal of the ACM 50(1):96-99.
29. Werbos, P. J. 1990. Backpropagation through time: what does it mean and how to do it. In Proceedings of the IEEE, volume 78, 1550-1560.
30. Williamson, J., and Gabbay, D. 2004. Recursive causality in bayesian networks and self-fibring networks. In Laws and Models in Science, European Science Foundation (ESF). King's College London.