Accession Number : ADA112225

Title :   Qualitative Process Theory.

Descriptive Note : Memorandum rept.,


Personal Author(s) : Forbus,Kenneth D

PDF Url : ADA112225

Report Date : Feb 1982

Pagination or Media Count : 56

Abstract : Things move, collide, flow, bend heat up, cool down, stretch, break, and boil these and other things that happen to cause changes in objects over time are intuitively characterized as processes. To understand common sense physical reasoning and make machines that interact significantly with the physical world we must understand qualitative reasoning about processes, their effects, and their limits. Qualitative Process theory defines a simple notion of Reasoning about process also motivates a new qualitative representation for quantity, the Quantity Space. This paper includes the basic definitions of Qualitative Process theory, describes several different kinds of reasoning that can be performed with them, and discusses its implications for causal reasoning. The use of the theory is illustrated by several examples, including figuring out that a boiler can blow up, that an oscillator with friction will eventually stop, and how to say that you can pull with a string, but notpush with it. (Author)

Descriptors :   *Artificial intelligence, *Problem solving, *Computer aided instruction, *Physics, Reasoning, Interactions, Boilers, Motion, Oscillators, Elevators, Transmission gears, Motion, Flow, Heating, Boiling, Collisions, Bending, Cooling

Subject Categories : Cybernetics
      Human Factors Engineering & Man Machine System

Distribution Statement : APPROVED FOR PUBLIC RELEASE