Hostname: page-component-7dd5485656-k8lnt Total loading time: 0 Render date: 2025-10-30T14:31:51.736Z Has data issue: false hasContentIssue false
  • English
  • Français

Propositional defeasible logic has linear complexity

Published online by Cambridge University Press:  09 June 2004

MICHAEL J. MAHER
MICHAEL J. MAHER
Affiliation:
Department of Mathematical and Computer Sciences, Loyola University Chicago, Chicago, IL, USA; (e-mail: mjm@cs.luc.edu) School of Computing & Information Technology, Griffith University
Get access Rights & Permissions [Opens in a new window]

Abstract

Defeasible logic is a rule-based nonmonotonic logic, with both strict and defeasible rules, and a priority relation on rules. We show that inference in the propositional form of the logic can be performed in linear time. This contrasts markedly with most other propositional nonmonotonic logics, in which inference is intractable.

Keywords

defeasible reasoningnon-monotonic logiccomputational complexity

Information

Type
Research Article
Information
Theory and Practice of Logic Programming , Volume 1 , Issue 6 , November 2001 , pp. 691 - 711
Copyright
© 2001 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable