D. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, August 1989. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Automatic Overset Grid Generation with Heuristic Feedback Control - Robinson (2001) (Correct)
.... shown that the linear algebra framework which often is used to model sets of first order differential equations can be generalized to allow for symbolic reasoning on explicitly represented aspects of the world [34] page 12) This is accomplished by defining qualitative mathematical operations [48], which are characterized by symbolic mathematical reasoning over finite fields. In addition it is accomplished by abstracting from the language of mathematics to the language of set operations which underlie the mathematics. For example, the execution of the equation 7 = K is defined as a ....
D. S. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning About Physical Systems. Morgan Kaufmann Publishers, Inc., San Mateo, California, 1990.
When Are Two Protocols the Same? - Johnson, McBurney, Parsons (2002) (Correct)
....Utterance k 1: undo(P i ; Thus, the two protocols are not bisimulation equivalent. 2 It is worth noting that it may be possible to represent similar length dialogues using order of magnitude reasoning methods, such as those developed in the qualitative physics area of Artificial Intelligence [37]. For example, the system FOG of Olivier Raiman [26] defines three operators to represent the relative values of two physical variables: one variable is negligible relative to the other; their difference is negligible; and both variables are the same size and order of magnitude. Raiman has ....
D. S. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, USA, 1990.
Influence-Based Model Decomposition For Reasoning About.. - Bailey-Kellogg, Zhao (2001) (Correct)
....uses explicit representations of physical knowl edge in order to reason about physical systems. Much research in Qualitative Reasoning has also studied how to apply high level representations of physical systems and domain knowledgein order to predict, diagnose, reconfigure, and tutor [29 32]. Many of the results in that community have centered around threemain ontologies: the device ontology [30] which propagates qualitative constraints along topological connections between devices such as theelements of acircuit; theprocess ontology [29] which generates possible qual itative ....
D. Weld, J. de Kleer (Eds.), Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, San Mateo, CA, 1990.
A Virtual Patient Based on Qualitative Simulation - Cavazza, Simo (Correct)
....decision making, this is a rationale to try to convey emotional aspects as well, in this highly specific context. In the next sections, after giving an overview of the system, we describe the AI technique used to simulate the patient condition, which is derived from qualitative simulation [19]. We show how qualitative simulation can serve as a central principle for the integration of the various components of the interface. Figure 1. System Overview. 2. RELATION TO PREVIOUS WORK Virtual Humans have been extensively described in virtual reality surgery but little work has been ....
....modelling the behaviour of the cardio vascular system, both in normal and pathological circumstances. Cardiac dysfunctions are simulated using the same model, but with different initial conditions. Qualitative simulation has been essentially developed for physical systems and mechanical devices [19] and is best known through work in qualitative physics.The main idea consists in reasoning on physical phenomena by abstracting physical descriptions. Yet, the same techniques have been used to model physiological systems: for instance, the QSIM approach [12] has been applied to the cardiovascular ....
Weld, D.S. and de Kleer, J., Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, 1990.
Bond Graph Modeling Procedures for Fault Detection .. - Feenstra.. (2001) (Correct)
....to achieve a better model for diagnosis. QUALITATIVE DIAGNOSIS Qualitative methods for system analysis typically suffer from spurious results because (i) insu#cient constraints are built into the models and (ii) abstraction in the representations makes it hard to di#erentiate among phenomena [13]. We address the first problem by utilizing the bond graph formalism [4, 11] that inherently enforces conservation of energy and power continuity, and provides a generic parsimonious representation across multiple physical domains. The second problem is addressed by carefully refining the model. ....
D. Weld and J. de Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, 1990.
Influence-Based Model Decomposition For Reasoning About.. - Bailey-Kellogg, Zhao (2001) (Correct)
....uses explicit representations of physical knowledge in order to reason about physical systems. Much research in Qualitative Reasoning has also studied how to apply high level representations of physical systems and domain knowledge in order to predict, diagnose, recon figure, and tutor [29 32]. Many of the results in that community have centered around three main ontologies: the device ontology [30] which propagates qual itative constraints along topological connections between devices such as the elements of a circuit; the process ontology [29] which generates possible qual ....
D. Weld, J. de Kleer (Eds.), Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, 1990.
Calibrating, Counting, Grounding, Grouping* - Jennifer Elgot-Drapkin Diana (Correct)
....calibration, counting, grounding, and grouping. Some aspects of the larger task are not ones we intend to address, especially those bearing most directly on basic perceptual or motor skills (vision and robotics) We also are not explicitly concerned with qualitative physics in the usual sense [16], but rather principally with an agent s self models as they incorporate information about dealing with near space. Self models and near space are what we are now beginning to focus on in some of our current research. We have selected reasoning about near space because we think categorizing is ....
D. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning About Physical Systems. Morgan Kaufmann, 1990.
FAMING: Supporting Innovative Mechanism Shape Design - Faltings, Sun (1996) (3 citations) (Correct)
....he considers important in the case. The program then automatically constructs the intermediate behavioral model and the links between it and structure on one side and function on the other. In order to correctly express function, the SBF model must be a qualitative model. A qualitative model ([4]) differs from a quantitative one in that it specifies properties which hold over ranges of parameter values. This makes it possible to express functions which hold over a range of situations, such as block any counterclockwise motion . Qualitative models also make it possible to determine all ....
J. DeKleer, D. Weld(eds.): Readings in Qualitative Reasoning about Physical Systems, Morgan-Kaufmann, 1990
Supporting Creativity in Symbolic Computation - Faltings (1992) (Correct)
....which never requires adding new features. Work on theory revision (for example, RDF85, RAJ90] shows examples of how causal theories can be automatically extended to cover new phenomena. This highlights the importance of general causal theories such as those developed in qualitative physics ( [DKW90]) for the development of design systems that support creativity. Qualitative analysis can not only help the designer understand devices, but also defines the features required 6 WHAT CREATIVITY IS NOT COVERED BY THIS MODEL 16 for reasoning about them. In general, the ability to support creative ....
J. DeKleer, D. Weld(eds.): "Readings in Qualitative Reasoning about Physical Systems," Morgan-Kaufmann, 1990
FAMING: Supporting Innovative Design using Adaptation: A.. - Faltings (2002) (Correct)
....interpreted in terms of structure behavior function (SBF) models. Innovation often results from reinterpreting cases with different models than originally intended. and function on the other. In order to correctly express function, the SBF model must be a qualitative model. A qualitative model ([3]) differs from a quantitative one in that it specifies properties which hold over ranges of parameter values. This makes it possible to express functions which hold over a range of situations, such as block any counterclockwise motion . Qualitative models also make it possible to determine all ....
J. DeKleer, D. Weld(eds.): Readings in Qualitative Reasoning about Physical Systems, Morgan-Kaufmann, 1990
Qualitative Models in Conceptual Design: A Case Study - Faltings (1991) (2 citations) (Correct)
....in this paper cast some doubt on hopes for useful qualitative object representations. This doubt is confirmed by a survey of the research results that have been achieved in qualitative physics. Of the 55 papers in a recent representative collection of papers dealing with qualitative physics ( [Weld and De Kleer, 1989]) only three put an emphasis on the qualitative representation of objects, and these only in the context of functional predictions. All successful research in qualitative physics is primarily motivated by qualitative models of behavior and function, which in some cases can be mapped successfully ....
Daniel S. Weld, Johan de Kleer (eds.): "Readings in Qualitative Reasoning about Physical Systems," Morgan-Kau#man, 1989
When Are Two Protocols the Same? - McBurney, Parsons (2002) (Correct)
....the work in this paper is preliminary, we hope it will stimulate discussion and future work. One possible future line of inquiry is to represent similar length dialogues using order of magnitude reasoning methods, such as those developed in the qualitative physics area of Artificial Intelligence [33]. For example, the system FOG of Olivier Raiman [23] defines three operators to represent the relative values of two physical variables: one variable is negligible relative to the other; their difference is negligible; and both variables are the same size and order of magnitude. Raiman has ....
D. S. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, USA, 1990.
Multi-context Systems as a Tool to Model Temporal Evolution - Di Manzo Giunchiglia (1993) (Correct)
....to extend the basic framework described in the previous section to model the behavior of a particular dynamic system. Two solutions are proposed for each addressed problem: a simple mind one and a slightly more elaborated one relying on some principles commonly used in Qualitative Reasoning [Bob84, WDK89]. To give a flavour of the GETFOL implementation, from here on we use GETFOL syntax and notations (using the typewriter font to evidentiate GETFOL code and symbols) We consider a simplified version of the U tube example [For84, Kui86] We take into account only two quantities, being the value of ....
D.S. Weld and J.H. De Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann Publishers, Inc., 95, First Street, Los Altos, CA 94022, 1989.
Electronic "How Things Work" Articles - Franz Amador Deborah Self-citation (Weld) (Correct)
No context found.
D. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, August 1989.
An Algorithm for Probabilistic Planning - Kushmerick, Hanks, Weld (1993) (134 citations) Self-citation (Weld) (Correct)
No context found.
D. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, August 1989.
The LPSAT Engine & its Application to Resource Planning - Wolfman, Weld (1999) (4 citations) Self-citation (Weld) (Correct)
No context found.
D. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, August 1989.
Towards Interactive Tools for Constructing Articulate.. - Machado, Bredeweg (2001) (Correct)
No context found.
Weld, D., & Kleer, J. de (Eds.) (1990). Readings in qualitative reasoning about physical systems. Palo Alto, CA: Morgan Kaufmann Publishers.
Explanation and Qualitative Reasoning - Anders Bouwer And (1999) (Correct)
No context found.
Weld, D. S., and de Kleer, J. H. 1990. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann. Wenger, E. 1987. Artificial intelligence and tutoring systems.
Interactive Model Building Environments - Bouwer, Machado, Bredeweg (2002) (Correct)
No context found.
Weld, D., & Kleer, J. de (Eds.) (1990). Readings in qualitative reasoning about physical systems.
The Composition and Validation of Heterogeneous Control Laws - Benjamin Kuipers University (1994) (10 citations) (Correct)
No context found.
Weld, D. S. and J. de Kleer (1990). Readings in Qualitative Reasoning About Physical Systems. Los Altos, CA: Morgan Kaufman.
Qualitative Models in Interactive Learning Environments: An.. - Bredeweg, Winkels (1998) (2 citations) (Correct)
No context found.
Weld, D., & Kleer, J. de (Eds.) (1990). Readings in qualitative reasoning about physical systems. Palo Alto, CA: Morgan Kaufmann Publishers.
Abductive Theorem Proving for Analyzing Student.. - Makatchev, Jordan.. (2004) (Correct)
No context found.
Weld, D. S. and J. de Kleer (eds.): 1990, Readings in Qualitative Reasoning about Physical Systems. San Mateo, California: Morgan Kaufmann.
Legal Knowledge Based Systems - Jurix The Relation (Correct)
No context found.
D. S. Weld and J. H. de Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann# 1990.
Qualitative Temporal Behavior Description and Temporal.. - Nejdl, Gamper (1993) (1 citation) (Correct)
No context found.
Daniel S. Weld and Johan de Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann Publishers, Inc., 1989. 14
Capability Representations for Brokering: A Survey - Wickler, Tate (1999) (1 citation) (Correct)
No context found.
Daniel S. Weld and Johan de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, 1990.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC