Higher-order derivative constraints in qualitative simulation
type: Item
instance of: scholarly article
title: Higher-order derivative constraints in qualitative simulation
zbMATH Open document ID: 0751.68081
DOI: 10.1016/0004-3702(91)90114-Y
author: Benjamin J. Kuipers
author: Charles Chiu
author: David T. Dalle Molle
author: D. R. Throop
published in: Artificial Intelligence
publication date: 1992-09-26T00:00:00Z
review text: We demonstrate automatic methods for identification of chattering variables, algebraic derivation of expressions for second-order derivatives, and evaluation and application of the sign of second- and third-order derivatives of variables, resulting in tractable simulation of important qualitative models. Caution is required, however, when deriving higher-order derivative (HOD) expressions from models including incompletely known monotonic functions \((M^ +)\) constraints, whose derivatives beyond the sign of the slope are completely unspecified. We discuss the strengths and weaknesses of several methods for evaluating HOD expressions in this situation. We also discuss a second approach to intractable branching, in which we change the level of description to collapse an infinite set of distinct behaviors into a few by ignoring certain distinctions. These two approaches represent a tradeoff between generality and power. Each application of these methods can take a position on this tradeoff depending on its own critical needs.
Mathematics Subject Classification ID: 68U20
Mathematics Subject Classification ID: 65C20
zbMATH DE Number: 55599
zbMATH Keywords: higher-order derivatives
zbMATH Keywords: monotonic function constraints
describes a project that uses: MACSYMA
describes a project that uses: Mathematica
MaRDI profile type: Publication
cites work: Q5573571
cites work: Q4692918
cites work: Qualitative simulation
cites work: Aggregation of Variables in Dynamic Systems
cites work: Task-dependent qualitative domain abstraction
cites work: Comparative analysis
cites work: Exaggeration
cites work: Q3823708
description: scientific article; zbMATH DE number 55599