Tran Cao Son creator Phan, Minh Dung Chairperson Huynh, Ngoc Phien Examination Committee Vilas Wuwongse Examination Committee Government of Switzerland Scholarship donor text th Bangkok Asian Institute of Technology 1993 monographic eng

print

49, A-4, B-2 leaves + 1 online resource 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. A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science Thesis (M.Sc.) - Asian Institute of Technology, 1993 Logic programming Asian Institute of Technology. http://203.159.5.9/ait-thesis/detail.php?q=B16138 http://203.159.5.9/ait-thesis/detail.php?q=B16138 080998 20260817163226.0