💾 Archived View for gemini.logological.org › delores.gmi captured on 2021-12-17 at 13:26:06. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2021-11-30)

-=-=-=-=-=-=-

DELORES

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.

DELORES is Free Software. It is distributed under the terms of the GNU General Public Licence.

Free Software

GNU General Public Licence

Downloading

The latest version of DELORES is 0.91, released on 2003-12-18. A list of changes from previous versions can be found in the change log.

change log

You can download source packages for the current and previous releases on GitHub or nothingisreal.com. You can also browse, download, or clone the development version on GitHub.

DELORES releases on GitHub

DELORES releases on nothingisreal.com

browse, download, or clone the development version on GitHub

Documentation

The distribution includes a Unix man page plus a Programmer's Guide (in LaTeX, DVI, and PDF formats). You can also read the online HTML documentation.

online HTML documentation

For more information on DELORES and defeasible logic, please visit Michael Maher's publications page.

Michael Maher's publications page

Authors

DELORES was originally conceived by Michael Maher and implemented by Tristan Miller. Development of DELORES was supported by the Australian Research Council under grant A49803544.

Michael Maher

Tristan Miller

Please report bugs to the GitHub issue tracker or by e-mail to Tristan Miller.

GitHub issue tracker

Tristan Miller

Last modified: 2021-08-08 21:36 CEST