2 papers
cs.AI2000
Description of GADEL
I. Stephan, F. Saubion, P. Nicolas
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. I…
cs.AI2000
Genetic Algorithms for Extension Search in Default Logic
P. Nicolas, F. Saubion, I. Stephan
A default theory can be characterized by its sets of plausible conclusions, called its extensions. But, due to the theoretical complexity of Default Logic (Sigma_2p-complete), the…