首页 | 本学科首页   官方微博 | 高级检索  
     

Fixed-Parameter Tractability of Disjunction-Free Default Reasoning
作者姓名:赵希顺  丁德成
作者单位:[1]InstituteofLogicandCognition,ZhongshanUniversity,Guangzhou510275,P.R.China [2]DepartmentofMathematics,NanjingUniversity,Nanjing210093,P.R,China
基金项目:This research was partially supported by the MOE project "Computational Complexity of Intelligent Reasoning" (Grant No.01JB72040001),and the National Natural Science Foundation of China for the Project "Study of Fixed Parameter Complexity for Hard Com
摘    要:In this paper,the parameter which is the source of the complexity of disjunctionfree default reasoning is determined.It is shown that when the value of this parameter is fixed,the disjunction-free default reasoning can be solved time bounded by a polynomial whose degree does not depend on the parameter.Consequently,disjunction-free default reasoning is fixed parameter tractable.

关 键 词:人工智能  自动推理  固定参数处理

Fixed-parameter tractability of disjunction-free default reasoning
Zhao?XiShun?Email author,Ding?DeCheng.Fixed-Parameter Tractability of Disjunction-Free Default Reasoning[J].Journal of Computer Science and Technology,2003,18(1):0-0.
Authors:Email author" target="_blank">Zhao?XiShun?Email author  Ding?DeCheng
Affiliation:(1) Institute of Logic and Cognition, Zhongshan University, 510275 Guangzhou, P.R. China;(2) Department of Mathematics, Nanjing University, 210093 Nanjing, P.R. China
Abstract:In this paper, the parameter which is the source of the complexity of disjunction-free default reasoning is determined. It is shown that when the value of this parameter is fixed, the disjunction-free default reasoning can be solved in time bounded by a polynomial whose degree does not depend on the parameter. Consequently, disjunction-free default reasoning is fixed parameter tractable.
Keywords:disjunction-free default  fixed-parameter tractability  credulous reasoning  skeptical reasoning
本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录!
点击此处可从《计算机科学技术学报》浏览原始摘要信息
点击此处可从《计算机科学技术学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号