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 条
  • [21] Combining heuristics for default logic reasoning systems
    Nicolas, P
    Saubion, F
    Stéphan, I
    12TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, : 393 - 400
  • [22] Preferential reasoning in the perspective of Poole default logic
    Freund, M
    ARTIFICIAL INTELLIGENCE, 1998, 98 (1-2) : 209 - 235
  • [23] Infinitary default logic for specification of nonmonotonic reasoning
    Engelfriet, J
    Marek, VW
    Treur, J
    Truszczynski, M
    LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 224 - 236
  • [24] Logic and cognition human - Performance in default reasoning
    Pelletier, FJ
    Elio, R
    IN THE SCOPE OF LOGIC: METHODOLOGY & PHILOSOPHY OF SCIENCE, 2002, 315 : 137 - 154
  • [25] DEFAULT REASONING USING LEAST EXCEPTION LOGIC
    POST, SD
    SAGE, AP
    INFORMATION AND DECISION TECHNOLOGIES, 1990, 16 (01): : 43 - 68
  • [26] Compiling reasoning with and about preferences into default logic
    Delgrande, JP
    Schaub, TH
    IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 168 - 174
  • [27] Generalized default logic: Minimal knowledge, autoepistemic and default reasoning reconciled
    Nardi, D
    Rosati, R
    AI(ASTERISK)IA 99: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1792 : 1 - 12
  • [28] Rational default quantifier logic - A canonical framework for monotonic reasoning about first-order default knowledge - Extended abstract
    Weydert, E
    QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, 1997, 1244 : 589 - 599
  • [29] NONMONOTONIC REASONING AND MODAL LOGIC, FROM NEGATION AS FAILURE TO DEFAULT LOGIC
    BALBIANI, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 521 : 223 - 231
  • [30] A Default Logic Based Framework for Argumentation
    Santos, Emanuel
    Martins, Joao Pavao
    ECAI 2008, PROCEEDINGS, 2008, 178 : 859 - +
12345