Consistency check for abductive query evaluation with respect to extended logic programs | |
| Author | Bharati, Devesh |
| Call Number | AIT Thesis no. CS-92-2 |
| Subject(s) | Truth maintenance systems Logic programming |
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | A method for consistency checking has been developed so as to derive consistent results from contradictory extended logic programs by adopting a hybrid evaluation (a compromise in between Top-down and Bottom-up evaluation). Efficiency aspects have been treated with query evaluation and consistency checking on such programs. To avoid the irrelevant part of the knowledge base under search the Semi-Naive evaluation approach has been applied. To avoid the repeated computation of certain part of a query and to deal with multiple query evaluation, a modified form of Assumption base Truth Maintenance System (A TMS) has been presented. |
| Year | 1992 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung; |
| Examination Committee(s) | Surapong Auwatanamongkol ;Kanchana Kanchanasut; |
| Scholarship Donor(s) | Government of Norway (NORAD); |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1992 |