| ชื่อเรื่อง | : | Defeasible inheritance through specialization |
| นักวิจัย | : | Ekawit Nantajeewarawat , Vilas Wuwongse |
| คำค้น | : | Argumentation , Deductive object-oriented systems , Dynamic method resolution , Inheritance stratification , Nonmonotonic inheritance , Skeptical semantics |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2544 |
| อ้างอิง | : | Computational intelligence. 17,1 (2001) pp. 62-86 , 0824-7935 , http://dspace.library.tu.ac.th/handle/3517/515 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Typed substitution provides a means of capturing inheritance in logic deduction systems. However, in the presence of method overriding and multiple inheritance, inheritance is known to be nonmonotonic, and the semantics of programs becomes a problematic issue. This article attempts to provide a general framework, based on Dung's argumentation theoretic framework, for developing a natural semantics for programs with dynamic nonmonotonic inheritance. The relationship between the presented semantics and perfect-model (with overriding) semantics, proposed by Dobbie and Topor (1995), is investigated. It is shown that for inheritance-stratified programs, the two semantics coincide. However, the proposed semantics also provides correct skeptical meanings for the programs that are not inheritance-stratified. |
| บรรณานุกรม | : |
Ekawit Nantajeewarawat , Vilas Wuwongse . (2544). Defeasible inheritance through specialization.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Ekawit Nantajeewarawat , Vilas Wuwongse . 2544. "Defeasible inheritance through specialization".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Ekawit Nantajeewarawat , Vilas Wuwongse . "Defeasible inheritance through specialization."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2544. Print. Ekawit Nantajeewarawat , Vilas Wuwongse . Defeasible inheritance through specialization. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2544.
|
