Axiomatizing Qualitative Process Theory

About Axiomatizing Qualitative Process Theory

Excerpt from Axiomatizing Qualitative Process Theory We show that the type of reasoning performed by Forbus' [1985] Qualitative Process (QP) program can be justified in a first-order theory that models time and other measure spaces as real-valued quantities. We consider the QP analysis of a can of water with a safety valve being heated over a flame. We exhibit a first-order theory for the microworld involved in this example, and we prove the correctness of the first two transitions in the envisionment graph. We discuss the possibility of deriving the closure conditions in the theory via non-monotonic inference. One way to increase confidence in a reasoning program is to show that the conclusions that it draws correspond to valid inferences within some easily intelligible logical theory. Such a correspondence has been shown for many of the best known physical reasoning programs. The…

How CheapestTextbooks.com compares prices

When you open this page we ask eCampus, Knetbooks, BiggerBooks and VitalSource for their current prices on ISBN 9781330206607 and sort every offer by its total with shipping. Rental rows show the term (semester, quarter or short term) and that term goes with you to the store's cart, and eBook rows link straight to the 180-day or no-expiry option you picked. Prices are rechecked at least every 30 minutes, so confirm the total at checkout.

Browse all textbook subjects