Institutional Repository
| A logic for default reasoning | |
| R. Reiter | |
| 1980 | |
| Source | Artificial Intelligence
 |
| Volume | 13Issue:1-2Pages:81-132 |
| English Abstract | The need to make default assumptions is frequently encountered in reasoning about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non-monotonicity of any logic of defaults. In this paper we propose a logic for default reasoning. We then specialize our treatment to a very large class of commonly occuring defaults. For this class we develop a complete proof theory and show how to interface it with a top down resolution theorem prover. Finally, we provide criteria under which the revision of derived beliefs must be effected. |
| Indexed Type | 其他 |
| Cooperation Status | 其它 |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1364 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | R. Reiter. A logic for default reasoning[J]. Artificial Intelligence,1980,13(1-2):81-132. |
| APA | R. Reiter.(1980).A logic for default reasoning.Artificial Intelligence,13(1-2),81-132. |
| MLA | R. Reiter."A logic for default reasoning".Artificial Intelligence 13.1-2(1980):81-132. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| bj01151361.pdf（3078KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment