Description of GADEL - Archive ouverte HAL
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
20 Consultations
0 Téléchargements

Altmetric

Partager

More