Efficient defeasible reasoning systems

M. J. Maher, A. Rock, G. Antoniou, D. Billington, T. Miller

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 Citations (Scopus)


For many years, the non-monotonic reasoning community has focussed on highly expressive logics. Such logics have turned out to be computationally expensive, and have given little support to the practical use of non-monotonic reasoning. In this work we discuss defeasible logic, a less-expressive but more efficient non-monotonic logic. We report on two new implemented systems for defeasible logic: a query answering system employing a backward chaining approach, and a forward-chaining implementation that computes all conclusions. Our experimental evaluation demonstrates that the systems can deal with large theories (up to hundreds of thousands of rules). We show that defeasible logic has linear complexity, which contrasts markedly with most other non-monotonic logics and helps to explain the impressive experimental results. We believe that defeasible logic, with its efficiency and simplicity is a good candidate to be used as a modelling language for practical applications, including modelling of regulations and business rules.

Original languageEnglish
Title of host publicationProceedings - International Conference on Tools with Artificial Intelligence, ICTAI
EditorsFrances M. Titsworth
Number of pages9
ISBN (Electronic)0769509118
ISBN (Print)0769509096, 076950910X
Publication statusPublished - 6 Aug 2002
Externally publishedYes
Event12th IEEE International Conference on Tools with Artificial Intelligence - Vancouver, Canada
Duration: 13 Nov 200015 Nov 2000
Conference number: 12

Publication series

NameInternational Conference on Tools with Artificial Intelligence
ISSN (Print)1082-3409


Conference12th IEEE International Conference on Tools with Artificial Intelligence
Abbreviated titleICTAI 2000
Internet address


Dive into the research topics of 'Efficient defeasible reasoning systems'. Together they form a unique fingerprint.

Cite this