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…