Author(s)

A. Farquhar & G. Brajnik

Abstract

A semi-quantitative physics compiler A. Farquhar*, G. Brajnik*> "Knowledge Systems Laboratory, Stanford University, Palo Alto, C4, U&4 ^Dipartimento di Matematica e Informatica, Universita di Udine, Udine, Italy 1 Introduction Consider the problem of water supply control. A lake has a dam with flood- gates that can be opened or closed to regulate the water flow through power generating turbines, the water level (stage) of the lake, and the downstream flow. The goal of a controller is to provide adequate reservoir capacity for power generation, consumption, industrial use, and recreation, as well as downstream flow. In exceptional circumstances, the controller must also work to minimize or avoid flooding both above and below the dam. This task is both difficult and vitally important to the residents of surround- ing areas. The work of controllers could be substantially eased by sound automatic modeling and simulation tools. There are several forms of incomplete information that

Keywords