Applying the connectionist inductive learning and logic programming system to power system diagnosis

IEEE International Conference on Neural Networks - Conference Proceedings

Volumn 1, Issue , 1997, Pages 121-126

  D'Avila Garcez, Artur S ^a   Zaverucha, Gerson ^a   Da Silva, Victor Navarro A L ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Extended Logic Programming; Hybrid Systems; Machine Learning; Neural Networks; Power Systems

Indexed keywords

BACK-GROUND KNOWLEDGE; EXTENDED LOGIC; EXTENDED LOGIC PROGRAMMING; INDUCTIVE LEARNING; LOGIC PROGRAMMING SYSTEMS; MASSIVELY PARALLELS; SYSTEM DIAGNOSIS; SYSTEM GENERATION;

C (PROGRAMMING LANGUAGE); HYBRID SYSTEMS; LEARNING SYSTEMS; NEURAL NETWORKS; STANDBY POWER SYSTEMS; KNOWLEDGE ACQUISITION; LOGIC PROGRAMMING;

LOGIC PROGRAMMING; EXPERT SYSTEMS;

POWER SYSTEM DIAGNOSIS;

EID: 0030685538     PISSN: 10987576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNN.1997.611649     Document Type: Conference Paper

References (28)

1. R. Andrews, J. Diederich and A. B. Tickle; "A Survey and Critique of Techniques for Extracting Rules from Trained Artificial Neural Networks"; Knowledge-based Systems; Vol. 8, no6;pp. 1-37; 1995.
2. V. C. Barbosa; "Massively Parallel Models of Computation"; Ellis Horwood Series in Artificial Intelligence; 1993.
3. M. Fitting; "Metric Methods-Three Examples and a Theorem"; Journal of Logic Programming; 1994.
4. A. S. Garcez, G. Zaverucha e L. A. Carvalho; "Logical Inference and Inductive Learning in Artificial Neural Networks"; Workshop on Neural Networks and Structured Knowledge, ECAI 96, Budapest; pp. 41-49; 1996.
5. A. S. Garcez, G. Zaverucha, L. A. Carvalho; "The Connectionist Inductive Learning and Logic Programming System"; 1997, submitted.
6. M. Gelfond and V. Lifschitz; "The Stable Model Semantics for Logic Programming"; 5 Logic Programming Symposium, MIT Press; pp. 1070-1080; 1988.
7. M. Gelfond and V. Lifschitz; "Classical Negation in Logic Programs and Disjunctive Databases"; New Generation Computing, Vol. 9, pp. 365-385, Springer-Verlag; 1991.
8. M. Hilario; "An Overview of Strategies for Neurosymbolic Integration"; Connectionist-Symbolic Integration: from Unified to Hybrid Approaches-IJCAI 95; pp. 1-6; 1995.
9. S. Holldobler; "Automated Inferencing and Connectionist Models"; Postdoctoral Thesis, Intellektik, Informatik, TH Darmstadt; 1993.
10. S. Holldobler and Y. Kalinke; "Toward a New Massively Parallel Computational Model for Logic Programming"; Workshop on Combining Symbolic and Connectionist Processing, ECAI'94; pp. 1-14; 1994.
11. M. I. Jordan. Attractor Dynamics and Parallelisms in a Connectionist Sequential Machine. Eighth Annual Conf. of the Cognitive Science Society, pp. 531-546, 1986.
12. N. Lavrac and S. Dzeroski; "Inductive Logic Programming: Techniques and Applications"; Ellis Horwood Series in Artificial Intelligence; 1994.
13. J. W. Lloyd; "Foundations of Logic Programming"; Springer-Verlag; 1987.
14. W. Marek and M. Truszczynski; "Nonmonotonic Logic: Context Dependent Reasoning"; Springer-Verlag; 1993.
15. L. Medsker; "Neural Networks Connections to Expert Systems"; Proceedings of the World Congress on Neural Networks; pp. 411-417; 1994.
16. R. S. Michalski; "Learning Strategies and Automated Knowledge Acquisition"; Computational Models of Learning, Symbolic Computation, Springer-Verlag; pp. 1-19; 1987.
17. M. Minsky; "Logical versus Analogical, Symbolic versus Connectionist, Neat versus Scruffy"; AI Magazine, Vol. 12, no 2, pp. 34-51; 1991.
18. S. Muggleton and L. Raedt; "Inductive Logic Programming: Theory and Methods"; The Journal of Logic Programming,Vol. 19, pp. 629-679; 1994.
19. G. Pinkas; "Reasoning, Nonmonotonicity and Learning in Connectionist Networks that Capture Propositional Knowledge"; Artificial Intelligence, Vol. 77; 1995.
20. D. L. Poole, R. G. Goebel and R. Aleliunas; "Theorist: A Logical Reasoning System for Defaults and Diagnosis"; The Knowledge Frontier: Essays in the Representation of Knowledge, Springer-Verlag; 1987.
21. D. L. Poole; "Compiling a Default Reasoning System into Prolog"; New Generation Computing; 1991.
22. D. E. Rumelhart, G. E. Hinton and R. J. Williams; "Learning Internal Representations by Error Propagation"; Parallel Distributed Processing, Vol. 1
23. D. E. Rumelhart, J. L. McClelland and the PDP Research Group, MIT Press; pp. 319-362; 1986.
24. V. N. A. L. da Silva, G. Zaverucha, Guilherme N. F. de Souza, "An Integration of Neural Networks and Nonmonotonic Logic for Power Systems Diagnosis", IEEE International Conference on Neural Networks, Australia;Vol. 3, pp. 1409-1413; 1995.
25. V. N. A. L. da Silva, Ricardo S. Zebulum, "An Integration of Neural Networks and Fuzzy Logic for Power Systems Diagnosis", Intelligent Systems Applications to Power Systems-ISAP'96; 1996.
26. S. B. Thrun, J. Bala, E. Bloedorn, I. Bratko, B. Cestnik, J. Cheng, K. De Jong, S. Dzeroski, S. E. Fahlman, D. Fisher, R. Haumann, K. Kaufman, S. Keller, I. Kononenko, J. Kreuziger, R. S. Michalski, T. Mitchell, P. Pachowicz, Y. Reich, H. Vafaie, K. Van de Welde, W. Wenzel, J. Wnek and J. Zhang; "The MONK's Problem: A Performance Comparison of Different Learning Algorithms"; Technical Report, Carnegie Mellon University; 1991.
27. G. G. Towell and J. W. Shavlik; "Knowledge-Based Artificial Neural Networks"; Artificial Intelligence, Vol. 70; pp. 119-165; 1994.
28. G. Zaverucha; "On Cumulative Default Logic with Filters"; 6tn International Workshop on Nonmonotonic Reasoning, Eds. M. Goldszmidt and V. Lifschitz; Timberline, Oregon, USA, pp. 132-140; 1996.