Use of metaknowledge in the verification of knowledge-based systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Use of metaknowledge in the verification of knowledge-based systems

Full text

Pdf (995 KB)

Source

International conference on Industrial and engineering applications of artificial intelligence and expert systems archive
Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2 table of contents

Tullahoma, Tennessee, United States

Pages: 847 - 857

Year of Publication: 1988

ISBN:0-89791-271-3

Author

L. J. Morell

College of William and Mary, Williamsburg, VA

Sponsor

SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 13, Citation Count: 0

Additional Information:

references index terms collaborative colleagues peer to peer

Tools and Actions:	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/55674.55699 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.

	1	Donald A. Waterman, A guide to expert systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1985
	2	W.R. Ricks and K. H. Abbott, Traditional Versus Rule-Based Programming Techniques: Applications to the Control of Optional Flight Information, NASA Technical Memorandum 89161, NASA Langle Research Center, Hampton, VA.(July 1987).
	3	J.S. Collofello, Introduction to Software Verification and Validation, Curriculum Module SEI-CM- 13-1.0, Software Engineering Institute, Carnegie Mellon University(October 1987).
	4	L.J. Morell, Unit Testing and Analysis, Curriculum Module SEI-CM-9-1.0, Software Engineering Institute, Carnegie Mellon University (October 1987).
	5	R.M. OKeefe, O. Balci, and E. P. Smith, Validating Expert System Performance, IEEE Expert, (Fall 1987).
	6	Frederick Hayes-Roth , Donald A. Waterman , Douglas B. Lenat, Building expert systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	7	Lloyd D. Fosdick , Leon J. Osterweil, Data Flow Analysis in Software Reliability, ACM Computing Surveys (CSUR), v.8 n.3, p.305-330, Sept. 1976 [doi>10.1145/356674.356676]
	8	J.W. Laski and B. Korel, A Data Flow Oriented Program Testing Strategy, IEEE TSE SE-9, 3, pp. 347-354 (May 1983).
	9	R. Davis, Interactive Transfer of Expertise, in Rule-Based Expert Systems, ed. E. H. Shortliffe, eds.,Addison-Wesley(1984).
	10	M. Suwa, A. C. Scott, and E. H. Shortliffe, Completeness and Consistency in a Rule- Based System, in Rule-Based Expert Systems, ed. E. H. Shortliffe, eds.,Addison-Wesley(1984).
	11	T.A. Nguyen, W, A. Perkins, T. J. Laffey, and D. Pecora, Knowledge Base Verification, IEEE Expert 2, 4, pp. 65-79 (Summer 1987).
	12	R.A. Stachowitz and J. B. Combs, Validation of Expert Systems, Proceedings, Hawaii International Conference on System Sciences, (January 1987).
	13	N. G. Leveson and P. R. Harvey, Analyzing Software Safety, IEEE TSE SE-9, 5, pp. 569-579 (September 1983).
	14	N. G. Leveson , J. L. Stolzy, Safety analysis using Petri nets, IEEE Transactions on Software Engineering, v.13 n.3, p.386-397, March 1987 [doi>10.1109/TSE.1987.233170]
	15	L. Clarke, A System to Generate Test Data and Symbolically Execute Programs, IEEE TSE SE-2, p. 215 222 (Sept. 1977).
	16	W.. E. Howden, Symbolic Testing and the DISSECT Symbolic Evaluation System , IEEE TSE SE-3, pp. 266-278 (1977).
	17	Timothy A. Budd , Richard A. DeMillo , Richard J. Lipton , Frederick G. Sayward, Theoretical and empirical studies on using program mutation to test the functional correctness of programs, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.220-233, January 28-30, 1980, Las Vegas, Nevada [doi>10.1145/567446.567468]
	18	R.. DeMillo, R. J. Lipton, and F. G. Sawyer, Hints on Test Data Selection: Help for the Practicing Programmer, Computer 11, p. 34 41 (April 1978).
	19	W.E. Howden, Weak Mutation Testing and Completeness of Test Sets, IEEE TSE SE-8, pp. 371-379 (July 1982).
	20	L.J. Morell and R. G. Hamlet, Error Propagation and Elimination in Computer Programs, University of Maryland TR- 1065, Department of Computer Science(July, 1981).
	21	Larry Joe Morell, A theory of error-based testing, 1983
	22	L.J. Morell, A Model for Code-based Testing Schemes, Fifth Annual Pacific Northwest Software Quality Conference, pp. 309-326 (October 1987).
	23	F.G. Pagan, Program Flow Analysis, Theory and Applications, Prentice-Hall, Inc., Englewood Cliffs, N.J.(1981).
	24	Sholom M. Weiss , Casimir A. Kulikowski, A practical guide to designing expert systems, Rowman & Littlefield, Totowa, NJ, 1984