Support Vector Inductive Logic Programming

2005 ◽  
pp. 163-175 ◽  
Author(s):  
Stephen Muggleton ◽  
Huma Lodhi ◽  
Ata Amini ◽  
Michael J. E. Sternberg
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Support Vector

scholarly journals Discovering rules for protein-ligand specificity using support vector inductive logic programming

2009 ◽  
Vol 22 (9) ◽  
pp. 561-567 ◽  
Author(s):  
L. A. Kelley ◽  
P. J. Shrimpton ◽  
S. H. Muggleton ◽  
M. J.E. Sternberg
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Support Vector ◽  
Ligand Specificity

Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning Systems

2020 ◽  
Author(s):  
Fabio A. D'Asaro ◽  
Matteo Spezialetti ◽  
Luca Raggioli ◽  
Silvia Rossi
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Black Box ◽  
User Preferences ◽  
Programming Approach ◽  
Support Vector ◽  
Original Dataset ◽  
Box Models ◽  
Weak Constraints

In this paper we advocate the use of Inductive Logic Programming as a device for explaining black-box models, e.g. Support Vector Machines (SVMs), when they are used to learn user preferences. We present a case study where we use the ILP system ILASP to explain the output of SVM classifiers trained on preference datasets. Explanations are produced in terms of weak constraints, which can be easily understood by humans. We use ILASP both as a global and a local approximator for SVMs, score its fidelity, and discuss how its output can prove useful e.g. for interactive learning tasks and for identifying unwanted biases when the original dataset is not available. Finally, we highlight directions for further work and discuss relevant application areas.

ILPNET repositories on WWW: Inductive Logic Programming systems, datasets and bibliography

1996 ◽  
Vol 9 (4) ◽  
pp. 157-206 ◽  
Author(s):  
Nada Lavrač ◽  
Irene Weber ◽  
Darko Zupanič ◽  
Dimitar Kazakov ◽  
Olga Štěpánková ◽  
...  
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Programming Systems
Sign in / Sign up

Export Citation Format

Share Document