| Author | Nguyen Anh Hao |
| Call Number | AIT Thesis no.IM-03-05 |
| Subject(s) | Planning
|
| Note | A thesis submitted in partial fulfillment of the requirements for the degree
of Master of Science, School of Advanced Technologies |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. IM-03-05 |
| Abstract | Linear time temporal logic has been used as a tool to express control knowledge in reactive
systems. Its attractive potential is proved by TLPlan, which is being considered as the
fastest planning system. However, the design of TLPlan has a drawback due to the use of
pruning method which limits the efficiency of the system thus whether the control
knowledge in TL control formulas can be used for selecting plan operator has been pursued
in recent years.
SHOP has similar potential with TLPlan in expressing control knowledge so as it can
express TLPLan's control knowledge. The primary reasons for converting control
knowledge of TLPLan into SHOP are (1) TLPlan system is based on state space search
while SHOP uses problem deduction and it has long been known that problem deduction is
much more efficient than state space search, (2) The use of temporal logic control formula
in TLPlan has been focused to state pruning rather than actual planning.
In this thesis, the transformation is described for a sub-class Ll of TL formulas, in which
state constraints generated by a TLPLan' s control formula in each pruning step are all reestablished
in each task selection step of equivalent SHOP planner. |
| Year | 2003 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. IM-03-05 |
| Type | Thesis |
| School | School of Advanced Technologies (SAT) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Information Management (IM) |
| Chairperson(s) | Phan Minh Dung; |
| Examination Committee(s) | Vilas Wuwongse;Sumanta Guba; |
| Scholarship Donor(s) | Vietnam Post and Telecommunications; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 2003 |