Reasoning about time and knowledge in neural-symbolic learning systems

Advances in Neural Information Processing Systems

Volumn , Issue , 2004, Pages

  D'Avila Garcez, Artur S ^a   Lamb, Luis C ^b  

^a CITY UNIVERSITY   (United Kingdom)

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

Author keywords

[No Author keywords available]

Indexed keywords

LEARNING SYSTEMS; MULTI AGENT SYSTEMS; NEURAL NETWORKS; SEMANTICS;

COMPLETE SOLUTIONS; DISTRIBUTED MULTIAGENT SYSTEMS; INDUCTIVE LEARNING; MODAL LOGIC; TEMPORAL RULES; TRANSLATION ALGORITHMS;

TEMPORAL LOGIC;

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

References (20)

1. Cloete, I., & Zurada, J. M. (Eds.). (2000). Knowledge-based neurocomputing. The MIT Press.
2. d'Avila Garcez, A. S., Broda, K., & Gabbay, D. M. (2001). Symbolic knowledge extraction from trained neural networks: A sound approach. Artificial Intelligence, 125, 155-207.
3. d'Avila Garcez, A. S., Broda, K., & Gabbay, D. M. (2002a). Neural-symbolic learning systems: Founfiations and applications. Perspectives in Neural Computing. Springer-Verlag.
4. d'Avila Garcez, A. S., Lamb, L. C., Broda, K., & Gabbay, D. M. (2003). Distributed knowledge repfiesentation in neural-symbolic learning systems: A case study. Accepted for Proceedings of 16th International FLAIRS Conference. St. Augustine Florida.
5. d'Avila Garcez, A. S., Lamb, L. C., & Gabbay, D. M. (2002b). A connectionist inductive learning system for modal logic programming, (Technical Report 2002/6). Department of Computing, Imperial College, London.
6. d'Avila Garcez, A. S., Lamb, L. C., & Gabbay, D. M. (2002c). A connectionist inductive learning system for modal logic programming. Proceedings of IEEE International Conference on Neural Information Processing ICONIP'02 (pp. 1992-1997). Singapore.
7. d'Avila Garcez, A. S., & Zaverucha, G. (1999). The connectionist inductive learning and logic profiramming system. Applied Intelligence Journal, Special Issue on Neural Networks and Structured Knowledge, 11, 59-77.
8. Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. MIT Press.
9. Halpern, J. Y., van der Meyden, R., & Vardi, M. Y. (2003). Complete axiomatizations for reasoning about knowledge and time. SIAM Journal on Computing. to appear.
10. Halpern, J. Y., & Vardi, M. (1986). The complexity of reasoning about knowledge and time I: lower bounds. Journal of Computer and System Sciences, 38, 195-237.
11. Holldobler, S. (1993). Automated inferencing and connectionist models. Postdoctoral Thesis, Intellektik, Informatik, TH Darmstadt.
12. Holldobler, S., & Kalinke, Y. (1994). Toward a new massively parallel computational model for logic programming. Proceedings of the Workshop on Combining Symbolic and Connectionist Processing, ECAI 94 (pp. 68-77).
13. Holldobler, S., Kalinke, Y., & 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, 45-58.
14. Huth, M. R. A., & Ryan, M. D. (2000). Logic in computer science: Modelling and reasoning about systems. Cambridge University Press.
15. Lloyd, J. W. (1987). Foundations of logic programming. Springer-Verlag.
16. Pazzani, M., & Kibler, D. (1992). The utility of knowledge in inductive learning. Machine Learning, 9, 57-94.
17. Rao, A. S., & Georgeff, M. P. (1998). Decision procedures for BDI logics. Journal of Logic and Computation, 8, 293-343.
18. Towell, G. G., & Shavlik, J. W. (1994). Knowledge-based artificial neural networks. Artificial Intellifience, 40, 119- 165.
19. Valiant, L. G. (1984). A theory of the learnable. Communications of the ACM, 24, 1134- 1142.
20. van Emden, M. H., & Kowalski, R. A. (1976). The semantics of predicate logic as a programming language. Journal of the ACM, 23, 733-742.