| Author | Michelle Abhasakun |
| Call Number | AIT Thesis no. CS-92-12 |
| 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 issue of the preservation of equivalences between stratified logic programs under
updates is addressed, using several different semantics of equivalence, including equivalence of
stable models, subsumption equivalence and logical equivalence with respect to Clark's
completion. Each definition of equivalence is tested against 5 different update semantics.
Generalizations are then drawn where possible to determine an update semantics which tends
to promote equivalence preservation. Finally, conditions are given which, if holding true for two
programs, ensures those programs' continued equivalence under updates. |
| 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) | Huynh, Ngoc Phien ;
Sadananda, Ramakoti |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1992 |