A connectionist inductive learning system for modal logic programming

ICONIP 2002 - Proceedings of the 9th International Conference on Neural Information Processing: Computational Intelligence for the E-Age

Volumn 4, Issue , 2002, Pages 1992-1997

  D'Avila Garcez, A S ^a   Lamb, L C ^b   Gabbay, D M ^c  

^a CITY UNIVERSITY   (United Kingdom)

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

^c KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Change of Representation; Hybrid Systems; Modal Logic; Neural Symbolic Integration

Indexed keywords

ARTIFICIAL INTELLIGENCE; C (PROGRAMMING LANGUAGE); COMPUTATION THEORY; COMPUTER CIRCUITS; FORMAL LOGIC; HYBRID SYSTEMS; INFORMATION SCIENCE; LEARNING SYSTEMS; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE; SEMANTICS;

CHANGE OF REPRESENTATION; FIX-POINT SEMANTICS; INDUCTIVE LEARNING; LEARNING FROM EXAMPLES; MASSIVELY PARALLELS; MODAL LOGIC; MODAL LOGIC PROGRAMMING; NEURAL-SYMBOLIC INTEGRATION;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 84966330311     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICONIP.2002.1199022     Document Type: Conference Paper

References (18)

1. K. R. Apt and D. Pedreschi. Reasoning about termination of pure prolog programs. Information and Computation, 106:109-157, 1993.
2. G. Brewka and T. Eiter. Preferred answer sets for extended logic programs. Artificial Intelligence, 109:297-356, 1999.
3. A. Chagrov and M. Zakharyaschev. Modal Logic. Clarendon Press, Oxford, 1997.
4. K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors. Logic and Databases, pages 293-322, Plenum Press, New York, 1978.
5. I. Cloete and J. M. Zurada, editors. Knowledge-Based Neurocomputing. The MIT Press, 2000.
6. A. S. d'Avila Garcez, K. Broda, and D. M. Gabbay. Symbolic knowledge extraction from trained neural networks: A sound approach. Artificial Intelligence, 125:155-207, 2001.
7. 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.
8. A. S. d'Avila Garcez, L. C. Lamb, and D. M. Gabbay. A connectionist inductive learning system for modal logic programming. Technical Report 2002/6, Department of Computing, Imperial College, London, 2002.
9. A. S. d'Avila Garcez and G. Zaverucha. The connectionist inductive learning and logic programming system. Applied Intelligence Journal, Special Issue on Neural Networks and Structured knowledge, 11(1):59-77, 1999.
10. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
11. M. Fitting. Metric methods: Three examples and a theorem. Journal of Logic Programming, 21:113-127, 1994.
12. D. M. Gabbay. Labelled Deductive Systems. Clarendom Press.
13. D. M. Gabbay. The declarative past and imperative future. In H. Barringer, editor, Proceedings of the Colloquium on Temporal Logic and Specifications, LNCS 398. Springer-Verlag, 1989.
14. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the fifty Logic Programming Symposium, 1988.
15. M. A. Orgun and W. Ma. An overview of temporal and modal logic programming. In Proceedings of International Conference on Temporal Logic, ICTL'94, LNAI 827, pages 445-479. Springer.
16. R. Ramanujam. Semantics of distributed definite clause programs. Theoretical Computer Science, 68:203-220, 1989.
17. D. E. Rumelhart, G. E. Hinton, and R. J. Williams. Learning internal representations by error propagation. In D. E. Rumelhart and J. L. McClelland, editors, Parallel Distributed Processing: Explorations in the Microstructure of Cognition, volume 1. MIT Press, 1986.
18. Y. Sakakibara. Programming in modal logic: An extension of PROLOG based on modal logic. In Logic Programming 86, pages 81-91. Springer LNCS 264, 1986.