Connectionist representation of multi-valued logic programs

Studies in Computational Intelligence

Volumn 77, Issue , 2008, Pages 283-313

  Komendantskaya, Ekaterina ^a   Lane, Máire ^a   Seda, Anthony Karel ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34548129216     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-73954-8_12     Document Type: Article

References (51)

1. Hölldobler, S., Kalinke, Y.: Towards a new massively parallel computational model for logic programming. In: Proceedings ECAI94 Workshop on Combining Symbolic and Connectionist Processing, ECCAI (1994) 68-77
2. Hölldobler, S., Kalinke, Y., Störr, H.P.: Approximating the semantics of programs by recurrent neural networks. Applied Intelligence 11 (1999) 45-58.
3. Bader, S., H itzler, P., Hölldobler, S.: The integration of connectionism first-order knowledge representation and reasoning as a challenge for artificial intelligence. Information 9(1) (2006) Invited paper.
4. Bornscheuer, S.E., Hölldobler, S., Kalinke, Y., Strohmaier, A.: Massively parallel reasoning. In: Automated Deduction - A Basis for Applications. Volume Kluwer Academic Publishers (1998) 291-321
5. d'Avila Garcez, A.S., Broda, K., Gabbay, D.M.: Symbolic knowledge extraction from trained neural networks: A sound approach. Artificial Intelligence (2001) 155-207
6. d'Avila Garcez, A.S., Broda, K.B., Gabbay, D.M.: Neural-Symbolic Learning Systems - Foundations and Applications. Perspectives in Neural Computing. Springer, Berlin (2002)
7. d'Avila Garcez, A.S., Gabbay, D.: Fibring neural networks. In McGuinness, Ferguson, G., eds.: Proceedings of the 19th National Conference on Artificial Intelligence, 16th Conference on Innovative Applications of Artificial Intelligence, July 2004, San Jose, California, USA, AAAI Press/The MIT Press (2004) 342-347
8. d'Avila Garcez, A.S., Lamb, L.C., Gabbay, D.M.: A connectionist inductive learning system for modal logic programming. In: Proceedings IEEE International Conference on Neural Information Processing ICONIP'02, Singapore. (2002)
9. Fu, L.: Neural Networks in Computer Intelligence. McGraw-Hill, Inc. (1994)
10. Hitzler, P., Hölldobler, S., Seda, A.K.: Logic programs and connectionist networks. Journal of Applied Logic 2(3) (2004) 245-272
11. unter, A., Krause, Neumann, B., eds.: Proceedings of the 26th German Conference on Artificial Intelligence, KI2003. Volume 2821 of Lecture Notes in Artificial Intelligence., Springer (2003) 105-119
12. Hölldobler, S.: Challenge problems for the integration of logic and connectionist systems. In Bry, F., Geske, U., Seipel, D., eds.: Proceedings 14. Workshop Logische Programmierung. Volume 90 of GMD Report., GMD (2000) 161-171.
13. Komendantskaya, E., Seda, A.K.: Declarative and operational semantics bilattice-based annotated logic programs. In Li, L., Ren, F., Hurley, T., Komendantsky, V., an Airchinnigh, M.M., Schellekens, M., Seda, A., Strong, G., Woods, D., eds.: Proceedings of the Fourth International Conference Information and the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, NUI, Cork, Ireland. (2006) 229-232
14. Komendantskaya, E., Seda, ANK.: Logic programs with uncertainty: neural computations and automated reasoning. In: Proceedings of the International Conference Computability in Europe (CiE), Swansea, Wales (2006) 170-182
15. Komendantskaya, E., Seda, A.K., Komendantsky, V.: On approximation of the semantic operators determined by bilattice-based logic programs. In: Proc. 7th International Workshop on First-Order Theorem Proving (FTP'05), Koblenz, Germany (2005) 112-130
16. Lane, M., Seda, A.K.: Some aspects of the integration of connectionist and logic-based systems. Information 9(4) (2006) 551-562
17. Seda, A.K.: Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators. In Mira, J., 'Alvarez, J.R., eds.: Proceedings of the Second International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC2007, Murcia, Spain, June 2007, Part 1. Volume 4527 of Lecture Notes in Computer Science, Springer (2007) 224-233
18. Seda, A.K.: On the integration of connectionist and logic-based systems. In Hurley, T., an Airchinnigh, M.M., Schellekens, M., Seda, A.K., Strong, G., eds.: Proceedings of MFCSIT'04, Trinity College Dublin, July, 2004. Volume 161 of Electronic Notes in Theoretical Computer Science (ENTCS)., Elsevier (2006) 109-130
19. Bader, S., Hitzler, P., Hölldobler, S., Witzel, A.: A fully connectionist model generator for covered first-order logic programs. In: M. Veloso, ed.: Proceedings of International Joint Conference on Artificial Intelligence IJCAI07, Hyderabad, India, AAAI Press (2007) 666-671
20. Resher, N.: Many-valued logic. Mac Graw Hill (1996)
21. Ginsberg, M.L.: Multivalued logics: A uniform approach to inference in artificial intelligence. Computational Intelligence 4 (3) (1992) 256-316
22. Kifer, M., Lozinskii, E.L.: RI: A logic for reasoning with inconsistency. In: Proceedings of the 4th IEEE Symposium on Logic in Computer Science (LICS), Asilomar, IEEE Computer Press (1989) 253-262
23. Lu, J.J.: Logic programming with signs and annotations. Journal of Logic and Computation 6(6) (1996) 755-778
24. Fitting, M.: A Kripke-Kleene semantics for general logic programs. The Journal of Logic Programming 2 (1985) 295-312
25. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint logic programming: Syntax and semantics. ACM Transactions on Programming Languages and Systems (TOPLAS) 23(1) (2001) 1-29
26. Sessa, M.I.: Approximate reasoning by similarity-based SLD-resolution. Theoretical computer science 275 (2002) 389-426
27. Vojtás, P., Paulik, L.: Soundness and completeness of non-classical extended sld-resolution. In: Extensions of Logic Programming, 5th International Workshop ELP'96, Leipzig, Germany, March 28-30, 1996. Volume 1050 of Lecture notes in Computer Science., Springer (1996) 289-301
28. Fitting, M.: Bilattices and the semantics of logic programming. The Journal of Logic Programming 11 (1991) 91-116
29. Fitting, M.C.: Bilattices in logic programming. In Epstein, G., ed.: The twentieth International Symposium on Multiple-Valued Logic, IEEE (1990) 238-246
30. Fitting, M.C.: Kleene's logic, generalized. Journal of Logic and Computation 1 (1992) 797-810
31. Damásio, C.V., Pereira, L.M.: Sorted monotonic logic programs and their embeddings. In: Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-04). (2004) 807-814
32. Stamate, D.: Quantitative datalog semantics for databases with uncertain information. In Pierro, A.D., Wiklicky, H., eds.: Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006). Electronic Notes in Theoretical Computer Science, Vienna, Austria, Elsevier (2006) To appear.
33. van Emden, M.: Quantitative deduction and its fixpoint theory. Journal of Logic Programming 3 (1986) 37-53
34. Lakshmanan, L.V.S., Sadri, F.: On a theory of probabilistic deductive databases. Theory and Practice of Logic Programming 1(1) (2001) 5-42
35. Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of logic programming 12 (1991) 335-367
36. Calmet, J., Lu, J.J., Rodriguez, M., Schü, J.: Signed-formula logic programming: Operational semantics and applications. In: In Proceedings of the Ninth International Symposium on Foundations of Intelligent Systems. Volume 1079 of Lecture Notes in Artificial Intelligence., Berlin, Springer (1996) 202-211
37. Lu, J.J., Murray, N.V., Rosental, E.: A framework for automated reasoning in multiple-valued logics. Journal of Automated Reasoning 21(1) (1998) 39-67
38. Lu, J.J., Murray, N.V., Rosental, E.: Deduction and search strategies for regular multiple-valued logics. Journal of Multiple-valued logic and soft computing 11 (2005) 375-406
39. Ng, R.: Reasoning with uncertainty in deductive databases and logic programs. International Journal of Uncertainty, Fuzziness and Knowledge-based Systems 2(3) (1997) 261-316
40. Straccia, U.: Query answering in normal logic programs under uncertainty. In: 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-05). Lecture Notes in Computer Science, Barcelona, Spain, Springer Verlag (2005) 687-700
41. Fitting, M.: Fixpoint semantics for logic programming - A survey. Theoretical Computer Science 278(1-2) (2002) 25-51
42. Hecht-Nielsen, R.: Neurocomputing. Addison-Wesley (1990)
43. Hertz, J., Krogh, A., Palmer, R.: Introduction to the Theory of Neural Computation. Addison-Wesley Publishing Company (1991)
44. Seda, A.K., Lane, M.: On the measurability of the semantic operators determined by logic programs. Information 8(1) (2005) 33-52
45. Hitzler, P., Seda, A.K.: Characterizations of classes of programs by three-valued operators. In Gelfond, M., Leone, N., Pfeifer, G., eds.: Logic Programming and Non-monotonic Reasoning, Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'99, El Paso, Texas, USA. Volume 1730 of Lecture Notes in Artificial Intelligence., Springer, Berlin (1999) 357-371
46. Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)
47. Wendt, M.: Unfolding the well-founded semantics. Journal of Electrical Engineering, Slovak Academy of Sciences 53(12/s) (2002) 56-59
48. Dung, P.M., Kanchanasut, K.: A fixpoint approach to declarative semantics of logic programs. In Lusk, E.L., Overbeek, R.A., eds.: Logic Programming, Proceedings of the North American Conference 1989, NACLP'89, Cleveland, Ohio, MIT Press (1989) 604-625
49. Bonnier, S., Nilsson, U., Näslund, T.: A simple fixed point characterization of the three-valued stable model semantics. Information Processing Letters 40(2) (1991) 73-78
50. Lane, M.: E-Normal Logic Programs and Semantic Operators: Their Simulation by Artificial Neural Networks. PhD thesis, Department of Mathematics, University College Cork, Cork, Ireland (2006)
51. Haykin, S.: Neural Networks. A Comprehensive Foundation. Macmillan College Publishing Company (1994)