On the adequacy of predicate circumscription for closed‐world reasoning
作者:
David W. Etherington,
Robert E. Mercer,
Raymond Reiter,
期刊:
Computational Intelligence
(WILEY Available online 1985)
卷期:
Volume 1,
issue 1
页码: 11-15
ISSN:0824-7935
年代: 1985
DOI:10.1111/j.1467-8640.1985.tb00055.x
出版商: Blackwell Publishing Ltd
数据来源: WILEY
摘要:
We focus on McCarthy's method of predicate circumscription in order to establish various results about its consistency, and about its ability to conjecture new information. A basic result is that predicate circumscription cannot account for the standard kinds of default reasoning. Another is that predicate circumscription yields no new information about the equality predicate. This has important consequences for the unique names and domain closure assumptions.
点击下载:
PDF
(541KB)
返 回