The Community for Technology Leaders
Green Image
ABSTRACT
<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>
INDEX TERMS
Validation, complexity, abduction, qualitative reasoning.
CITATION
Simon Goss, Robert F. Cohen, Sam Waugh, Tim Menzies, "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
100 ms
(Ver 3.1 (10032016))