ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Some Properties of Knowledge Information Inferred by Two Interactive Default Reasoning Systems.

Kenji Murakami, Tsunehiro Aibara: Some Properties of Knowledge Information Inferred by Two Interactive Default Reasoning Systems. DASFAA 1989: 125-132
@inproceedings{DBLP:conf/dasfaa/MurakamiA89,
  author    = {Kenji Murakami and
               Tsunehiro Aibara},
  editor    = {Sukho Lee and
               Hideko S. Kunii and
               Won Kim and
               In Sup Paik and
               Yahiko Kambayashi},
  title     = {Some Properties of Knowledge Information Inferred by Two Interactive
               Default Reasoning Systems},
  booktitle = {International Symposium on Database Systems for Advanced Applications,
               Seoul, Korea, April 10-12, 1989},
  publisher = {Dept. of Computer Science, KAIST, P.O. Box 150, ChongRyang, Seoul,
               131-650, Korea},
  year      = {1989},
  pages     = {125-132},
  ee        = {db/conf/dasfaa/MurakamiA89.html},
  crossref  = {DBLP:conf/dasfaa/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

A new concept of beliefs called interactiue extension which are derivable from two interconnected default reasoning systems is proposed, and its properties are discussed. Default reasoning proposed by R. Reiter is suitable for incomplete knowledge reasoning in artificial intelligence, logic programming and deductive database, because it can draw plausible conclusions from the incomplete axioms. Since the conclusions can be invalidated when the partial world description is supplemented by new information, the logic based on the reasoning is a nonmonotonic logic. When two default reasoning system are interconnected and exchange their beliefs each other, each system has a set of beliefs finally by the default reasoning about the originally owned beliefs and the exchanged beliefs. A pair of acceptable sets of the beliefs for each system is called interactive extension of the systems. When a large scale default reasoning system (deductive database) is constructed by a consolidation of many small scale default reasoning systems, the beliefs of each system should he increased by the default reasoning and the interactions (communication) with other systems. In order to analyze the properties of the set of final beliefs acquired each system, the proposed interactive extension of the default systems is an indispensable concept.

Copyright © 1989 by The Organizing Commitee of the International Symposium on Database Systems for Advanced Applications. Permission to copy without all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the DASFAA copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Organizing Commitee of the International Symposium on Database Systems for Advanced Applications. To copy otherwise, or to republish, requires a fee and/or special permission from the Organizing Commitee.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

References

[1]
Jack Minker (Ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, ISBN 0-934613-40-0
Contents BibTeX
[2]
...
[3]
Jon Doyle: A Truth Maintenance System. Artif. Intell. 12(3): 231-272(1979) BibTeX
[4]
John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980) BibTeX
[5]
Drew V. McDermott, Jon Doyle: Non-Monotonic Logic I. Artif. Intell. 13(1-2): 41-72(1980) BibTeX
[6]
Drew V. McDermott: Nonmonotonic Logic II: Nonmonotonic Modal Theories. J. ACM 29(1): 33-57(1982) BibTeX
[7]
Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX
[8]
...
[9]
...
[10]
...
[11]
...
[12]
...
[13]
...
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:05:12 2009