Introducing possibilistic logic in ILP for dealing with exceptions

In this paper we propose a new formalization of the inductive logic programming (ILP) problem for a better handling of exceptions. It is now encoded in first-order possibilistic logic. This allows us to handle exceptions by means of prioritized rules, thus taking lessons from non-monotonic reasoning...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Artificial intelligence Ročník 171; číslo 16; s. 939 - 950
Hlavní autori: Serrurier, Mathieu, Prade, Henri
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Amsterdam Elsevier B.V 01.11.2007
Elsevier
Predmet:
Applied sciences
Artificial intelligence
Computer Science
Computer science; control theory; systems
Exact sciences and technology
Inductive logic programming
Learning and adaptive systems
Machine Learning
Non-monotonic reasoning
Possibilistic logic
Inductive logic programming
Possibilistic logic
Non-monotonic reasoning
Exception handling
Priority
Algorithmics
Competitive algorithms
Circumscription
Possibility theory
First order logic
Simulated annealing
Artificial intelligence
Mathematical programming
ISSN:0004-3702, 1872-7921
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:In this paper we propose a new formalization of the inductive logic programming (ILP) problem for a better handling of exceptions. It is now encoded in first-order possibilistic logic. This allows us to handle exceptions by means of prioritized rules, thus taking lessons from non-monotonic reasoning. Indeed, in classical first-order logic, the exceptions of the rules that constitute a hypothesis accumulate and classifying an example in two different classes, even if one is the right one, is not correct. The possibilistic formalization provides a sound encoding of non-monotonic reasoning that copes with rules with exceptions and prevents an example to be classified in more than one class. The benefits of our approach with respect to the use of first-order decision lists are pointed out. The possibilistic logic view of ILP problem leads to an optimization problem at the algorithmic level. An algorithm based on simulated annealing that in one turn computes the set of rules together with their priority levels is proposed. The reported experiments show that the algorithm is competitive to standard ILP approaches on benchmark examples.
ISSN:0004-3702
1872-7921
DOI:10.1016/j.artint.2007.04.016