|
Introduction and Overview |
|
|
1 | (12) |
|
Why Integrate Neurons and Symbols? |
|
|
1 | (2) |
|
Strategies of Neural-Symbolic Integration |
|
|
3 | (2) |
|
Neural-Symbolic Learning Systems |
|
|
5 | (2) |
|
|
7 | (3) |
|
|
10 | (2) |
|
|
12 | (1) |
|
|
13 | (30) |
|
|
13 | (1) |
|
|
14 | (1) |
|
|
15 | (8) |
|
|
16 | (3) |
|
|
19 | (2) |
|
|
21 | (2) |
|
|
23 | (6) |
|
What is Logic Programming? |
|
|
23 | (3) |
|
Fixpoints and Definite Programs |
|
|
26 | (3) |
|
|
29 | (5) |
|
Stable Models and Acceptable Programs |
|
|
29 | (5) |
|
|
34 | (9) |
|
Truth Maintenance Systems |
|
|
37 | (2) |
|
|
39 | (4) |
Part I. Knowledge Refinement in Neural Networks |
|
|
Theory Refinement in Neural Networks |
|
|
43 | (44) |
|
Inserting Background Knowledge |
|
|
44 | (12) |
|
Massively Parallel Deduction |
|
|
56 | (2) |
|
Performing Inductive Learning |
|
|
58 | (1) |
|
Adding Classical Negation |
|
|
59 | (5) |
|
Adding Metalevel Priorities |
|
|
64 | (20) |
|
Summary and Further Reading |
|
|
84 | (3) |
|
Experiments on Theory Refinement |
|
|
87 | (26) |
|
|
87 | (10) |
|
Power Systems Fault Diagnosis |
|
|
97 | (9) |
|
|
106 | (2) |
|
|
108 | (5) |
Part II. Knowledge Extraction from Neural Networks |
|
|
Knowledge Extraction from Trained Networks |
|
|
113 | (46) |
|
|
114 | (6) |
|
The Case of Regular Networks |
|
|
120 | (17) |
|
|
121 | (6) |
|
|
127 | (10) |
|
The General Case Extraction |
|
|
137 | (16) |
|
|
138 | (1) |
|
Knowledge Extraction from Subnetworks |
|
|
139 | (12) |
|
Assembling the Final Rule Set |
|
|
151 | (2) |
|
Knowledge Representation Issues |
|
|
153 | (2) |
|
Summary and Further Reading |
|
|
155 | (4) |
|
Experiments on Knowledge Extraction |
|
|
159 | (24) |
|
|
159 | (7) |
|
|
166 | (2) |
|
|
168 | (5) |
|
Power Systems Fault Diagnosis |
|
|
173 | (3) |
|
|
176 | (7) |
Part III. Knowledge Revision in Neural Networks |
|
|
Handling Inconsistencies in Neural Networks |
|
|
183 | (26) |
|
Theory Revision in Neural Networks |
|
|
183 | (9) |
|
The Equivalence with Truth Maintenance Systems |
|
|
184 | (2) |
|
|
186 | (6) |
|
Solving Inconsistencies in Neural Networks |
|
|
192 | (15) |
|
|
194 | (1) |
|
|
195 | (5) |
|
Nonmonotonic Theory Revision |
|
|
200 | (7) |
|
|
207 | (2) |
|
Experiments on Handling Inconsistencies |
|
|
209 | (26) |
|
Requirements Specifications Evolution as Theory Refinement |
|
|
209 | (6) |
|
|
209 | (3) |
|
|
212 | (3) |
|
The Automobile Cruise Control System |
|
|
215 | (13) |
|
|
217 | (2) |
|
Knowledge Revision: Handling Inconsistencies |
|
|
219 | (4) |
|
|
223 | (5) |
|
|
228 | (2) |
|
|
230 | (5) |
|
Neural-Symbolic Integration: The Road Ahead |
|
|
235 | (18) |
|
|
237 | (3) |
|
Adding Disjunctive Information |
|
|
240 | (4) |
|
Extension to the First-Order Case |
|
|
244 | (1) |
|
|
245 | (2) |
|
|
247 | (2) |
|
A Proof Theoretical Approach |
|
|
249 | (1) |
|
The ``Forbidden Zone'' [ Amax, Amin] |
|
|
250 | (1) |
|
Acceptable Programs and Neural Networks |
|
|
250 | (2) |
|
|
252 | (1) |
References |
|
253 | (14) |
Index |
|
267 | |