The Connectionist Inductive Learning and Logic Programming System

The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks that perform massively parallel Logic Programming and inductive learning from examples and background knowledge. This work presents an extension of C-IL2P that allows the implementation of Extended Logic Programs in Neural Networks. This extension makes C-IL2P applicable to problems where the background knowledge is represented in a Default Logic. As a case example, we have applied the system for fault diagnosis of a simplified power system generation plant, obtaining good preliminary results.

• Type: Journal
• Year: 1999
• Where: APIN
• Authors: Artur S. d'Avila Garcez, Gerson Zaverucha
• Keywords: APIN 1999, Connectionist Inductive Learning, Logic Programming, Neural Networks