This Article 
 Bibliographic References 
 Add to: 
Applications of Abduction: Testing Very Long Qualitative Simulations
November/December 2002 (vol. 14 no. 6)
pp. 1362-1375

Abstract—We can test a theory of "X" by checking if that theory can reproduce known behavior of "X." In the general case, this check for time-based simulations is only practical for short simulation runs. We show that, given certain reasonable language restrictions, the complexity of this check reduces to the granularity of the measurements. That is, provided a very long simulation run is only measured infrequently, this check is feasible.

[1] R. Davis, H. Shrobe, and P. Szolovits, “What Is a Knowledge Representation?” AI Magazine, pp. 17-33, Spring 1993.
[2] B.J. Wielinga, A.T. Schreiber, and J.A. Breuker, “KADS: A Modeling Approach to Knowledge Engineering,” Knowledge Acquisition, vol. 4, pp. 1-162, 1992.
[3] N.M. Agnew, K.M. Ford, and P.J. Hayes, “Expertise in Context: Personally Constructed, Socially Elected, and Reality-Relevant?” Int'l J. Expert Systems, vol. 7, no. 1, 1993.
[4] B.G. Silverman,“Survey of expert critiquing systems: practical and theoretical frontiers,” Communications of the ACM, vol. 35, no. 4, pp. 06-127, Apr. 1992.
[5] P. Compton, K. Horn, J.R. Quinlan, and L. Lazarus, “Maintaining an Expert System,” Applications of Expert Systems, J.R. Quinlan, ed., pp. 366-385, Addison Wesley, 1989.
[6] A.D. Preece and R. Shinghal, “Verifying Knowledge Bases by Anomaly Detection: An Experience Report,” Proc. European Conf. Artificial Intelligence '92, 1992.
[7] G. Myers, “A Controlled Experiment in Program Testing and Code Walkthroughs/Inspections,” Comm. ACM, vol. 21, no. 9, pp. 760–768, Sept. 1978.
[8] B. Feldman, P. Compton, and G. Smythe, “Towards Hypothesis Testing: JUSTIN, Prototype System Using Justification in Context,” Proc. Joint Australian Conf. Artificial Intelligence (AI '89), pp. 319-331, 1989.
[9] T.J. Menzies and P. Compton, “Applications of Abduction: Hypothesis Testing of Neuroendocrinological Qualitative Compartmental Models,” Artificial Intelligence in Medicine, vol. 10, pp. 145-175, Available from., 1997.
[10] T. Bylander, D. Allemang, M.C. Tanner, and J.R. Josephson, “The Computational Complexity of Abduction,” Artificial Intelligence, vol. 49, pp. 25–60, 1991.
[11] T.J. Menzies, “On the Practicality of Abductive Validation,” Proc. European Conf. Artificial Intelligence '96, available com1921.htm homes/speed/papers/ieee/ieee-metacrawler.pshttp:/ / pdf96ok.pdf., 1996.
[12] B. Kuipers,“Qualitative simulation,” Artificial Intelligence, vol. 29, pp. 289-338, 1986.
[13] B. Kuipers, “Qualitative Simulation: Then and Now,” Artificial Intelligence, vol. 59, pp. 133-140, 1993.
[14] K. Eshghi, “A Tractable Class of Abductive Problems,” Proc. Int'l Joint Conf. Artificial Intelligence '93, vol. 1, pp. 3-8 1993.
[15] T.J. Menzies, “Applications of Abduction: Knowledge Level Modeling,” Int'l J. Human Computer Studies, vol. 45, pp. 305-355, Available from, 1996.
[16] J. de Kleer, “An Assumption-Based tms,” Artificial Intelligence, pp. 127–162, 1986.
[17] H.N. Gabow, S.N. Maheshwari, and L. Osterweil, “On Two Problems in the Generation of Program Test Paths,” IEEE Trans. Software Eng., vol. 2, pp. 227-231, 1976.
[18] G.A. Smythe, “Brain-Hypothalmus, Pituitary and the Endocrine Pancreas,” The Endocrine Pancreas, 1989.
[19] R. Dieng, O. Corby, and S. Lapalut, “Acquisition and Exploitation of Gradual Knowledge,” Int'l J. Human-Computer Studies, vol. 42, pp. 465-499, 1995.
[20] T.J. Menzies and R.E. Cohen, “A Graph-Theoretic Optimisation of Temporal Abductive Validation,” Proc. European Symp. Validation and Verification of Knowledge Based Systems, available from /, 1997.
[21] S. Waugh, T.J. Menzies, and S. Goss, “Evaluating a Qualitative Reasoner,” Advanced Topics in Artificial Intelligence: Proc. 10th Australian Joint Conf. Artificial Intelligence, Abdul Sattar, ed.,., 1996.
[22] T.J. Menzies and S. Goss, “Applications of Abduction#3:‘Black-Box’to‘Gray-Box’Model,” Proc. Artificial Intelligence in Defense Workshop, Australian AI '95, also Technical Report TR95-31, Dept. of Software Development, Monash Univ., available from /, 1995.
[23] H. Bossel, Modeling and Simulations. A.K. Peters Ltd, 1994.
[24] T.J. Menzies, "Towards Situated Knowledge Acquisition," Int'l J. Human-Computer Studies, vol. 49, no. 6, 1998, pp. 867-893.
[25] R.J. Brachman and H.J. Levesque, “The Tractability of Subsumption in Frame-Based Description Languages,” Proc. Am. Assoc. Artificial Intelligence '84, pp. 34-37, 1994.
[26] T.J. Menzies, “Principles for Generalized Testing of Knowledge Bases,” PhD thesis, Univ. of New South Wales, 1995, available from., 1995.
[27] R. Reiter, “A Logic for Default Reasoning,” Artificial Intelligence, vol. 13, pp. 81-132, 1980.
[28] A.D. Preece, C. Grossner, and T. Radhakrishnan, “Validating Dynamic Properties of Rule Based Systems,” Int'l J. Human-Computer Studies, vol. 44, pp. 145-169, 1996.
[29] A.Y. Levy and M. Rousset, “Verification of Knowledge Bases Using Containnment Checking,” Proc. Am. Assoc. Artificial Intelligence '96, 1996.
[30] N. Zlatereva, “Truth Maintenance Systems and Their Application for Verifying Expert System Knowledge Bases,” Artificial Intelligence Rev., vol. 6, 1992.
[31] A. Ginsberg, “A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy,” Proc. Third Ann. Expert Systems in Government Conf., pp. 102-111, 1987.
[32] Y. Iwasaki, “Qualitative Physics,” The Handbook of Artificial Intelligence, P.R. Cohen, A. Barr, and E.A. Feigenbaum, eds., pp. 323-413, Addison Wesley, vol. 4, 1989.
[33] I. Bratko, I Mozetic, and N. Lavrac, KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems.Cambridge, Mass.: MIT Press, 1989.
[34] K.M. Yip, “Understanding Complex Dynamics by Visual and Symbolic Reasoning, Artificial Intelligence, Vol. 51, 1991, pp. 179-221.
[35] R. Levins and C.J. Puccia, Qualitative Modeling of Complex Systems: An Introduction to Loop Analysis and Time Averaging. Cambridge, Mass.: Harvard Univ. Press, 1985.
[36] P. Fouche and B. Kuipers, “An Assessment of Current Qualitative Simulation Techniques,” Recent Advances in Qualitative Physics, B. Faltings and P. Struss, eds., pp. 263-278, The MIT Press, 1992.
[37] D.J. Clancy and B.K. Kuipers, “Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm,” Proc. Am. Assoc. Artificial Intelligence '97, 1997.
[38] T. Menzies, J. Powell, and M. Houle, “Fast Formal Analysis of Requirements Via‘Topoi Diagrams’,” Proc. Int'l Conf. Software Eng. 2001, available from. 2001.

Index Terms:
Validation, complexity, abduction, qualitative reasoning.
Tim Menzies, Robert F. Cohen, Sam Waugh, Simon Goss, "Applications of Abduction: Testing Very Long Qualitative Simulations," IEEE Transactions on Knowledge and Data Engineering, vol. 14, no. 6, pp. 1362-1375, Nov.-Dec. 2002, doi:10.1109/TKDE.2002.1047773
Usage of this product signifies your acceptance of the Terms of Use.