Default Reasoning with Inconsistent Knowledge
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    A novel theory called bi-default theory is proposed for handling inconsistent knowledge simultaneously in the context of default logic without leading to triviality of the extension. To this end, the positive and negative transformations of propositional formulas are defined such that the semantic link between a literal and its negation is split. Most theorems of default logic can be reproduced in the setting of the bi-default logic. It is proven that the bi-default logic is a generalization of the default logic in the presence of inconsistency. A method is provided as an alternative approach for making the reasoning ability of paraconsistent logic as powerful as the classical one.

    Reference
    Related
    Cited by
Get Citation

韩庆,林作铨.不协调知识的缺省推理.软件学报,2004,15(7):1030-1041

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:December 26,2003
  • Revised:March 17,2004
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063