| Author | Tran Cao Son |
| Call Number | AIT Thesis no. CS-93-28 |
| Subject(s) | Logic programming
|
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science |
| Publisher | Asian Institute of Technology |
| Abstract | This work presents a new approach to reasoning in defeasible inheritance network. The
new approach is based on the principle of argumentation proposed in (DUNG, 1993). It will show
that different inheritance theories such as credulous or skeptical theories of defeasible inheritance
networks can be seen as an instance of argumentation framework. Furthermore, it points out that
the problem of not using reinstatement in reasoning of inheritance network, much discussed by
many authors in the community of inheritance reasoners, is not correct. In fact, it gives argument
for justifying this problem. In additional to the theory of argumentation framework, this thesis
presents some results about specific argumentation frameworks which have been not examined
yet. In fact, it demonstrates some different views of attacks and acceptability of arguments in
argumentation framework, which are the significant parts of argumentation frameworks. |
| Year | 1993 |
| 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;Vilas Wuwongse; |
| Scholarship Donor(s) | Government of Switzerland; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1993 |