摘要
推理的不确定性来自信息或知识的不完全,这种不确定性几乎是无处不存在的,它使得修改乃至废除推理过程中的结论显得十分重要,从而也使可作废推理成为智能行为(不论是人或机器的)的显著特征。因此,研究推理的不确定性并使之形式化成为人工智能中最新、最热也最难的方向。本文扼要介绍可作废推理的研究途径、发展、特征和有待解决的问题;同时简介作者的一些新近研究结果,以期引起同行的更深入、更有价值的探索。
Defeasible reasoning is emerging as an important domain for Artificial Intelligence research. This article provides a description of research motivation methodology approaches,advantages and some open problems on defeasible reasoning, and briefly introduces our recent results on the existence of extensions for general default theories: a characterization of extensions; a more larger class of defauts than normal oneii.e.Autocompatible defaults which engoys the same nice features as the normol default theory does; some important properties on the extensions.
出处
《贵州科学》
1992年第2期73-80,共8页
Guizhou Science
关键词
可作废推理
人工智能
非单调性
Defeasible Reasoning
Artificial Intelligence
Nonmonotinicy
Formalism
