DELORES
DELORES (DEfeasible LOgic REasoning System) is a forward-chaining reasoning engine for defeasible logic, a less-expressive but more efficient non-monotonic logic. In contrast with most other non-monotonic 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 pre-processing transformation which eliminates all uses of defeaters and superiority relations.
| Tags | Software Development Interpreters Scientific/Engineering Mathematics Artificial Intelligence |
|---|---|
| Licenses | GPL |
| Operating Systems | OS Independent |
| Implementation | Prolog Other |
Recent releases
- 18 Dec 2003 14:35
Changes: The print() directive now prints out theory conclusions (this important feature was inadvertently omitted from the 0.90 release). The man page now contains info on theory conclusions. The documentation has been placed under a less restrictive licence. An erroneous version number in the NEWS file was fixed.
- 14 Dec 2003 07:41
Changes: This is the first public release of DELORES. It is now packaged in a manner similar to most GNU programs, including a "configure" configuration/installation script suitable for Unix-like systems. The programmer's manual is now available as DVI, PDF, and LaTeX. A Unix man page is now available.
