Goal-directed qualitative reasoning with partial states

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.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2011

Author dc:creator

• Decoste, Dennis Martin

Contributors dc:contributor

• Winseus, Marianne

• Computer Science

Statement dc:rights

• Copyright 1994 Decoste, Dennis Martin

Language dc:language

eng

Identifier

AAI9503174
(UMI)AAI9503174

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/19612