Analytic tableaux for default logics
作者:
Vincent Risch,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1996)
卷期:
Volume 6,
issue 1
页码: 71-88
ISSN:1166-3081
年代: 1996
DOI:10.1080/11663081.1996.10510867
出版商: Taylor & Francis Group
关键词: default logics;tableaux
数据来源: Taylor
摘要:
Extending a previous approach devoted to Reiter's default logic, this paper defines a general tableaux-based framework for the computation of extensions for several well-know default logics. The ideas are (1) to qualify the differences between the variant under consideration inside a single process that can switch easily from one variants to another, (2) to relate the construction of a tractable tableau representation of extensions to the idea of compiling default theories.
点击下载:
PDF (823KB)
返 回