The anomalous extension problem in default reasoning
type: Item
instance of: scholarly article
title: The anomalous extension problem in default reasoning
zbMATH Open document ID: 0648.03016
DOI: 10.1016/0004-3702(88)90022-7
author: Paul H. Morris
published in: Artificial Intelligence
publication date: 1988-01-01T00:00:00Z
review text: \textit{S. Hanks} and \textit{D. McDermott} [Proc. AAAI-86, Philadelphia, PA, 328-333 (1986)] presented for temporal reasoning in nonmonotonic logic an example with two incompatible extensions such that one of them is counter-intuitive. The paper first shows that such an effect is not tied with temporal logic but can be found also in usual nonmonotonic reasoning. As a first way out the author discusses the use of the truth maintenance systems of \textit{J. Doyle} [Artif. Intell. 12, 231-272 (1979)]. This leads him to another way out: the essential use of nonnormal default rules. Finally, this forces him to speculate upon different ways of inconsistency handling in nonmonotonic reasoning. A stimulating paper.
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 4057485
zbMATH Keywords: temporal reasoning
zbMATH Keywords: nonmonotonic logic
zbMATH Keywords: temporal logic
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: truth maintenance systems
zbMATH Keywords: nonnormal default rules
reviewed by: Siegfried J. Gottwald
MaRDI profile type: Publication
full work available at URL: 0004-3702(88)90022-7
OpenAlex ID: W2039797670
cites work: A logic for default reasoning
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Some representational issues in default reasoning
cites work: Formalizing nonmonotonic reasoning systems
cites work: Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
description: scientific article; zbMATH DE number 4057485