Representing defaults with epistemic concepts
作者:
Kurt Konolige,
Karen Myers,
期刊:
Computational Intelligence
(WILEY Available online 1989)
卷期:
Volume 5,
issue 1
页码: 32-44
ISSN:0824-7935
年代: 1989
DOI:10.1111/j.1467-8640.1989.tb00313.x
出版商: Blackwell Publishing Ltd
数据来源: WILEY
摘要:
Reasoning about defaults—implications that typically hold, but which may have exceptions—is an important part of commonsense reasoning. We present some parts of a theory of defaults, concentrating on distinctions between various subtle ways in which defaults can be defeated, and on inferences which seem plausible but which are not correct in all cases. To represent this theory in a formal system, it is natural to use the epistemic concept of self‐belief. We show how to express the theory by a local translation into autoepistemic logic, which contains the requisite epistemic oper
点击下载:
PDF
(1459KB)
返 回