A SAT-based planning framework for optimizing resource production Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/5m60qw906

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • Domain-independent automated planning is concerned with computing a sequence of actions that can transform an initial state into a desired goal state. Resource production domains form an interesting class of such problems, in that they typically require reasoning about concurrent durative-actions with continuous effects while minimizing some cost function. Although formulating planning problems as instances of SAT has proven to be very successful within the realm of STRIPS planning problems, where states and time are discrete and actions are instantaneous, it is unclear whether the same success can be transferred to resource production. Some of the major drawbacks to these systems are that they do not support reasoning about metric quantities, continuous time, and cost functions. TM-LPSAT was one of the first successful systems to reason about both metric quantities and continuous time within a SAT framework. However, TM-LPSAT does not provide a way to reason about cost functions. In this thesis, we extend the framework in a way that allows it to be capable of minimizing the costs, in our case makespans, of the plans that it finds.
Resource Type
Date Available
Date Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Committee Member
Academic Affiliation
Non-Academic Affiliation
Keyword
Subject
Rights Statement
Language
File Format
File Extent
  • 328163 bytes
Replaces
Additional Information
  • description.provenance : Made available in DSpace on 2007-07-24T16:27:47Z (GMT). No. of bitstreams: 1 thesis.pdf: 328163 bytes, checksum: 854ff654d6d254463605bc4a99e43315 (MD5)
  • description.provenance : Submitted by Christopher Ventura (venturch) on 2007-06-27T21:52:17Z No. of bitstreams: 1 thesis.pdf: 328163 bytes, checksum: 854ff654d6d254463605bc4a99e43315 (MD5)
  • description.provenance : Approved for entry into archive by Julie Kurtz(julie.kurtz@oregonstate.edu) on 2007-07-11T16:09:45Z (GMT) No. of bitstreams: 1 thesis.pdf: 328163 bytes, checksum: 854ff654d6d254463605bc4a99e43315 (MD5)

Relationships

In Administrative Set:
Last modified: 10/21/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items