Reasoning and learning about past temporal knowledge in connectionist models

IEEE International Conference on Neural Networks - Conference Proceedings

Volumn , Issue , 2007, Pages 1488-1493

  Borges, Rafael V ^a   Lamb, Luís C ^a   D'Avila Garcez, Artur S ^b  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COGNITIVE SYSTEMS; COMPUTER NETWORKS; DECISION MAKING; EDUCATION; INTEGRATION; KNOWLEDGE BASED SYSTEMS; LEARNING SYSTEMS; PROBLEM SOLVING; VEGETATION;

NEURAL NETWORKS;

EID: 51749090214     PISSN: 10987576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IJCNN.2007.4371178     Document Type: Conference Paper

References (20)

1. D. Touretzky and G. Hinton, "Symbols among the neurons: Details of a connectionist inference architecture," in Proc. of the IJCAI-85. Morgan Kaufman, 1985, pp. 238-243.
2. A. Browne and R. Sun, "Connectionist inference models," Neural Networks, vol. 14, no. 10, pp. 1331-1355, 2001.
3. A. S. d'Avila Garcez, K. Broda, and D. M. Gabbay, Neural-Symbolic Learning Systems: Foundations and Applications. Springer, 2002.
4. A. S. d'Avila Garcez and L. C. Lamb, "A connectionist computational model for epistemic and temporal reasoning," Neural Computation, vol. 18, no. 7, pp. 1711-1738, 2006.
5. L. Shastri, "Advances in SHRUTI: a neurally motivated model of relational knowledge representation and rapid inference using temporal synchrony," Applied Intelligence, vol. 11, pp. 79-108, 1999.
6. P. Hitzler, S. Hölldobler, and A. K. Seda, "Logic programs and connectionist networks." J. Appl. Logic, vol. 2, pp. 245-272, 2004.
7. K. Broda, D. M. Gabbay, L. C. Lamb, and A. Russo, Compiled Labelled Deductive Systems: A Uniform Presentation of Non-classical Logics. Baldock, UK, Philadelphia, PA: Research Studies Press/Institute of Physics, 2004.
8. R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning about Knowledge. MIT Press, 1995.
9. M. Fischer, D. Gabbay, and L. Vila, Eds., Handbook of temporal reasoning in artificial intelligence. Elsevier, 2005.
10. 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, NIPS 2003, S. Thrun, L. K. Saul, and B. Schölkopf, Eds. MIT Press, 2004, pp. 921-928.
11. A. S. d'Avila Garcez, L. C. Lamb, and D. M. Gabbay, "Connectionist modal logic: Representing modalities in neural networks," Theoretical Computer Science, vol. 371, no. 1-2, pp. 34-53, 2007.
12. A. S. d'Avila Garcez, L. C. Lamb, and D. M. Gabbay, "Connectionist computations of intuitionistic reasoning," Theoretical Computer Science, vol. 358, no. 1, pp. 34-55, 2006.
13. L. G. Valiant, "Three problems in computer science," J. ACM, vol. 50, no. 1, pp. 96-99, 2003.
14. J. L. Elman, "Finding structure in time," Cognitive Science, vol. 14, no. 2, pp. 179-211, 1990.
15. H. T. Siegelmann, B. G. Horne, and C. L. Giles, "Computational capabilities of recurrent narx neural networks," Univ. of Maryland, Report No. UMIACS-TR-95-12, College Park, Tech. Rep., 1995.
16. G. G. Towell and J. W. Shavlik, "Knowledge-based artificial neural networks," Artificial Intelligence, vol. 70, no. 1-2, pp. 119-165, 1994.
17. S. Holldobler and Y. Kalinke, "Toward a new massively parallel computational model for logic programming," in Proc. of the Workshop on Combining Symbolic and Connectionist Processing, ECAI 94, 1994.
18. A. S. d'Avila Garcez and G. Zaverucha, "The connectionist inductive learning and logic programming system," Applied Intelligence, vol. 11, no. 1, pp. 59-77, 1999.
19. R. V. Borges, L. C. Lamb, and A. d'Avila Garcez, "Towards reasoning about the past in neural symbolic systems," in Proc. 3rd Intl. Workshop on Neural-Symbolic Learning and Reasoning at IJCAI, 2007.
20. R. V. Borges, L. C. Lamb, and A. S. d'Avila Garcez, "Combining architectures for temporal learning in neural symbolic systems," in Proc. of the 6th International Conference on Hybrid Intelligent Systems (HIS'06). IEEE, 2006.