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


A framework for default logic with case reasoning
Authors:Mingyi Zhang  Dan Zhang
Affiliation:(1) Department of Computer Science, Guizhou University, 550025 Guiyang, China;(2) Guizhou Academy of Sciences, 550001 Guiyang, China;(3) Department of Accounting, Guizhou Financial and Economic University, 550001 Guiyang, China
Abstract:Brewka's framework for default logic is extended such that this new framework is possessed of more powerful expressivity when reasoning by cases. Under this extended framework a characterization of extensions of a default theory is given. From this characterization the algorithms for main reasoning tasks in default logic with case reasoning are derived.
Keywords:default logic  compatible class of sets of defaults  reasoning by cases  characterization  algorithm  
本文献已被 CNKI SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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