AI SearchArgument-based analysis of non-monotonic inheritance networks
Tran Cao Son
Argument-based analysis of non-monotonic inheritance networks - Bangkok : Asian Institute of Technology, 1993 - 49, A-4, B-2 leaves + 1 online resource - Thesis ; no. CS-93-28 . - Asian Institute of Technology. Thesis ; no. CS-93-28 .
A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science
Thesis (M.Sc.) - Asian Institute of Technology, 1993
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.
Logic programming
Argument-based analysis of non-monotonic inheritance networks - Bangkok : Asian Institute of Technology, 1993 - 49, A-4, B-2 leaves + 1 online resource - Thesis ; no. CS-93-28 . - Asian Institute of Technology. Thesis ; no. CS-93-28 .
A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science
Thesis (M.Sc.) - Asian Institute of Technology, 1993
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.
Logic programming