Amalgamating knowledge bases

ABSTRACT

The integration of knowledge for multiple sources is an important aspect of automated reasoning systems. When different knowledge bases are used to store knowledge provided by multiple sources, we are faced with the problem of integrating multiple knowledge bases: Under these circumstances, we are also confronted with the prospect of inconsistency. In this paper we present a uniform theoretical framework, based on annotated logics, for amalgamating multiple knowledge bases when these knowledge bases (possibly) contain inconsistencies, uncertainties, and nonmonotonic modes of negation. We show that annotated logics may be used, with some modifications, to mediate between different knowledge bases. The multiple knowledge bases are amalgamated by a transformation of the individual knowledge bases into new annotated logic programs, together with the addition of a new axiom scheme. We characterize the declarative semantics of such amalgamated knowledge bases and study how the semantics of the amalgam is related to the semantics of the individual knowledge bases being combined. —Author's Abstract

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ADAL1, S., AND SUBRAHMANIAN, V. S. 1993. Integrating multiple knowledge bases. To be published.
	2	ANAND, R., AND SUBRAHMANIAN, V. S. 1987. FLOG: A logic programming system based on a six-valued logic. In AAAI/Xerox 2nd International Symposium on Knowledge Engineering- (Madrid, Spain). AAAI, Menlo Park, Calif.
	3	BARAL, C., AND SUBRAHMANIAN, V. S. 1993. Dualities between alternative semantics for logSc programming and non-monotonic reasoning. J. Autom. Reasoning 10, 399-420. (Preliminary version in Proceedings of the 1991 International Workshop on Logic Programm~ng and Non-Monoton~c Reasoning, A. Nerode, W. Marek, and V. S. Subrahmanian, Eds. MIT Press, Cambridge, Mass.)
	4	C. Baral , S. Kraus , J. Minker, Combining Multiple Knowledge Bases, IEEE Transactions on Knowledge and Data Engineering, v.3 n.2, p.208-220, June 1991 [doi>10.1109/69.88001]
	5	BARAL, C., KRAUS.. S., MINAER, J., AND SUnRAHMANLiN, V. S. 1992. Combining knowledge bases consisting of first order theories. Comput. Intell. 8, I (Mar.), 45-71.
	6	Howard A. Blair , V. S. Subrahmanian, Paraconsistent Logic Programming, Proceedings of the Seventh Conference on Foundations of Software Technology and Theoretical Computer Science, p.340-360, December 17-19, 1987
	7	BOWEN, K., AND KOWALSKI, R. 1982. Amalgamating language and metalanguage in logic programming. In Logic Programming, K. L. Clark and S.-A. Tarnlund, Eds., Academic Press, New York, 153-172.
	8	DA COSTA, N. C. A., SUBRAHMANIAN, V. S., AND VAGO, C. 1991. The paraconsistent logics ~T. Zeitschr~ft zut Mathemat~sche Logic und Grundlagen der Mathematic 37, 139-148.
	9	Didier Dubois , Jérôme Lang , Henri Prade, Dealing with multi-source information in possibilistic logic, Proceedings of the 10th European conference on Artificial intelligence, p.38-42, August 1992, Vienna, Austria
	10	Dunots, D., LANG, J., AND PRADE, H. 1991a. Towards possibilistic logSc programming. In Proceed~ngs of the 1991 International Conference on Logic Programming, K. Furukawa, Ed. MIT Press, Cambridge, Mass., 581-595.
	11	Didier Dubois , Jérǒme Lang , Henri Prade, Timed possibilistic logic, Fundamenta Informaticae, v.15 n.3-4, p.211-234, Nov.– Dec. 1991
	12	David W. Etherington, Reasoning with Incomplete Information, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	13	FAGIN, R., KUPER, G., ULLMAN, J., AND VARDI, M. 1986. Updating logical databases. In Advances in Computing Research. Vol. 3. JAI Press, Greenwich, Conn., 1-18.
	14	Ronald Fagin , Jeffrey D. Ullman , Moshe Y. Vardi, On the semantics of updates in databases, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, March 21-23, 1983, Atlanta, Georgia [doi>10.1145/588058.588100]
	15	FITTING, M. C. 1993. The family of stable models. J. Logic Program. 17, 197 225.
	16	Melvin Fitting, Bilattices and the semantics of logic programming, Journal of Logic Programming, v.11 n.2, p.91-116, Aug. 1991 [doi>10.1016/0743-1066(91)90014-G]
	17	FITTINa, M. C. 1991b. Well-founded semantics, generalized. In Proceedings ofthe 1991 Internatlonal Logic Programming Symposzum. MIT Press, Cambridge, Mass., 71 83.
	18	M. Fitting, Negation as refutation, Proceedings of the Fourth Annual Symposium on Logic in computer science, p.63-70, June 1989, Pacific Grove, California, United States
	19	GELFOND, M., AND LIFSCHITZ, V. 1988. The stable model semantics for logic programming. In Proceedings of the 5th International Conference and Symposium on Logic Programming. R. A. Kowalski and K. A. Bowen, Eds. MIT Press, Cambridge, Mass., 1070-1080.
	20	GINSBERG, M. L. 1988. Multivalued logics: A uniform approach te reasoning in artificial intelligence. Comput. Intell. 4, 265-316.
	21	GRANT, J., LITWIN, W., ROUSSOPOULOS, N., AND SELLIS, T. 1991. An algebra and calculus for relational multidatabase systems. In Proceedings of the 1st International Workshop on Interoperability in Multidatabse Systems. IEEE, New York, 118-124.
	22	James J. Lu , Lawrence J. Henschen, The completeness of gp-resolution for annotated logics, Information Processing Letters, v.44 n.3, p.135-140, Nov. 30, 1992 [doi>10.1016/0020-0190(92)90053-X]
	23	HENSCHEN, L. J., AND LU, J. J. 1991. The paraconsistent closed world assumptlon. Theor. Comput. Sct. To be published.
	24	Yannis E. Ioannidis , Timos K. Sellis, Conflict resolution of rules assigning values to virtual attributes, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.205-214, June 1989, Portland, Oregon, United States
	25	Krishnaprasad Thirunarayan , Michael Kifer, A theory of nonmonotonic inheritance based on annotated logic, Artificial Intelligence, v.60 n.1, p.23-50, March 1993 [doi>10.1016/0004-3702(93)90033-8]
	26	M. Kifer , A. Li, On the semantics of rule-based expert systems with uncertainty, Lecture notes in computer science on ICDT '88, p.102-117, October 1988, Bruges, Belgium
	27	Michael Kifer , Eliezer L. Lozinskii, A logic for reasoning with inconsistency, Journal of Automated Reasoning, v.9 n.2, p.179-215, Oct. 1992 [doi>10.1007/BF00245460]
	28	M. Kifer , E. Lozinskii, RI: A logic for reasoning with inconsistency, Proceedings of the Fourth Annual Symposium on Logic in computer science, p.253-262, June 1989, Pacific Grove, California, United States
	29	Michael Kifer , V. S. Subrahmanian, Theory of generalized annotated logic programming and its applications, Journal of Logic Programming, v.12 n.4, p.335-367, April 1992 [doi>10.1016/0743-1066(92)90007-P]
	30	M. Kifer , J. Wu, A logic for object-oriented logic programming, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.379-393, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73758]
	31	KIFE~, M., AE~SHN~^SAD, T., AND WARRE~, D S. 1989. On the declarative semantics of inheritance networks. In Proceedings of the 1989 Internatzonal Joznt Conference on Artlfic~al Intelltgence. Morgan-Kauffman, Los Altos, Calif., 1099-1103.
	32	J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
	33	James J. Lu, Automated deduction in paraconsistent logics, Northwestern University, Evanston, IL, 1992
	34	MAREK, W., NERODE, A., AND REMMEL, J. 1992. The stable models of a predicate logic program In Proceedmgs of the 1992 International Conference on Logzc Programming, K. R. Apt, Ed. MIT Press, Cambridge, Mass.
	35	MAREK, W., NERODE, A., AND REMMEL, J. 1990. A theory of non-monotonic rule systems, I. Ann. Math. Art~f. Intell (Preliminary version in Proceedings of the 1990 Conference on Logic in Computer Sc~ence.)
	36	MURRAY, N. V., AND ROSENTHAL, E. 1991. S~gned formulas. A classical approach to multiple-valued log5cs Tech. Rep. TR-91-12, Computer Science Dept., State Univ of New York at Albany.
	37	NG, R. T., AND SUBRAHMANIAE, V. S. 1991. A semantical framework for supporting subjective and condltional probabilities in deductive databases. J. Autom. Reasoning 10, 2, 191-235 (Preliminary version in Proceedlngs of the 1991 International Conference on Loglc Programmlng, MIT Press, Cambndge, Mass.)
	38	Raymond Ng , V. S. Subrahmanian, Probabilistic logic programming, Information and Computation, v.101 n.2, p.150-201, Dec. 1992 [doi>10.1016/0890-5401(92)90061-J]
	39	SAKAMA, C. 1992. Extended well-founded semantics for paraconsistent logic programs. In Proceed~ngs of the 1992 International Conference on 5th Generat~on Computer Svstems (Tokyo~ Japan).
	40	Avi Silberschatz , Michael Stonebraker , Jeff Ullman, Database systems: achievements and opportunities, Communications of the ACM, v.34 n.10, p.110-120, Oct. 1991 [doi>10.1145/125223.125272]
	41	V. S. Subrahmanian, Paraconsistent disjunctive deductive databases, Theoretical Computer Science, v.93 n.1, p.115-141, Feb. 3, 1992 [doi>10.1016/0304-3975(92)90214-Z]
	42	V. S. Subrahmanian, A simple formulation of the theory of metalogic programming, Meta-programming in logic programming, MIT Press, Cambridge, MA, 1989
	43	SUB~HMM~^N, V. S. 1987 On the unsemantics of quantitative log~c programs. In Proceed~r~gs of the 1987 IEEE OEvmpos~um on Log~c Programmmg. IEEE, New York, 173-182
	44	A. Van Gelder, The alternating fixpoint of logic programs with negation, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.1-10, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73722]
	45	Allen Van Gelder , Kenneth Ross , John S. Schlipf, Unfounded sets and well-founded semantics for general logic programs, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.221-230, March 1988, Austin, Texas, United States [doi>10.1145/308386.308444]
	46	WHANG, W. K., NAVATHE, S. B., AND CHAKRAVARTHY, S. 1991. Logic-based approach for realizing a federated information system. In Proceedings ofthe 1st International Workshop on Interoperability in Multidatabase Systems. IEEE, New York, 92-100.
	47	ZICARL R., CERL S., AND TANCA, L. 1991. Interoperability between a rule-based database language and an object-oriented language. In Proceedings of the 1st International Workshop on Interoperability in Multidatabase Systems. IEEE, New York, 125-135.