Open AccessInductive constraint logic
Author(s) -
Luc De Raedt,
Wim Van Laer
Publication year - 1995
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-60454-5
DOI - 10.1007/3-540-60454-5_30
Subject(s) - inductive logic programming , heuristics , constraint (computer aided design) , representation (politics) , mathematics , constraint logic programming , duality (order theory) , logic programming , artificial intelligence , computer science , theoretical computer science , algorithm , constraint satisfaction , discrete mathematics , mathematical optimization , probabilistic logic , geometry , political science , politics , law
. A novel approach to learning first order logic formulae from positive and negative examples is presented. Whereas present inductive logic programming systems employ examples as true and false ground facts (or clauses), we view examples as interpretations which are true or false for the target theory. This viewpoint allows to reconcile the inductive logic programming paradigm with classical attribute value learning in the sense that the latter is a special case of the former. Because of this...
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom