Skeptical rational extensions

Artur Mikitiuk, Miroslaw Truszczyński

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

1 Scopus citations


In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justifications are never used together in constructing a set of default consequences of a theory; (2) the reasoning formalized by our logic is related to the traditional skeptical mode of default reasoning. Our logic is based on the concept of a skeptical rational extension. We give characterization results for skeptical rational extensions and an algorithm to compute them. We present some complexity results. Our main goal is to characterize cases when the class of skeptical rational extensions is closed under intersection. In the case of normal default theories our logic coincides with the standard skeptical reasoning with extensions. In the case of seminormal default theories our formalism provides a description of the standard skeptical reasoning with rational extensions.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings
EditorsV. Wiktor Marek, Miroslaw Truszczynski, Anil Nerode
Number of pages14
StatePublished - 1995
Event3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 - Lexington, United States
Duration: Jun 26 1995Jun 28 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995
Country/TerritoryUnited States

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1995.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Skeptical rational extensions'. Together they form a unique fingerprint.

Cite this