Results 1 - 10
of
67
A review of process fault detection and diagnosis Part II: Qualitative models and search strategies
, 2003
"... In this part of the paper, we review qualitative model representations and search strategies used in fault diagnostic systems. Qualitative models are usually developed based on some fundamental understanding of the physics and chemistry of the process. Various forms of qualitative models such as cau ..."
Abstract
-
Cited by 184 (0 self)
- Add to MetaCart
In this part of the paper, we review qualitative model representations and search strategies used in fault diagnostic systems. Qualitative models are usually developed based on some fundamental understanding of the physics and chemistry of the process. Various forms of qualitative models such as causal models and abstraction hierarchies are discussed. The relative advantages and disadvantages of these representations are highlighted. In terms of search strategies, we broadly classify them as topographic and symptomatic search techniques. Topographic searches perform malfunction analysis using a template of normal operation, whereas, symptomatic searches look for symptoms to direct the search to the fault location. Various forms of topographic and symptomatic search strategies are discussed.
Mining Scientific Data
, 2001
"... The past two decades have seen rapid advances in high performance computing and ..."
Abstract
-
Cited by 16 (4 self)
- Add to MetaCart
The past two decades have seen rapid advances in high performance computing and
Reasoning About Sensor Data for Automated System Identification
- In Advances in Intelligent Data
, 1998
"... The computer program pret automatically constructs mathematical models of physical systems. A critical part of this task is automating the processing of sensor data. pret's intelligent data analyzer uses geometric reasoning to infer qualitative information from quantitative data; if critical va ..."
Abstract
-
Cited by 14 (8 self)
- Add to MetaCart
(Show Context)
The computer program pret automatically constructs mathematical models of physical systems. A critical part of this task is automating the processing of sensor data. pret's intelligent data analyzer uses geometric reasoning to infer qualitative information from quantitative data; if critical variables are either unknown or cannot be measured, it uses delay-coordinate embedding to reconstruct the internal dynamics from the external sensor measurements. Successful modeling results for two sensor-equipped systems, a driven pendulum and a radio-controlled car, demonstrate the effectiveness of these techniques.
Scenario Generation for Emergency Rescue Training Games
- In Proceedings of the Fourth International Conference on the Foundations of Digital Games
"... Procedural methods have long been used for generation of art assets, but procedural generation of scenarios has lagged behind. In particular, training games for emergency rescue workers would benefit from procedural scenario generation guided by pedagogical goals. In such a game, users could select ..."
Abstract
-
Cited by 14 (3 self)
- Add to MetaCart
(Show Context)
Procedural methods have long been used for generation of art assets, but procedural generation of scenarios has lagged behind. In particular, training games for emergency rescue workers would benefit from procedural scenario generation guided by pedagogical goals. In such a game, users could select what skills they wish to train for, and the system would generate a unique level containing the elements necessary to train those skills. In this paper, we present a system that uses HTN planning to generate collapsed structure training scenarios that are both internally consistent and allow the user to train for the desired goals.
Programming Environments for Multidisciplinary Grid Communities
- Concurrency and Computation: Practice and Experience
, 2002
"... this paper is on supporting multidisciplinary communities of scientists and engineers. We discuss requirements for Grid computing environments (GCEs) in this context, and describe several core support technologies developed to meet these requirements. Our work extends the notion of a programming env ..."
Abstract
-
Cited by 14 (8 self)
- Add to MetaCart
(Show Context)
this paper is on supporting multidisciplinary communities of scientists and engineers. We discuss requirements for Grid computing environments (GCEs) in this context, and describe several core support technologies developed to meet these requirements. Our work extends the notion of a programming environment beyond the compile--schedule--execute paradigm, to include functionality such as collaborative application composition, information services, and data and simulation management. Systems designed for five different applications communities are described. These systems illustrate common needs and characteristics arising in multidisciplinary communities and motivate a highlevel design framework for building GCEs that meet those needs. Copyright # 2002 John Wiley & Sons, Ltd
The role and impact of mental simulation in design
- Applied Cognitive Psychology
, 2008
"... Although theories of mental simulations have used different formulations of the premises of ‘thought experiments’, they can be fitted under a minimalist hypothesis stating that mental simulations are run under situations of uncertainty to turn that uncertainty into approximate answers. Three basic a ..."
Abstract
-
Cited by 13 (6 self)
- Add to MetaCart
Although theories of mental simulations have used different formulations of the premises of ‘thought experiments’, they can be fitted under a minimalist hypothesis stating that mental simulations are run under situations of uncertainty to turn that uncertainty into approximate answers. Three basic assumptions of mental simulations were tested by using naturalistic data from engineering design. Results from the design protocols showed (1) initial representations in mental simulation had higher than base-rate uncertainty, (2) uncertainty in mental simulations were lowered after simulation runs, (3) resulting representations had more approximations than base-rate or initial representations. Further, the reference to external representational systems (sketches and prototypes) was examined. It was found that prototypes had fewer technical/functional simulations compared to sketches or unsupported cognition. Although prototypes were associated with more approximation than unsup-ported cognition, the different external representation categories did not differ in information uncertainty. The results support the minimalist hypothesis of mental simulations. Copyright # 2008 John Wiley & Sons, Ltd. In the domains of design and architecture, mental simulation has been anecdotally described as being of utmost importance. For example, one famous anecdote (Tafel, 1979)
Object-Oriented First-Order Logic
- In Linkoping University Electronic Articles in Computer and Information Science, ISSN 1401–9841
, 2001
"... First-Order Logic (FOL) provides richness of representation, but is unwieldy in modeling large, complex tasks. On the other hand, the Object-Oriented paradigm has been successful in treating large, complex tasks in both software and knowledge engineering. This paper describes a novel logic that exte ..."
Abstract
-
Cited by 11 (4 self)
- Add to MetaCart
(Show Context)
First-Order Logic (FOL) provides richness of representation, but is unwieldy in modeling large, complex tasks. On the other hand, the Object-Oriented paradigm has been successful in treating large, complex tasks in both software and knowledge engineering. This paper describes a novel logic that extends FOL to create counterparts of the Object-Oriented paradigm. We call this logic Object-Oriented First-Order Logic (OOFOL). In this logic, objects are theories that are connected via interface vocabularies to other objects, classes are used to provide a reusable logical template, and inheritance is used to adapt classes to specialized tasks. We show that such a logic can be given simple semantics using FOL. A variant of the logic that allows some links between the objects to be unidirectional is also examined. This variant is called Directed ObjectOriented First-Order Logic (Directed OOFOL). It is shown that such a system can be given semantics using the nonmonotonic method of Circumscript...
Qualitative Physics as a component in natural language semantics: A progress report
- George Mason University
, 2002
"... We propose that qualitative physics can provide an important component of natural language semantics. Specifically, we describe how qualitative process theory can be recast in terms of frame semantics, as used in the Berkeley FrameNet project. This reformulation is important because it could allow t ..."
Abstract
-
Cited by 10 (4 self)
- Add to MetaCart
We propose that qualitative physics can provide an important component of natural language semantics. Specifically, we describe how qualitative process theory can be recast in terms of frame semantics, as used in the Berkeley FrameNet project. This reformulation is important because it could allow the techniques of qualitative reasoning to be harnessed for natural language understanding and it expands the range of phenomena that can be described in NL semantics. We show that these ideas can account for a large percentage of a small corpus of explanatory text, and that they support the construction of QP models from such texts.
Qualitative Futures
"... This paper considers where the QR field might be in twenty years time, outlining five areas where developments in model-based systems in general, and qualitative reasoning in particular might have a significant effect on what can be achieved. The paper also examines where the QR community should con ..."
Abstract
-
Cited by 6 (2 self)
- Add to MetaCart
This paper considers where the QR field might be in twenty years time, outlining five areas where developments in model-based systems in general, and qualitative reasoning in particular might have a significant effect on what can be achieved. The paper also examines where the QR community should concentrate its efforts in order to improve the usefulness of the technology.
