| Author | Rachada Yokglin |
| Call Number | AIT Thesis no. CS-91-28 |
| Subject(s) | Logic programming
|
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | The abductive procedure of Eshghi and Kowalski was extended in the work both in the abductive derivation and consistency derivation phases. The resulting algorithm is an abductive procedure with an Equality Variant of Resultant Check. A metainterpreter for abductive programs was also developed in this work. It is a PROLOG program accepting logic programs as inputs. It derives the abductive programs that include negations to give an answer " YES " or " NO " and to give hypotheses used in justifying the conclusion of a goal. |
| Year | 1991 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Other Field of Studies (No Department) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung |
| Examination Committee(s) | Huynh Ngoc Phien ;Surapong Auwatanamongkol |
| Scholarship Donor(s) | Thammasat University |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1991 |