Tim Menzies|Paul Compton
Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models
UNSW Sydney|UNSW Sydney
difficult assess hypothetical models poorly measured domains neuroendocrinology without large library observations constrain inference execution incomplete models implies making assumptions mutually exclusive assumptions must kept separate worlds define general abductive multipleworlds engine assesses models generating worlds ii tests worlds contain known behaviour world generation constrained via use relevant envisionment describe qcm modeling language compartmental models processed inference engine tool used find faults theories published international refereed journals ie qcm detect faults invisible methods generality computational limits approach discussed short approach applicable representation compiled andor graph provided graphs big intricate fanout7