Learn More
In many problem domains, solutions take the form of unordered sets. We present the Set-Enumerations (SE)tree a vehicle for representing sets and/or enumerating them in a best-first fashion. We demonstrate its usefulness as the basis for a unifying search-based framework for domains where minimal (maximal) elements of a power set are targeted, where minimal(More)
Many induction programs use decision trees both as the basis for their search, and as a representation of their classifier solution. In this paper we propose a new structure, called SE-tree, as a more general alternative. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-93-42. This technical(More)
We describe a system, TraumAID, which has been designed to provide decision support throughout the initial definitive management of severely injured patients (i.e., after their initial evaluation, resuscitation, and stabilization). Over the course of initial definitive management, TraumAID recommends appropriate procedures to be carried out, based on(More)
In many diagnosis-and-repair domains, diagnostic reasoning cannot be abstracted from repair actions, nor from actions necessary to obtain information of diagnostic value. TraumAID 2.0, a consultation system for multiple trauma management, implements a reasoning architecture for exploratory-corrective domains which integrates diagnostic reasoning with(More)
Much planning research assumes that the goals for which one plans are known in advance. That is not true of trauma management, which involves both a search for relevant goals and reasoning about how to achieve them. TraumAID is a consultation system for the diagnosis and treatment of multiple trauma. It has been under development jointly at the University(More)
  • Ron Rymon
  • Annals of Mathematics and Artificial Intelligence
  • 1994
Prime implicants/implicates (PIs) have been shown to be a useful tool in several problem domains. In model-based diagnosis (MBD), de Kleer et al. (Proc. AAAI-90) have used PIs to characterize diagnoses. We present a PI generation algorithm which, although based on thegeneral SE-tree-based search framework, is effectively an improvement of aparticular PI(More)
We draw a simple correspondence between kernel rules and prime s’mphznts. Kernel (minimal) rules play an important role in many induction techniques. Prime implicants were previously used to formally model many other problem domains, including Boolean circuit minimization and such classical AI problems as diagnosis, truth maintenance and circumscription.(More)
As a classi er, a Set Enumeration (SE) tree can be viewed as a generalization of decision trees. It can be shown that, at the cost of a higher complexity, a single SE-tree encapsulates many alternative decision tree structures. An SE-tree enjoys several advantages over decision trees: it allows for domain-based userspeci ed bias, it supports a exible tradeo(More)
In an earlier paper [Rymon et a1 89], we showed how domain localities and regularities can be used to reduce the complexity of finding a trauma management plan that satisfies a set of diagnostic and therapeutic goals. Here, we present another planning idea Progressive Horizon useful for optimizing such plans in domains where planning can be regarded as an(More)