Sciweavers

AAAI
1996
13 years 11 months ago
Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
Siddarth Subramanian, Raymond J. Mooney
AAAI
1994
13 years 11 months ago
Retrieving Semantically Distant Analogies with Knowledge-Directed Spreading Activation
Techniques that traditionally have been useful for retrieving same-domain analogies from small single-use knowledge bases, such as spreading activation and indexing on selected fe...
Michael Wolverton, Barbara Hayes-Roth
AAAI
1996
13 years 11 months ago
Source Selection for Analogical Reasoning: An Empirical Approach
of it suffer from a number of limitations, including: The effectiveness of an analogical reasoner depends upon its ability to select a relevant analogical source. In many problem d...
William A. Stubblefield, George F. Luger
AAAI
1996
13 years 11 months ago
The SIGNAL Expert System
The SIGNAL insurance companies have developed an expert system for the support of its customer sales service. It was introduced at the end of 1993 and is currently used by approxi...
Rolf Struve
AAAI
1994
13 years 11 months ago
Towards More Creative Case-Based Design Systems
Case-based reasoning (CBR) has a great deal to o er in supporting creative design, particularly processes that rely heavily on previous design experience, such as framing the prob...
Linda M. Wills, Janet L. Kolodner
AAAI
1996
13 years 11 months ago
Dynamically Sequencing an Animated Pedagogical Agent
One of the most promising opportunities introduced by rapid advances in knowledge-based learning environments and multimedia technologies is the possibility of creating animated p...
Brian A. Stone, James C. Lester
AAAI
1994
13 years 11 months ago
Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning
We present a theory of a modeler's problem decomposition skills in the context of optimal reasonzng -- the use of qualitative modeling to strategically guide numerical explor...
Brian C. Williams, Jonathan Cagan
AAAI
1996
13 years 11 months ago
Generating Multiple New Designs From a Sketch
We describe a program called SketchIT that transforms a single sketch of a mechanical device into multiple families of new designs. It represents each of these families with a &qu...
Thomas F. Stahovich, Randall Davis, Howard E. Shro...
AAAI
1996
13 years 11 months ago
Inference-Based Constraint Satisfaction Supports Explanation
Mohammed H. Sqalli, Eugene C. Freuder