Setting up Large-Scale Qualitative Models

Managing qualitative simulation in knowledge‐based chemical diagnosis

“…Using the FDSA as the basis for the qualitative physics model avoids unnecessary process details that can contributt to the generation of multiple results during qualitative simL lation. In this sense it parallels many of the issues described by Faulkenhainer and Forbus (1988); however, their work does m t address abstraction from a diagnostic foundation. Kramer and Oyeleye (1988) identified the need to correctly locate functioning portions of the process, especially control loops to reduce multiplicity.…”

“…Attempts have been made to use specific quantitative information to constrain the branching during qualitative simulation (Kuipers and Berleant, 1988) as well as extending the qualitative mathematics to higher-order derivatives (Kuipers and Chiu, 1987). In the case of the Forbus' modeling approach, efforts have been devised to represent process abstractions at several levels of detail ( Faulkenhainer and Forbus, 1988).…”

Qualitative Reasoning

“…For example, consider function f(t) whose behavior is shown in Figure 7. 15. Assume that f(t) is a reasonable function, that lo,ll' and l2 are among the landmark values of f(t), that to, tll and t2 are distinguished time points…”

Securing system controllers in critical infrastructures

“…Further more, model-checking technique uses symbolic (qualitative) models. Thus, the problem and solution space can be narrowed down for further detailed analysis by quantitative models later [6]. The proposed approach is also different from typical model-checking applications in a software domain in two ways.…”