IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

Goal-directed qualitative reasoning with partial states

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/19612

Files in this item

File Description Format
PDF 9503174.pdf (7MB) Restricted to U of Illinois (no description provided) PDF
Title: Goal-directed qualitative reasoning with partial states
Author(s): Decoste, Dennis Martin
Doctoral Committee Chair(s): Winseus, Marianne
Department / Program: Computer Science
Discipline: Computer Science
Degree Granting Institution: University of Illinois at Urbana-Champaign
Degree: Ph.D.
Genre: Dissertation
Subject(s): Computer Science
Abstract: This research explores the representational and computational complexities of qualitative reasoning about time-varying behavior. Traditional techniques employ qualitative simulation (QS) to compute envisionments (i.e. state-transition graphs) representing all possible behaviors. Unfortunately, QS exhaustively case-splits on all choices, regardless of specific task goals. It reasons with completely described states and explores every (ambiguous) future of each.In this thesis we introduce a new representation, called sufficient discriminatory envisionments (SUDE's), which addresses these problems. SUDE's discriminate the possible behavior space by whether the goal is possible, impossible, or inevitable from each state in that space. Our techniques for generating SUDE's strive to reason with the smallest state descriptions which are sufficient for making these discriminations.We present algorithms for generating SUDE's via a two-stage process. First, exhaustive regression sketches the space of possible paths between the initial and goal states. Second, we qualify these possible paths, identifying conditions under which the goal is impossible or inevitable and finding all possible transitions between these paths.We formulate Nature's regression operators in terms of minimal chunks of causality, exploiting the causal, compositional nature of Qualitative Process Theory models. We integrate continuity-based and minimality-based theories of change to support discontinuous change due to actions and modelling simplifications.We discuss our implementation of these techniques and our test examples in three domains, which we call ball-world, tank-world, and kitchen-world.
Issue Date: 1994
Type: Text
Language: English
URI: http://hdl.handle.net/2142/19612
Rights Information: Copyright 1994 Decoste, Dennis Martin
Date Available in IDEALS: 2011-05-07
Identifier in Online Catalog: AAI9503174
OCLC Identifier: (UMI)AAI9503174
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 0
  • Downloads this Month: 0
  • Downloads Today: 0

Browse

My Account

Information

Access Key