Year of Graduation
Non-monotonic Logic and Argumentation (H.Prakken, J.Pollock). Critical Analysis
This paper is intended to explain that a non-monotonic logic gives new opportunities to build a theory of argumentation. For that in the paper there is overview of the views of both investigators John L. Pollock and Henry Prakken on trends in the development of forms and methods of philosophical reasoning based on the principles of non-classical logic. The research gives the definition of key terms that characterize the process argumentative reasoning. Particular emphasis is placed on how the theories solve the problem of formalization of reasoning. Furthermore, it is important to give a display the succession of Pollock's investigation, in other words, to demonstrate how his ideas are transformed into Prakken's system ASPIC+. In addition, the work identifies a range of new issues that are found within the non-monotonic approach and has not yet been resolved. Results of this investigate can be used for further studies of formalization of natural reasoning.