engleză
The main aim of this book is to introduce the knowledge base reasoning using artificial intelligence in computer science. This book provides a proposed system that represents two important topics: a propositional logic and non-classical logic. Then represents them in artificial neural network so that to provide an easy way for reasoning and making a hybrid system. The first part of this work uses a Connectionist Inductive Learning and Logic Programming, (CILP) algorithm which is a method that translates a propositional logic to a three layers neural network. The second part of the book uses a Connectionist Modal Logic (CML) algorithm. This algorithm acts as an extension language added to a logic program to represent a non-classical logic program. This will add an ability to interconnect a number of possible words, stationeries, clusters, logic programs and so on to make representing of real world more accurate than poor propositional logic. The proposed system has been applied successfully on all tested logic programs. It proves that the neural network can represent logic language and have ability to reason rather than handling a missing data in absence of background knowledge.
