Begin4
Title: DELORES
Version: 0.91
Entered-date: 2004-01-18
Description: DELORES (DEfeasible LOgic REasoning System) is a
forward-chaining reasoning engine for defeasible logic, a less
expressive but more efficient nonmonotonic logic. In contrast with
most other nonmonotonic logics, defeasible logic has linear
complexity, allowing DELORES to execute large theories very
quickly. DELORES's algorithm extends to general defeasible theories
through the use of a preprocessing transformation which eliminates all
uses of defeaters and superiority relations. The transformation was
designed to provide incremental transformation of defeasible theories,
and systematically uses new atoms and new defeasible rules to simulate
the eliminated features.
Keywords: DELORES, defeasible logic, non-monotonic logic, nonmonotonic
logic, logic, reasoning engine, Prolog
Author: psychonaut@nothingisreal.com (Tristan Miller)
Maintained-by: psychonaut@nothingisreal.com (Tristan Miller)
Primary-site: http://www.dfki.uni-kl.de/~miller/delores
758K delores-0.91.tar.bz2
Platforms: platform-independent
Copying-policy: GPL
End