ECAI-2000 Logo

ECAI-2000 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

GADEL: a Genetic Algorithm to Compute Default Logic Extensions

Pascal Nicolas, Frédéric Saubion, Igor Stéphan

In the area of Default Logic, after many theoretical works, some operational systems are now able to deal with real world applications. However, due to the theoretical complexity of the problem, finding a Default Logic extension in a practical way is not yet possible in whole generality. Our work presents a new methodology to implement an automated default reasoning system based on Genetic Algorithms techniques. The aim of this paper is not to exhibit a program able to compute extensions of every kind of default theories in a minimal time, but to present a new promising approach of the problem. We provide here a formal description of the components required for a Default Logic extension search based on Genetic Algorithms principles. We give also a formal result to ensure the correctness of our approach and some experimental results that are very interesting w.r.t. other existing systems.

Keywords: Nonmonotonic Reasoning, Genetic Algorithms

Citation: Pascal Nicolas, Frédéric Saubion, Igor Stéphan: GADEL: a Genetic Algorithm to Compute Default Logic Extensions. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.484-488.

[prev] [tofc] [next]

ECAI-2000 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Humboldt University on behalf of Gesellschaft für Informatik.