Extracting Rules from Neural Networks with Partial Interpretations
We investigate the problem of extracting rules, expressed in Horn logic, from neural network models. Our work is based on the exact learning model, in which a learner interacts with a teacher (the neural network model) via queries in order to learn an abstract target concept, which in our case is a set of Horn rules. We consider partial interpretations to formulate the queries. These can be understood as a representation of the world where part of the knowledge regarding the truthiness of propositions is unknown. We employ Angluin s algorithm for learning Horn rules via queries and evaluate our strategy empirically.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Partial Evaluation of Logic Programs in Vector Spaces
In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices. The least model of a definite program is…
An Interpretable Probabilistic Approach for Demystifying Black-box Predictive Models
The use of sophisticated machine learning models for critical decision making is faced with a challenge that these models are often applied as a "black-box". This has led to an increased interest in interpretable machine…
BIG-bench Machine LearningDecision MakingInterpretable Machine LearningPredictiondiff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
This paper describes diff-SAT, an Answer Set and SAT solver which combines regular solving with the capability to use probabilistic clauses, facts and rules, and to sample an optimal world-view (multiset of satisfying Bo…
From rules to runs: A dynamic epistemic take on imperfect information games
In the literature of game theory, the information sets of extensive form games have different interpretations, which may lead to confusions and paradoxical cases. We argue that the problem lies in the mix-up of two inter…
Automatic classification of geologic units in seismic images using partially interpreted examples
Geologic interpretation of large seismic stacked or migrated seismic images can be a time-consuming task for seismic interpreters. Neural network based semantic segmentation provides fast and automatic interpretations, p…
General ClassificationSegmentationSeismic InterpretationSemantic Segmentation