The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - November/December (2002 vol.14)
pp: 1362-1375
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
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. 6, pp. 1362-1375, November/December 2002, doi:10.1109/TKDE.2002.1047773
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool