Qualitative Equations: The Confluence Case

Aubin, J.-P. (1988). Qualitative Equations: The Confluence Case. IIASA Working Paper. IIASA, Laxenburg, Austria: WP-88-016

[thumbnail of WP-88-016.pdf]

Download (625kB) | Preview


This paper deals with a domain of Artificial Intelligence known under the name of "qualitative simulation" or "qualitative physics", to which special volumes of "Artificial Intelligence" (1984) and or "IEEE Transactions on Systems, Man and Cybernetics" (1987) have been devoted.

It defines the concept of "qualitative frame" of a set, which allows to introduce strict, large and dual confluence frames of a finite dimensional vector-space.

After providing a rigorous definition of standard, lower and upper qualitative solutions in terms of confluences introduced by De Kleer, it provides a duality criterion for the existence of a strict standard solution to both linear and non linear equations.

It also furnishes a dual characterization of the existence or upper and lower qualitative solutions to a linear equation.

These theorems are extended to the case or "inclusions", where single-valued maps are replaced by set-valued maps. This may be useful for dealing with qualitative properties of maps which are not precisely known, or which are defined by a set of properties, a requirement which is at the heart of qualitative simulation.

Item Type: Monograph (IIASA Working Paper)
Research Programs: System and Decision Sciences - Core (SDS)
Depositing User: IIASA Import
Date Deposited: 15 Jan 2016 01:59
Last Modified: 27 Aug 2021 17:13
URI: https://pure.iiasa.ac.at/3189

Actions (login required)

View Item View Item