A connectionist computational model for epistemic and temporal reasoning

Neural Computation

Volumn 18, Issue 7, 2006, Pages 1711-1738

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

^a CITY UNIVERSITY   (United Kingdom)

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

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHM; ARTICLE; ARTIFICIAL INTELLIGENCE; ARTIFICIAL NEURAL NETWORK; COMPUTER SIMULATION; HUMAN; KNOWLEDGE; LEARNING; LOGIC; PHYSIOLOGY; TIME;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; HUMANS; KNOWLEDGE; LEARNING; LOGIC; NEURAL NETWORKS (COMPUTER); TIME FACTORS;

EID: 33745767737     PISSN: 08997667     EISSN: 1530888X     Source Type: Journal    
DOI: 10.1162/neco.2006.18.7.1711     Document Type: Article

References (34)

1. Ajjanagadde, V. (1997). Rule-based reasoning in connectionist networks. Unpublished doctoral dissertation, University of Minnesota.
2. Broda, K., Gabbay, D. M., Lamb, L. C., & Russo, A. (2004). Compiled labelled deductive systems: A uniform presentation of non-classical logics. Baldock, UK: Research Studies Press/Institute of Physics Publishing.
3. Browne, A., & Sun, R. (2001). Connectionist inference models. Neural Networks, 14, 1331-1355.
4. Brzoska, C. (1991). Temporal logic programming and its relation to constraint logic programming. In Proc. International Symposium on Logic Programming (pp. 661-677). Cambridge, MA: MIT Press.
5. Chagrov, A., & Zakharyaschev, M. (1997). Modal logic. Oxford: Clarendon Press.
6. Cloete, I., & Zurada, J. M. (Eds.). (2000). Knowledge-based neurocomputing. Cambridge, MA: MIT Press.
7. 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.
8. d'Avila Garcez, A. S., Broda, K., & Gabbay, D. M. (2002). Neural-symbolic learning systems: Foundations and applications. Berlin: Springer-Verlag.
9. d'Avila Garcez, A. S., & Lamb, L. C. (2004). Reasoning about time and knowledge in neural-symbolic learning systems. In S. Thrun, L. Saul, & B. Schölkopf (Eds.), Advances in neural information processing systems, 16 (pp. 921-928). Cambridge, MA: MIT Press.
10. d'Avila Garcez, A. S., Lamb, L. C., Broda, K., & Gabbay, D. M. (2003). Distributed knowledge representation in neural-symbolic learning systems: A case study. In Proceedings of AAAI International FLAIRS Conference (pp. 271-275). Menlo Park, CA: AAAI Press.
11. d'Avila Garcez, A. S., Lamb, L. C., Broda, K., & Gabbay, D. M. (2004). Applying connectionist modal logics to distributed knowledge representation problems. International Journal on Artificial Intelligence Tools, 13(1), 115-139.
12. d'Avila Garcez, A. S., Lamb, L. C., & Gabbay, D. M. (2002). A connectionist inductive learning system for modal logic programming. In Proc. ICONIP'02 (pp. 1992-1997). Singapore: IEEE Press.
13. d'Avila Garcez, A. S., & Zaverucha, G. (1999). The connectionist inductive learning and logic programming system. Applied Intelligence Journal [Special issue] 11(1), 59-77.
14. Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. Cambridge, MA: MIT Press.
15. Farinas del Cerro, L., & Herzig, A. (1995). Modal deduction with applications in epistemic and temporal logics. In D. M. Gabbay, C. J. Hogger, & J. A. Robinson (Eds.), Handbook of logic in artificial intelligence and logic programming (Vol. 4, pp. 499-594). New York: Oxford University Press.
16. Gabbay, D. M. (1996). Labelled deductive systems (Vol 1). New York: Oxford University Press.
17. Gabbay, D. M., Hodkinson, I., & Reynolds, M. (1994). Temporal logic: Mathematical foundations and computational aspects (Vol. 1). New York: Oxford University Press.
18. Gabbay, D., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2003). Many-dimensional modal logics: Theory and applications. Dordrecht, Elsevier.
19. Gelfond, M., & Lifschitz, V. (1991). Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, 365-385.
20. Halpem, J. Y., van der Meyden, R., & Vardi, M. Y. (2004). Complete axiomatizations for reasoning about knowledge and time. SIAM Journal on Computing, 33(3), 674-703.
21. Hintikka, J. (1962). Knowledge and belief. Ithaca, NY: Cornell University Press.
22. Orgun, M. A., & Ma, W. (1994). An overview of temporal and modal logic programming. In Proceedings of International Conference on Temporal Logic, ICTL'94 (pp. 445-479). Berlin: Springer.
23. Orgun, M. A., & Wadge, W. W. (1992). Towards a unified theory of intensional logic programming. Journal of Logic Programming, 13(4), 413-440.
24. Orgun, M. A., & Wadge, W. W. (1994). Extending temporal logic programming with choice predicates non-determinism. Journal of Logic and Computation, 4(6), 877-903.
25. Pnueli, A. (1977). The temporal logic of programs. In Proceedings of 18th IEEE Annual Symposium on Foundations of Computer Science (pp. 46-57). Piscataway, NJ: IEEE Computer Society Press.
26. Rao, A. S., & Georgeff, M. P. (1998). Decision procedures for BDI logics. Journal of Logic and Computation, 8(3), 293-343.
27. Rumelhart, D. E., Hinton, G. E., & Williams, R. J. (1986). Learning internal representations by error propagation. In D. E. Rumelhart & J. L. McClelland (Eds.), Parallel distributed processing: Explorations in the microstructure of cognition (Vol. 1, pp. 318-362). Cambridge, MA: MIT Press.
28. 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] 11(1), 79-108.
29. Sun, R. (1995). Robust reasoning: Integrating rule-based and similarity-based reasoning. Artificial Intelligence, 75(2), 241-296.
30. Sun, R., & Alexandre, F. (1997). Connectionist symbolic integration. Hillsdale, NJ: Erlbaum.
31. Towell, G. G., & Shavlik, J. W. (1994). Knowledge-based artificial neural networks. Artificial Intelligence, 70(1), 119-165.
32. Valiant, L. G. (1984). A theory of the leamable. Communications of the ACM, 27(11), 1134-1142.
33. Valiant, L. G. (2003). Three problems in computer science. Journal of the ACM, 50(1), 96-99.
34. Vardi, M. Y. (1997). Why is modal logic so robustly decidable. In N. Immerman & P. Kolaitis (Eds.), Descriptive complexity and finite models (pp. 149-184). Providence, RI: American Mathematical Society.