Issue No. 06 - November/December (2002 vol. 14)
<p><b>Abstract</b>—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.</p>
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 & Data Engineering, vol. 14, no. , pp. 1362-1375, November/December 2002, doi:10.1109/TKDE.2002.1047773