Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site utah-cs.UUCP Path: utzoo!linus!philabs!cmcl2!seismo!utah-cs!lepreau From: lepreau@utah-cs.UUCP (Jay Lepreau) Newsgroups: net.ai Subject: Re: Diagnosing strategies for humans? Message-ID: <3102@utah-cs.UUCP> Date: Mon, 5-Nov-84 01:40:26 EST Article-I.D.: utah-cs.3102 Posted: Mon Nov 5 01:40:26 1984 Date-Received: Wed, 7-Nov-84 01:05:09 EST References: <1339@pucc-h>, <1180@eosp1.UUCP> Organization: Univ of Utah CS Dept Lines: 13 Toby Robison writes: ...while the doctors are actually testing a sequence of progressively less likely hypotheses. I'd claim that's exactly the process that we use when debugging. Only when initial hypotheses fail do we bring in the successively heavier data-gathering artillery such as tracing. This reasoning process is quite unsettling to anyone who is used to doing decuctive reasoning in his or her work... Although scientists might find this so, it shouldn't bother computer "scientists" at all.