Genetic Algorithms for Extension Search in Default Logic

02/24/2000
by   P. Nicolas, et al.
0

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 problem of finding such an extension is very difficult if one wants to deal with non trivial knowledge bases. Based on the principle of natural selection, Genetic Algorithms have been quite successfully applied to combinatorial problems and seem useful for problems with huge search spaces and when no tractable algorithm is available. The purpose of this paper is to show that techniques issued from Genetic Algorithms can be used in order to build an efficient default reasoning system. After providing a formal description of the components required for an extension search based on Genetic Algorithms principles, we exhibit some experimental results.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/07/2000

Description of GADEL

This article describes the first implementation of the GADEL system : a ...
research
10/04/2011

On the Parameterized Complexity of Default Logic and Autoepistemic Logic

We investigate the application of Courcelle's Theorem and the logspace v...
research
01/28/1999

Representation Theory for Default Logic

Default logic can be regarded as a mechanism to represent families of be...
research
04/28/2022

Genetic Improvement in the Shackleton Framework for Optimizing LLVM Pass Sequences

Genetic improvement is a search technique that aims to improve a given a...
research
02/06/2013

Sequential Thresholds: Context Sensitive Default Extensions

Default logic encounters some conceptual difficulties in representing co...
research
05/12/2019

Sequent-Type Proof Systems for Three-Valued Default Logic

Sequent-type proof systems constitute an important and widely-used class...
research
01/15/2014

The Complexity of Circumscription in DLs

As fragments of first-order logic, Description logics (DLs) do not provi...

Please sign up or login with your details

Forgot password? Click here to reset