检索结果-南通市图书馆

default reasoning and Belief Revision:A Syntax-Independent Approach

Journal of Computer Science & Technology 2000年第5期15卷 430-438页

作者：张东摩朱朝晖陈世福 DepartmentofComputerScienceandEngineeringNanjingUniversityofAeronauticsandAstronautics Nanjing210016P.R.China

As an important variant of Relier's default logic, Poole (1988) developed a nonmonotonic reasoning framework in the classical first-order language. Brewka and Nebel extended Poole's approach in order to enable a representation of priorities between defaults. In this paper a general framework for default reasoning is presented, which can be viewed as a generalization of the three approaches above. It is proved that the syntax-independent default reasoning in this framework is identical to the general belief revision operation introduced by Zhang et al. (1997). This result provides a solution to the problem whether there is a correspondence between belief revision and default logic for the infinite case. As a by-product, an answer to the question, raised by Mankinson and Gardenfors (1991), is also given about whether there is a counterpart contraction in nonmonotonic logic.

关键词： nonmonotonic logic default reasoning belief revision

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Comparative Study of default reasoning and Epistemic Processes

引用

Journal of Computer Science & Technology 1993年第3期8卷 193-204页

作者：李未 Department of Computer Science Beijing University of Aeronautics and AstronauticsBeijing 100083

A comparative study between the theories of default reasoning and open logic is *** concepts of open logic,such as new premises,rejections by facts,reconstructions,epistemic processes, and its limit are introduced to describe the evolution of *** improved version of the limit the- orem is given and proved.A model-theoretic interpretation of the closed normal defaults is given using the above concepts and the corresponding completeness is *** extension of a closed normal default theory is proved to be the limit of a δ-partial increasing epistemic process of that theory,and vice *** Ls proved that there exist two distinct extensions of a closed normal default theory iff there is an δ-non-monotonic epistemic process of that *** completeness of Reiter's proof is also given and proved,in terms of the epistemic ***,the work is compared with G(?)rdenfors's theory of knowledge in flux.

关键词： default reasoning epistemic processes open logic

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Regular Disjunction-Free default Theories

引用

Journal of Computer Science & Technology 2004年第3期19卷 329-340页

作者： Xi-ShunZhao InstituteofLogicandCognition SunYat-SenUniversityGuangzhou510275P.R.China

In this paper, the class of regular disjunction-free default theories is introduced and investigated. A transformation from regular default theories to normal default theories is established. The initial theory and the transformed theory have the same extensions when restricted to old variables. Hence, regular default theories enjoy some similar properties (e.g., existence of extensions, semi-monotonicity) as normal default theories. Then, a new algorithm for credulous reasoning of regular theories is developed. This algorithm runs in a time not more than O(1.45(n)), where n is the number of defaults. In case of regular prerequisite-free or semi-2CNF default theories, the credulous reasoning can be solved in polynomial time. However, credulous reasoning for semi-Horn default theories is shown to be NP-complete although it is tractable for Horn default theories. Moreover, skeptical reasoning for regular unary default theories is co-NP-complete.

关键词： regular disjunction-free default logic extension default reasoning algorithm complexity

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：