2006年3月
Reasoning with inconsistent knowledge base
Systems and Computers in Japan
- ,
- 巻
- 37
- 号
- 3
- 開始ページ
- 41
- 終了ページ
- 48
- 記述言語
- 英語
- 掲載種別
- DOI
- 10.1002/scj.20391
There are several approaches to reasoning from an inconsistent knowledge base, such as the consistency-based method and the argument-based method, from the point of view of the definition of conclusions derived from an inconsistent knowledge base. This paper proposes a treatment focusing on the condition for assuring the validity of conclusions derived from an inconsistent knowledge base. A consistency-based method performs deductive reasoning with consistent subsets selected from an inconsistent knowledge base. There exist maximal consistent sets which derive different conclusions inconsistent with each other. Thus, we propose a condition to distinguish these sets in order to assure the validity of conclusions. On the other hand, an argument-based method takes an argument that consists of a conclusion and a consistent knowledge base which derives the conclusion. This method selects an acceptable argument according to the alternative relation of possible arguments, as a conclusion has arguments from which it is derived and alternative arguments. Thus, we propose a condition which undercuts alternative arguments, in order to assure the validity of a conclusion. We show that these two methods are essentially identical with regard to the validity of a given conclusion by proving these conditions' equivalence. © 2006 Wiley Periodicals, Inc.
- リンク情報
- ID情報
-
- DOI : 10.1002/scj.20391
- ISSN : 0882-1666
- ISSN : 1520-684X
- SCOPUS ID : 33644885269