AI SearchAn axiomatic framework for deductive object-oriented representation systems based-on declarative program theory (Record no. 10419)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04362cas|a2200421 i 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260817170953.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 170699s1997 th uzm rtt 00| a1eng d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b11696436 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Diss. no. CS-97-7 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Ekawit Nantajeewarawat |
| 245 13 - TITLE STATEMENT | |
| Title | An axiomatic framework for deductive object-oriented representation systems based-on declarative program theory |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 1997 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (135 p.) |
| 490 1# - SERIES STATEMENT | |
| Series statement | Dissertation ; |
| Volume/sequential designation | no. CS-97-7 |
| 500 ## - GENERAL NOTE | |
| General note | A dissertation submitted in a partial fulfillment of the requirements for the degree of Doctor of Engineering |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (Ph.D.) - Asian Institute of Technology, 1997 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This dissertation provides an abstract framework which accounts for the static aspect of deductive object-oriented representation paradigm, including deduction, in- heritance, implicit information, structured objects and complex object descriptions. For the sake of generality and simplicity, it uses Akama{u2019}s abstract theory of declara- tive programs as its primary logical basis. Interaction of deduction and nonmonotonic inheritance captured via specialization operation is discussed based on Dung's theory of argumentation. An appropriate semantics for declarative programs with nonmono- tonic inheritance is presented Relationship between this semantics and Dobbie and Topor{u2018}s perfect model (with overriding) semantics is investigated. It is shown that for inheritance-strati{uFB01}ed programs, the two kinds of semantics coincide. However, the proposed semantics also provides correct skeptical meanings for the programs which are not inheritance-strati{uFB01}ed. Interaction of deduction and implicit implication on an interpretation domain clue to taxonomic information is studied. Under the assumption that the implicit implica- tion can be determined in advance and represented by a preorder on the domain, an appropriate model-theoretic semantics for declarative programs along with its {uFB01}xpoint characterization is described. Based on Kostler et.a1.{u2018}s foundation of {uFB01}xpoint with subsumption, it is shown that, if the implicit-implication relation is further assumed to be a partial order, then the meaning of a program can be obtained more elegantly by computation over reduced subsets of the interpretation domain. Moreover, implicit implication that cannot be determined beforehand but varies with interpretations is also investigated. Structural interrelationships among composite objects and object descriptions are studied based on Aczel's theory of structured objects. In order to specify the forms of required objects more precisely and concisely, Aczel{u2019}s theory is extended under the aSSumption that a structured object may belong to a sort and that these object sorts are partially ordered. The extension provides a general principle for the construction of order-sorted universes of structured objects. In addition, semantic interdependency between compound atoms (molecules) and constituent atoms is discussed. |
| 650 10 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Declarative programming |
| 650 10 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Object-oriented databases |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Vilas Wuwongse, |
| Relator term | Chairperson |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Phan, Minh Dung, |
| Relator term | Examination Committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Batanov, Dentcho N., |
| Relator term | Examination Committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | The Royal Thai Government, |
| 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 | Dissertation ; |
| Volume/sequential designation | no. CS-97-7 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B00313">http://203.159.5.9/ait-thesis/detail.php?q=B00313</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b11696436 |
| b | mnait |
| c | y |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240520 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 0 |
| Cataloger's initials, CIN (RLIN) | 980306 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | y |
| -- | 3 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 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 : 30050003887717 |
| CREATED | CREATED : 1998-06-03 |
| RECORD Id | RECORD # : i12054550 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 1 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120871594 |
| CREATED | CREATED : 1998-06-03 |
| RECORD Id | RECORD # : i12054562 |
| LPATRON | LPATRON : 1015151 |
| LCHKIN | LCHKIN : 2019-02-04 |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 2 |
| -- | TOT CHKOUT : 8 |
| -- | TOT RENEW : 4 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050160037502 |
| CREATED | CREATED : 2016-01-25 |
| RECORD Id | RECORD # : i12873202 |
| 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 | 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 | AIT Diss. no. CS-97-7 | 30050003887717 | 17/08/2026 | 1 | 17/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 17/08/2026 | AIT Diss. no. CS-97-7 | 30050120871594 | 17/08/2026 | 2 | 17/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 17/08/2026 | AIT Diss. no. CS-97-7 | 30050160037502 | 17/08/2026 | 17/08/2026 | 40-Archives |