Abstract: A diagnostic expert system incorporating a cause-effect graph is disclosed in which "yes", "no" and "unknown" are valid possible responses to a query. Each node in the graph is assigned a local decision factor (LDF) based on a given node's desirability for selection during best-first search and a collapsed decision factor (CDF) based on the average values of the LDFs for all its daughter nodes. For a current node being processed, a list of all its daughter nodes is obtained and examined to remove all daughter nodes that have been visited before in the current transition and all daughter nodes which have prerequisites that are not met. Then, the daughter node with the largest LDF is selected and its test function is executed. If the user response is "yes", the daughter node is made the current node, and a list of its daughter nodes is obtained to continue the process.