Defeasible reasoning and logic programming

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

Abstract

The general conditions of epistemic defeat are naturally represented through the interplay of two distinct kinds of entailment, deductive and defeasible. Many of the current approaches to modeling defeasible reasoning seek to define defeasible entailment via model-theoretic notions like truth and satisfiability, which, I argue, fails to capture this fundamental distinction between truthpreserving and justification-preserving entailments. I present an alternative account of defeasible entailment and show how logic programming offers a paradigm in which the distinction can be captured, allowing for the modeling of a larger range of types of defeat. This is possible through a natural extension of the declarative and procedural semantics of Horn clauses.

Original languageEnglish (US)
Pages (from-to)417-436
Number of pages20
JournalMinds and Machines
Volume1
Issue number4
DOIs
StatePublished - Nov 1 1991

Keywords

  • Defeasible reasoning
  • entailment
  • justification
  • logic programming

Fingerprint Dive into the research topics of 'Defeasible reasoning and logic programming'. Together they form a unique fingerprint.

Cite this