Abstract | ||
---|---|---|
We propose a multi-agent cooperative reasoning system for amalgamated knowledge bases. A multi-agent cooperation environment, where inconsistency is allowed, can be presented by an amalgamated knowledge base. Our reasoning method is an extension of the magic sets technique [2] for amalgamated knowledge bases, augmented with the capabilities of handling amalgamated atoms. Through rewriting a given amalgamated knowledge base, our method offers the advantages associated with top-down as well as bottom-up evaluation. Especially, our reasoning method makes unnecessary the expensive reductant rules of inference introduced in [5], and the translation of a given amalgamated knowledge base into its regular representation as in [1]. We consider how to make the bottom-up computation for amalgamated atoms, describe the extended magic sets translation rules, and discuss some related problems. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/BFb0030084 | DAI |
Keywords | Field | DocType |
amalgamated knowledge bases,amalga- mated knowledge bases,inconsistency,reasoning system,magic sets,multi-agent cooperation,multi-agent cooperative reasoning system,knowledge base,top down,bottom up | Regular representation,Artificial intelligence,Rewriting,Knowledge base,Reasoning system,Rule of inference,Mathematics,Computation,Magic sets | Conference |
Volume | ISSN | ISBN |
1286 | 0302-9743 | 3-540-63412-6 |
Citations | PageRank | References |
0 | 0.34 | 6 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lifeng He | 1 | 441 | 40.97 |
Yuyan Chao | 2 | 315 | 24.07 |
Shohei Kato | 3 | 170 | 39.56 |
Tetsuo Araki | 4 | 7 | 4.01 |
Hirohisa Seki | 5 | 276 | 52.30 |
Hidenori Itoh | 6 | 368 | 252.31 |