Description of GADEL - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2000

Description of GADEL

Résumé

This article describes the first implementation of the GADEL system : a Genetic Algorithm for Default Logic. The goal of GADEL is to compute extensions in Reiter's default logic. It accepts every kind of finite propositional default theories and is based on evolutionary principles of Genetic Algorithms. Its first experimental results on certain instances of the problem show that this new approach of the problem can be successful.

Dates et versions

hal-00121991 , version 1 (23-12-2006)

Identifiants

Citer

I. Stephan, F. Saubion, P. Nicolas. Description of GADEL. 2000. ⟨hal-00121991⟩

Collections

UNIV-ANGERS LERIA
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More