Rule validation based on logical deduction

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Rule validation based on logical deduction

Full text

Pdf (1.21 MB)

Source

Conference on Information and Knowledge Management archive
Proceedings of the second international conference on Information and knowledge management table of contents

Washington, D.C., United States

Pages: 164 - 173

Year of Publication: 1993

ISBN:0-89791-626-3

Authors

Ping Wu	E470 Computer Science Engineering, Database Systems R&D Center, University of Florida, Gainesville, FL
Stanley Y. W. Su	E470 Computer Science Engineering, Database Systems R&D Center, University of Florida, Gainesville, FL

Sponsors

Inst Soc for Comp & Applic : Inst Soc for Comp & Applic
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGIR: ACM Special Interest Group on Information Retrieval

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 43, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/170088.170123 What is a DOI?

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.

	Bane 87	Jay Banerjee , Hong-Tai Chou , Jorge F. Garza , Won Kim , Darrell Woelk , Nat Ballou , Hyoung-Joo Kim, Data model issues for object-oriented applications, ACM Transactions on Information Systems (TOIS), v.5 n.1, p.3-26, Jan. 1987 [doi>10.1145/22890.22945]
	Beau 90	A. Beauvieux, P. Dague, "A General Consistency (Checking and Restoring) Engine for Knowledge Bases," ECAI90, Procee. Aing of the 9th European Conference on Artificial Intelligence, Stockholm, Aug. 6-10, 1990.
	Chak 89	S. Chakravarthy, Rule management and evaluation: an active DBMS perspective, ACM SIGMOD Record, v.18 n.3, p.20-28, Sep. 1989 [doi>10.1145/71031.71034]
	Chan 73	Chin-Liang Chang , Richard C. Lee , Richard Char-Tung Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, Inc., Orlando, FL, 1997
	Davi 82	Randall Davis , Douglas B. Lenat, Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies, McGraw-Hill, Inc., New York, NY, 1982
	Deus 82	Michael S. Deutsch, Software Verification and Validation: Realistic Project Approaches, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	Gall 84	Herve Gallaire , Jack Minker , Jean-Marie Nicolas, Logic and Databases: A Deductive Approach, ACM Computing Surveys (CSUR), v.16 n.2, p.153-185, June 1984 [doi>10.1145/356924.356929]
	Gins 88	A. Ginsberg, "Knowledge-Base Reduction: A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy," AAAI 88, The Seventh National Conference on Artificial Intelligence, Saint Paul, Minnesota, August 21-26, 1988.
	Gode 31	K. Godel, "On Formally Undecidable Propositions of the Principia Mathematics and Related Sysmats," in "The Undecidable," ed. Martin Davis, pp. 4-39, Raveen Press, Hewlett, N.Y., 1965.
	Grag 87	Brian J. Cragun , Harold J. Steudel, A decision-table-used processor for checking completeness and consistency in rule-based expert systems, International Journal of Man-Machine Studies, v.26 n.5, p.633-648, May 1, 1987 [doi>10.1016/S0020-7373(87)80076-7]
	Gran 92	John Grant , Jack Minker, The impact of logic programming on databases, Communications of the ACM, v.35 n.3, p.66-81, March 1992 [doi>10.1145/131295.131297]
	Hopp 90	T. Hoppe, "Hypotheses Generation for Knowledge Validation," ECAI90, pp. 354-356.
	Hull 87	Richard Hull , Roger King, Semantic database modeling: survey, applications, and research issues, ACM Computing Surveys (CSUR), v.19 n.3, p.201-260, Sept. 1987 [doi>10.1145/45072.45073]
	Kowa 70	R. Kowalski, "Studies in the Completeness and Efficiency of Theorem-proving by Resolution," Ph.D. Thesis, Univ. of Edinburgh at Edinburgh, Scotland.
	Lam 89	H. Lam, S.W.Y. Su, and A. Alashqur, "Integrating the Concepts and Techniques of Semantic Modeling and the Object-Oriented Paradigm," Proc. 13th Int'l Computer Software and Application Conference (COMPSAC), October, 1989, pp. 209-217.
	Lloy 87	J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
	Mell80	William James Van Melle, A domain-independent system that aids in constructing knowledge-based consultation programs, 1980
	Nguy 85	T.A. Nguyen, W.A. Perkins, T.j. Laffey, and D. Pecora, "Checking an expert systems knowledge base for consistency and completeness," In Proc. 9th IJCAI Conf., Los Angeles, pp.374-378, 1985.
	Nguy 87a	T.A. Nguyen, "Verifying consistency of production systems," In Proc. ~ Third Conf. on Artificial Intelligence Applications, Feb. 23-27, Kissimmee, FL: pp.4-8, 1987.
	Nguy 87b	Tin A Nguyen , Walton Perkin , Thomas J Laffey , Deanne Pecora, Knowledge base verification, AI Magazine, v.8 n.2, p.69-75, Summer 1987
	O'Kee 87	R.M. O'Keefe, O. Balci, and E.P. Smith, "Validating Expert System Performance," IF_EE Expert, Vol. Winter 1987, pp. 81-89.
	Robi 65	J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM (JACM), v.12 n.1, p.23-41, Jan. 1965 [doi>10.1145/321250.321253]
	Shor 81	E.H. Shortliffe, A.C. Scott, M.B. Buschoff, A.B. Campbell, W.V. Melle, and C.D. Jacobs, "ON- COCIN: an expert system for Oncology protocol management," In Proc. 7th LICAi Conf., Vancouver: IEEE, 1981, pp. 876-881.
	Shyy 91	Yuh-Ming Shyy , Stanley Y. W. Su, K: a high-level knowledge base programming language for advanced database applications, Proceedings of the 1991 ACM SIGMOD international conference on Management of data, p.338-347, May 29-31, 1991, Denver, Colorado, United States
	Stac 87	R.A. Stachowitz, J.B. Combs, and C.L. Chang, "Validation of knowledge-based systems," In Second AIAA/NASA/USAF Symposium on Automation, Robotics and Advanced Computing for the National Space Program, New York: American Institute of Aeronautics and Astronautics, pp. 1--9, 1987.
	Su 89	S.Y.W. Su, "Extensions to the Object-Oriented Paradigm," Proc. 13th Int'l Computer Software and Applications Conference (COMPSAC), October 1989, pp. 197-199.
	Suwa 82	M. Suwa, A.C. Scott, and E.H. Shortliffe, "An approach to verifying completeness and consistency in a rule base," AI Magazine, 3(4):16-21, 1982.
	Tami 89	D. E. Tamir and A. Kandel, "A schema for Knowledge Representation and its Implementation in a Computer-Aided Design and Manufacturing System,'' Koln: Verlag TUV Rheinland, 1989, printed in Germany.
	Wu 93a	Ping Wu , Stanley Y. Su , Nabil N. Kamel, Rule validation in object-oriented knowledge bases, 1994
	Wu 93b	P. Wu, S. Y.W. Su, and F. RX). Remedios, "A Unified Approach to Knowledge Base Validation and Its Implementation" submitted to the Tenth International Conference on Data Engineering, IEEE Computer Society, 1993.