AI SearchAction representation languages and planning with incomplete information for UNIX programming (Record no. 1423)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02906nas|a2200433 i 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260817161452.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 020503s2001 th uzm rtt 00| a1eng d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b11853700 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Thesis no. CS-01-15 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Bui Hoai Thang |
| 245 10 - TITLE STATEMENT | |
| Title | Action representation languages and planning with incomplete information for UNIX programming |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 2001 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 76 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Thesis ; |
| Volume/sequential designation | no. CS-01-15 |
| 500 ## - GENERAL NOTE | |
| General note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Advanced Technologies |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Asian Institute of Technology, 2001 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This thesis deals with planning problems in the UNIX domain. It studies the UNIX environment, and represents the UNIX domains in the first order logic. The thesis also represents UNIX commands as actions in an action representation language. Those actions are then used in planners to solve problems in the UNIX system automatically. The thesis also builds a partial order planner, which uses the proposed actions to satisfy user requests. The built planner is not only able to handle universal quantification, conditional effect, but also to capture an agent's incomplete information about the world by extending the classical planner to handle information goals, as well as generate an executing plan in the presence of incomplete information by interleaving planning and execution. |
| 650 10 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | UNIX (Computer program) |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Phan, Minh Dung, |
| Relator term | Chairperson |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Manukid Parnichkun, |
| Relator term | Examination Committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hoang Le Tien, |
| Relator term | Examination committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Development Bank, |
| Relator term | Scholarship donor |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Thesis ; |
| Volume/sequential designation | no. CS-01-15 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B07944">http://203.159.5.9/ait-thesis/detail.php?q=B07944</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b11853700 |
| b | mnait |
| c | u |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 250411 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 0 |
| Cataloger's initials, CIN (RLIN) | 020510 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | u |
| -- | 0 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 20-AIT Publication |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120674972 |
| CREATED | CREATED : 2002-10-05 |
| RECORD Id | RECORD # : i12280720 |
| LPATRON | LPATRON : 1015347 |
| LCHKIN | LCHKIN : 2003-11-28 |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 5 |
| -- | TOT RENEW : 1 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120674949 |
| CREATED | CREATED : 2002-10-05 |
| RECORD Id | RECORD # : i12280732 |
| LPATRON | LPATRON : 1017471 |
| LCHKIN | LCHKIN : 2005-10-28 |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 7 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120354401 |
| CREATED | CREATED : 2016-06-15 |
| RECORD Id | RECORD # : i13040935 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120914642 |
| CREATED | CREATED : 2019-11-22 |
| RECORD Id | RECORD # : i13232873 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 17/08/2026 | 50.00 | AIT Thesis no. CS-01-15 | 30050120674972 | 17/08/2026 | 2 | 17/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 17/08/2026 | 50.00 | AIT Thesis no. CS-01-15 | 30050120674949 | 17/08/2026 | 1 | 17/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 17/08/2026 | AIT Thesis no. CS-01-15 | 30050120354401 | 17/08/2026 | 17/08/2026 | 40-Archives | ||||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 17/08/2026 | 50.00 | AIT Thesis no. CS-01-15 | 30050120914642 | 17/08/2026 | 3 | 17/08/2026 | 20-AIT Publication |