000 04362cas|a2200421 i 4500
005 20260817170953.0
008 170699s1997 th uzm rtt 00| a1eng d
035 _a.b11696436
099 9 _aAIT Diss. no. CS-97-7
100 0 _aEkawit Nantajeewarawat
245 1 3 _aAn axiomatic framework for deductive object-oriented representation systems based-on declarative program theory
260 _aBangkok :
_bAsian Institute of Technology,
_c1997
300 _a1 online resource (135 p.)
490 1 _aDissertation ;
_vno. CS-97-7
500 _aA dissertation submitted in a partial fulfillment of the requirements for the degree of Doctor of Engineering
502 _aThesis (Ph.D.) - Asian Institute of Technology, 1997
520 _aThis 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 1 0 _aDeclarative programming
650 1 0 _aObject-oriented databases
700 0 _aVilas Wuwongse,
_eChairperson
700 1 _aPhan, Minh Dung,
_eExamination Committee
700 1 _aBatanov, Dentcho N.,
_eExamination Committee
710 2 _aThe Royal Thai Government,
_eScholarship Donor
810 2 _aAsian Institute of Technology.
_tDissertation ;
_vno. CS-97-7
856 _3Full-Text
_uhttp://203.159.5.9/ait-thesis/detail.php?q=B00313
907 _a.b11696436
_bmnait
_cy
902 _a240520
998 _b0
_c980306
_dm
_ea
_fy
_g3
945 _lmnait
945 _lmnait
945 _lmnarc
942 _c20
942 _c40
909 _aBarcode : 30050003887717
_bCREATED : 1998-06-03
_cRECORD # : i12054550
_dLPATRON : 0
_eLCHKIN : -
_f# RENEWALS : 0
_g# OVERDUE : 0
_hIUSE3 : 1
_iTOT CHKOUT : 0
_jTOT RENEW : 0
909 _aBarcode : 30050120871594
_bCREATED : 1998-06-03
_cRECORD # : i12054562
_dLPATRON : 1015151
_eLCHKIN : 2019-02-04
_f# RENEWALS : 0
_g# OVERDUE : 0
_hIUSE3 : 2
_iTOT CHKOUT : 8
_jTOT RENEW : 4
909 _aBarcode : 30050160037502
_bCREATED : 2016-01-25
_cRECORD # : i12873202
_dLPATRON : 0
_eLCHKIN : -
_f# RENEWALS : 0
_g# OVERDUE : 0
_hIUSE3 : 0
_iTOT CHKOUT : 0
_jTOT RENEW : 0
999 _c10419
_d10419