Title page for ETD etd-09082012-040532


Type of Document Master's Thesis
Author Pendergraft, James O.
URN etd-09082012-040532
Title Planning with hypothetical reasoning
Degree Master of Science
Department Computer Science and Applications
Advisory Committee
Advisor Name Title
Roach, John W. Committee Chair
Kervick, Daniel M. Committee Member
Nutter, Jane Terry Committee Member
Keywords
  • Planning
Date of Defense 1988-08-05
Availability restricted
Abstract

A planner driven by a causal theory and based on hypothetical reasoning is constructed and discussed. The task is approached from the fundamentals of time and event logics, and causality, resulting in a planner suitable for modeling a wide variety of realistic problem domains, and capable of reasoning in an intuitive manner about dynamic domains. The underlying causal theory drives the planning process directly and, in conjunction with the uniform representation of time and causal facts, allows elegant solutions to planning problems. A new type of planning problem, the indirect goal problem, is identified and solved It is also shown that previous planners cannot solve this type of problem. The frame problem is discussed in detail, and given a computational definition, suitable for allowing objective comparison between different approaches. The hypothetical reasoning approach is shown to allow an elegant solution to the frame problem appropriate for planning systems.

Files
  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
[VT] LD5655.V855_1988.P375.pdf 7.85 Mb 00:36:20 00:18:41 00:16:21 00:08:10 00:00:41
[BTD] next to an author's name indicates that all files or directories associated with their ETD are accessible from the Virginia Tech campus network only.

Browse All Available ETDs by ( Author | Department )

dla home
etds imagebase journals news ereserve special collections
virgnia tech home contact dla university libraries

If you have questions or technical problems, please Contact DLA.