An algorithm to compute circumscription
type: Item
instance of: scholarly article
title: An algorithm to compute circumscription
zbMATH Open document ID: 0663.68098
DOI: 10.1016/0004-3702(89)90067-2
published in: Artificial Intelligence
publication date: 1989-01-01T00:00:00Z
review text: McCarthy's theory of circumscription appears to be the most powerful among various formalizations of nonmonotonic reasoning designed to handle incomplete and negative information in knowledge representation systems. In this paper we describe a query answering algorithm for circumscriptive theories. The closed-world assumption (CWA) and its generalizations, the generalized closed-world assumption (GCWA) and the extended closed-world assumption (ECWA), can be considered as special forms of circumscription. Consequently, our algorithm also applies to answering queries in theories using the closed-world assumption and its generalizations. Similarly, since prioritized circumscription is equivalent to a conjunction of (parallel) circumscriptions, our algorithm can be used to answer queries in theories circumscribed by prioritized circumscription.
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 4085062
zbMATH Keywords: incomplete information
zbMATH Keywords: circumscription
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: negative information
zbMATH Keywords: knowledge representation systems
zbMATH Keywords: closed-world assumption
author: Teodor C. Przymusinski
MaRDI profile type: Publication
full work available at URL: 0004-3702(89)90067-2
OpenAlex ID: W2004352874
cites work: Saturation, nonmonotonic reasoning and the closed-world assumption
cites work: Q5679729
cites work: Q3340205
cites work: Negation as failure: careful closure procedure
cites work: Closed-world databases and circumscription
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Non-monotonic logic. I
cites work: Q3939270
cites work: Semantical considerations on nonmonotonic logic
cites work: Q3348437
cites work: A logic for default reasoning
cites work: Q3348436
cites work: Deduction in non-Horn databases
description: scientific article; zbMATH DE number 4085062