A Graph Theoretic Optimisation of Temporal Abductive Validation.
Tim Menzies, Robert F. Cohen · 1997
. Abductive validation for a theory T expressed in language LQCM is known to be exponential. Despite this, abductive validation over LQCM using the HT4 abductive inference engine is a useful technique for a large range of real-world theories. However, doubts persist about LTQCM : a time-based variant of LQCM . In LTQCM , abductive validation is executed for for theories used in long time-based simulations. Here we show that, in the special case where (i) the theory is only measured at a few time intervals and (ii) LTQCM is restricted to L \\Gamma TQCM (which contains only bi-state objects connected by symmetrical relations) then temporal abductive validation is practical. 1 Introduction We are used to assessing representations via their soundness, completeness and their tractability. Here we offer an assessment criteria for a language based on its "testability". The assessment criteria proceeds as follows. (i) Define a representation language L. (ii) Define a validation engine for...