Considerations on default logic: an alternative approach1
作者:
Witold Łukaszewicz,
期刊:
Computational Intelligence
(WILEY Available online 1988)
卷期:
Volume 4,
issue 1
页码: 1-16
ISSN:0824-7935
年代: 1988
DOI:10.1111/j.1467-8640.1988.tb00086.x
出版商: Blackwell Publishing Ltd
关键词: knowledge representation;nonmonotonic reasoning;default reasoning;représentation des connaissances;raisonnement non monotone;raisonnement implicite
数据来源: WILEY
摘要:
In the following paper we analyze Reiter's default logic and suggest modifying the notion of an extension for default theories. This modification leads to two important properties which are not guaranteed in Reiter's formalism: the existence of extensions and semimonotonicity.
点击下载:
PDF
(1347KB)
返 回