Applying Knowledge Reasoning Techniques In Neural Networks
نویسنده
چکیده
The logic of abduction and deduction contribute to our conceptual understanding of a phenomenon, while the logic of induction adds quantitative details to our conceptual knowledge. In this paper, we will look into how this reasoning techniquesabduction, deduction and induction, are relevant in neural networks logic programming. Deduction simplifies the knowledge representation without affecting the knowledge contents. Abduction is the process of proceeding from data describing a set of observations or events, to a set of hypotheses which best explains or accounts for the data. Meanwhile, by using induction techniques, logical rules can be extracted from data bases. In this paper, we will review these three techniques.
منابع مشابه
K Knowledge Discovery with Artificial Neural Networks
The world of Data Mining (Cios, Pedrycz & Swiniarrski, 1998) is in constant expansion. New information is obtained from databases thanks to a wide range of techniques, which are all applicable to a determined set of domains and count with a series of advantages and inconveniences. The Artificial Neural Networks (ANNs) technique (Haykin, 1999; McCulloch & Pitts, 1943; Orchad, 1993) allows us to ...
متن کاملLogic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge
We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning. A logic formalism called Real Logic is defined on a first-order language whereby formulas have truth-value in the interval [0,1] and semantics defined concretely on the domain of real numbers. Logical constants are interpreted as feature vectors of real numbers. Real Logic promotes a well-fou...
متن کاملInductive knowledge acquisition
At the present state of art, generating a rule base is one of the main challenges in the area of knowledge-based systems. The present work attempts to automate the parts of the process of knowledge acquisition by using neural networks with rule extraction techniques. This paper presents a methodology composed of four phases to generate a representation formalism based on quantiied rules of n-ar...
متن کامل