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.
This research is supported in part by the Japanese Ministry of Education and the Artificial Intelligence Research Promotion Foundation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
S. Adali and V.S. Subrahmanian, ‘Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing', Journal of Logic Programming, Vol.28, NO. 1, pp 45–88, 1997.
A. Bancilhon, D. Maier, U. Sagiv and J.D., Ullman, ‘Magic Sets and Other Strange Ways to Implement Logic Programs', Proceedings of Fifth ACM SIGMOD-SIGACT-SIGART symp. on Principles of Database Systems, pp. 1–15, 1986.
H.A. Blair and V.S. Subrahmanian, ‘Paraconsistent Logic Programming', LNCS 287, Dec. 1987.
L. He, ‘The Correctness of the Extended Magic Sets Method for AKBs', Technical Report, Itoh Lab., Nagoya Institute of Technology, Japan, 1996.
M. Kifer and E. Lozinskii, ‘A Logic for Reasoning with Inconsistency', J. of Automated Reasoning 9, pp.179–215, 1992.
M. Kifer and V.S. Subrahrnanian, ‘Theory of Generalized Annotated Logic Programming and Its Applications', J. of Logic Programming, 12, 4, pp. 335–368, 1992.
U.W. Schwuttke and A.G. Quan, ‘Enhancing Performance of Cooperating Agents in Real-Time Diagnostic System', Proceedings of IJLAI, pp.332–337, 1993.
V.S. Subrahmanian, ‘Paraconsistent Disjunctive Databases', Theoretical Computer Science Journal, 1992.
V.S. Subrahmanian, ‘Amalgamating Knowledge Bases', ACM Trans. on Database Systems, 19,2, pp. 291–331, 1994.
J.D. Ullman, ‘Principles of Database and Knowledge-Base Systems', Computer Science Press, Rockville, Maryland, 1989.
G. Weiß, ‘Learning to Coordinate Action in Multi-Agent System', Proceedings of IJLAI, pp. 311–316, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
He, L., Chao, Y., Kato, S., Araki, T., Seki, H., Itoh, H. (1997). A multi-agent cooperative reasoning system for amalgamated knowledge bases. In: Zhang, C., Lukose, D. (eds) Multi-Agent Systems Methodologies and Applications. DAI 1996. Lecture Notes in Computer Science, vol 1286. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030084
Download citation
DOI: https://doi.org/10.1007/BFb0030084
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63412-6
Online ISBN: 978-3-540-69540-0
eBook Packages: Springer Book Archive