A framework for default logic with case reasoning

被引：0
|
作者：
Mingyi Zhang
Dan Zhang
机构：
[1] Guizhou University,Department of Computer Science
[2] Guizhou Academy of Sciences,Department of Accounting
[3] Guizhou Financial and Economic University,undefined
来源：
Science in China Series E: Technological Sciences | 1998年 / 41卷
关键词：
default logic; compatible class of sets of defaults; reasoning by cases; characterization; algorithm;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：215 / 224
页数：9
相关论文
共 50 条
  • [1] A framework for default logic with case reasoning
    Zhang, D
    Zhang, MY
    PROCEEDINGS OF THE SECOND ASIAN MATHEMATICAL CONFERENCE 1995, 1998, : 189 - 192
  • [2] A framework for default logic with case reasoning
    张明义
    张丹
    Science in China(Series E:Technological Sciences), 1998, (02) : 215 - 224
  • [3] A framework for default logic with case reasoning
    Zhang, MY
    Zhang, D
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1998, 41 (02): : 215 - 224
  • [4] Framework for default logic with case reasoning
    Zhang, Mingyi
    Zhang, Dan
    Science China Series E Technological Sciences, 1998, 41 (02): : 215 - 224
  • [5] A LOGIC FOR DEFAULT REASONING
    REITER, R
    ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 81 - 132
  • [6] Reasoning by cases in default logic
    Roos, N
    ARTIFICIAL INTELLIGENCE, 1998, 99 (01) : 165 - 183
  • [7] DEFAULT REASONING IN A TERMINOLOGICAL LOGIC
    SEBASTIANI, F
    STRACCIA, U
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (03): : 225 - 251
  • [8] Description logic with default reasoning
    Dong, Ming-Kai
    Jiang, Yun-Cheng
    Shi, Zhong-Zhi
    Jisuanji Xuebao/Chinese Journal of Computers, 2003, 26 (06): : 729 - 736
  • [9] A base logic for default reasoning
    Zhou Beihai
    Mao Yi
    FRONTIERS OF PHILOSOPHY IN CHINA, 2006, 1 (04) : 688 - 709
  • [10] A Default Logic Based Framework for Context-Dependent Reasoning with Lexical Knowledge
    Anthony Hunter
    Journal of Intelligent Information Systems, 2001, 16 : 65 - 87
12345