A qualitative physics based on confluences
Abstract
A qualitative physics predicts and explains the behavior of mechanisms in qualitative terms. The goals for the qualitative physics are (1) to be far simpler than the classical physics and yet retain all the important distinctions (e.g., state, oscillation, gain, momentum) without invoking the mathematics of continuously varying quantities and differential equations, (2) to produce causal accounts of physical mechanisms that are easy to understand, and (3) to provide the foundations for commonsense models for the next generation of expert systems.
This paper presents a fairly encompassing account of qualitative physics. First, we discuss the general subject of naive physics and some of its methodological considerations. Second, we present a framework for modeling the generic behavior of individual components of a device based on the notions of qualitative differential equations (confluences) and qualitative state. This requires developing a qualitative version of the calculus. The modeling primitives induce two kinds of behavior, intrastate and interstate, which are governed by different laws. Third, we present algorithms for determining the behavior of a composite device from the generic behavior of its components. Fourth, we examine a theory of explanation for these predictions based on logical proof. Fifth, we introduce causality as an ontological commitment for explaining how devices behave.
References (26)
- J.S. Brown et al.
Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III
- I. Cochin
Analysis and Design of Dynamic Systems
(1980) - R. Davis et al.
Diagnosis based on description of structure and function
- J. De Kleer et al.
Qualitative reasoning with higher-order derivatives
- J. De Kleer et al.
Mental models of physical mechanisms and their acquisition
- J. De Kleer et al.
Mental models of physical mechanisms
- J. De Kleer et al.
Assumptions and ambiguities in mechanistic mental models
- J. De Kleer et al.
Propagation of constraints applied to circuit synthesis
Circuit Theory and Applications
(1980) - J. De Kleer
Qualitative and quantitative knowledge in classical mechanics
- J. De Kleer
Causal and teleological reasoning in circuit recognition
The origin and resolution of ambiguities in causal arguments
Momentum flow as a world view in elementary mechanics
Cited by (913)
A novel IoT-based framework with Prognostics and Health Management and short term fire risk assessment in smart firefighting system
2023, Journal of Building EngineeringIn recent years, “smart firefighting” becomes a popular research topic which aims at improving the efficiency of fire protection and safety. However, in existing smart firefighting systems: (1) state and analog firefighting IoT data is not fully utilized; (2) fire risk assessment requires a long time to update; (3) few existing works can recognize faults and forecast potential risks with both temporal and spatial information from multiple IoT sensors. Therefore, a novel framework is proposed to solve the above problems as follows: (1) Short-term Fire Risk Assessment (SFRA) is proposed by considering the working status, maintenance and rectification performance of firefighting facilities based on IoT state data; (2) Prognostics and Health Management (PHM) algorithms are applied in the fire safety field for the first time to detect faults and forecast potential risks with temporal and spatial information with IoT analog data from single or multiple sensors. A case study is carried out in a building in Shanghai and a smart firefighting system is deployed with the edge computing gateway. The experimental results of the SFRA and PHM are presented and analyzed in details. The performance evaluation and comparison results are presented with multiple metrics. The reliability of the proposed framework is discussed. The case study concluded that the proposed framework extends the utilization of IoT data, improves the efficiency of fire risk assessment and enhances the accuracy of faults detection and potential risk forecast. Moreover, the deployed firefighting system improves the data privacy and computational efficiency.
Engineering Change Risk Assessment: Quantitative and qualitative change characterization
2022, Computers in IndustryCurrently, computer-aided design (CAD) systems are very important for the design of any engineering products. CAD systems have undergone enormous progress. They are becoming more and more intelligent and automated. However, those systems still need improvement and still have flaws that need to be corrected in order to improve and develop the productivity and efficiency of the design process. Mechanical products are often complex and composed of multiple components so, consequently, an Engineering Change (EC) that affects a module or a single component will certainly influence the rest of the assembly. This phenomenon is called Change Propagation (CP). Therefore, in order to propagate a change that affects an assembly component easily, it is important to predict the Change Propagation Path and the impact of this modification on the rest of the assembly components. Hence, CP becomes an easy task. This paper focuses on the risk assessment of an engineering change, in order to enhance the predictive capacity of engineering change management methods. In fact, a full analysis must be made to measure the real impact of such modifications as well as their feasibility. To this end, the authors proposed a matrix-based approach, which results in a Risk Matrix. This is the product of the Relationships Matrix and the Influences Matrix which are constructed based on the data extracted at an early stage. In fact, the CAD assembly model contains a lot of important information that is extracted using Application Programming Interface (API).
On Residual-based Diagnosis of Physical Systems
2022, Engineering Applications of Artificial IntelligenceIn this article we describe a novel diagnosis methodology for physical systems such as industrial production systems. The article consists of two parts: Part one analyzes the differences between using sensor values and using residual values for fault diagnosis. Residual values denote the health of a component by comparing sensor values to a predefined model of normal behaviour. We further analyse how faults propagate through components of a physical system and argue for the use of residual values for diagnosing physical systems. In part two we extend the theory of established consistency-based diagnosis algorithms to use residual values. We also illustrate how users of the presented diagnosis methodology are free to substitute the residual generating equations and the diagnosis algorithm to suit their specific needs.
For diagnosis, we present the algorithm HySD, based on Satisfiability Modulo Linear Arithmetic. We present an implementation of HySD using threshold values and a symbolic diagnosis approach. However, the approach is also suitable to integrate modern machine learning methods for anomaly detection and combine them with a multitude of diagnosis approaches.
Through experiments on the process-industry benchmark Tennessee Eastman Process and another benchmark consisting of multiple tank systems we show the feasibility of our approach. Overall we show how our novel diagnosis approach offers a practical methodology that allows industry to advance from current state of the art anomaly detection to automated fault diagnosis.
Computing operation procedures for chemical plants using whole-plant simulation models
2021, Control Engineering PracticeChemical plants are complex dynamical systems. Optimising plant operation for non-stationary scenarios, such as changing the output product and recovering from abrupt disturbances, is challenging because a chemical plant has many operation points and complex responses. A plant simulator can be used to compute the optimal procedures. However, because of modelling errors or contingent changes in the external conditions, such as weather and feed purity, there exist gaps between the behaviour of a simulator and that of a real plant. This poses another challenge in a simulator-based approach, which adds to the computational complexity of the problem. In this study, we propose a simulator-based approach for optimising chemical plant operations using deep reinforcement learning and knowledge-based automated reasoning. Specifically, a reinforcement learning agent is trained on a whole-plant simulator with a policy gradient algorithm, using automated reasoning to narrow down the action space of the agent. To maintain the optimality of the procedures in a real plant, a simple method for the state and parameter estimation of the system at run time is introduced. This method can improve the accuracy of the response prediction model (i.e. the plant simulator) on which the agent depends. The presented method is evaluated on a real chemical distillation plant. The experimental results indicate that the proposed approach consumed only half the time and steam (heat energy) in comparison with that in the case of human-emulated procedures.
Automatic modeling and fault diagnosis of car production lines based on first-principle qualitative mechanics and semantic web technology
2021, Advanced Engineering InformaticsFault diagnosis is critical for intelligent manufacturing by monitoring the status of a production line and preventing financial loss. Model-based fault diagnosis has the advantage of being able to explain the cause and propagation of faults over model-free diagnosis, but would need knowledge about the configuration model and context-specific information of the production line. Ontology modelling can provide context-specific information on top of a configuration model to benefit fault diagnosis. Typically ontologies are manually constructed and then used by a reasoner based on a set of predefined rules. From the perspective of fault diagnosis, this approach works as an expert system where both the ontology models and predefined rules are specific to a given system. Once the system has changed which happens from time to time as repairs and updates in a production line, or in the case of a different system, the ontology models and predefined rules would need to be manually modified or reconstructed. Here a model-based method is proposed to automate generation of configuration models with context-specific information using semantic web technology when a production line is healthy, and to use the generated configuration model and information for diagnosis when the production line has a fault. The method does not rely on predefined rules and reasoners, but rather uses dynamics models that are based on first-principle qualitative mechanics. It uses numerical optimization to minimize the discrepancy between sensor data from the production line and from simulation running the dynamics model to achieve automatic configuration modelling and fault diagnosis. With three use cases commonly found for a production line, i.e. automatic sensor placement modeling or misplacement diagnosis, motor fault diagnosis with single sensor modality, and motor fault diagnosis with sensory substitution, the feasibility of the proposed method is demonstrated. The method’s faster computational speed and comparable accuracy to a quantitative model-based approach suggests it may complement and accelerate the latter with early-stage selection of candidate models for both modelling and fault diagnosis.
Dependency-aware software requirements selection using fuzzy graphs and integer programming
2021, Expert Systems with ApplicationsOne of the critical activities in software development is Requirements Selection, which is to find an optimal subset of the software requirements (features) with the highest value for a given budget. The values of the requirements, however, may depend on one another. Such Value Dependencies have not been considered by the existing requirements selection methods, leading to user dissatisfaction and loss of value and reputation in software projects. To mitigate this, we propose Dependency-Aware Requirements Selection (DARS) as an expert system, which explicitly accounts for value dependencies in software projects. At the heart of DARS is an Integer Linear Programming (ILP) model that reduces the risk of value loss by considering value dependencies among the requirements. These value dependencies are identified from the preferences of the users for the requirements. The validly of DARS is verified by studying a real-world software project as well as carrying out simulations. Our results demonstrate a significant reduction in value loss when DARS is employed. Also, the ILP model of DARS proved scalable to large requirement sets (experimented for up to 3000). The results of our study can be extrapolated to a wide range of expert systems that concern selecting value-dependent items.