Dialectical proof procedures and applications in contract dispute resolution | |
| Author | Nguyen Duy Hung |
| Call Number | AIT Diss. no.RS-12-02 |
| Subject(s) | Dialectic Argumentation |
| Note | A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Engineering in Remote Sensing and Geographic Information Systems |
| Publisher | Asian Institute of Technology |
| Series Statement | Dissertation ; no. RS-12-02 |
| Abstract | Argumentation is a form of reasoning, that could be viewed as a dispute resolu- tion, in which the participants present their arguments to establish, defend or attack certain propositions. Argumentation provid es a basis for understanding non-monotonic and defeasible reasoning, a promising platf orm for investigating decision making, dia- logue, negotiation, learning, legal reasoning and legal dispute resolution. For contract dispute resolution, in th is dissertation we first develop a common framework of dialectical proof procedures for computing credulous, ideal and scepti- cal preferred semantics in modular assumption-based argumentation. The framework consists of two dialectical notions. Disput ederivationsareusedtorepresentproofs for credulous acceptances as well as proofs for credulous refutations. Base derivations characterize all preferred extensions supporting a desired proposition, and represent backtracking in the search for dispute deriv ations. We prove the correctness of the proof procedures for a general class of p-acyclic finitary frameworks. Secondly we implement the framework to obtain a modular and multi-semantics argumentation engine called MoDiSo, and apply it as a tool for building contract dis- pute resolution systems. Here we propose, first a modular architecture for contract dispute resolution systems with an edit-com pile-dispute loop fac ilitating incremental system developments, and second, a metho dology to represent and reason with legal doctrines in contract laws in the formal language of modular assumption-based argu- mentation. We demonstrate our proposal with several legal doctrines for performance relief in common law of contracts. As a by- product of the demonstration, we obtain a dispute resolution system capable of explaining legal outcomes by automatically gen- erating relevant arguments. Thirdly we study an alternative approach t o legal dispute resolution that uses extended argumentation to facilitate repre senting and reasoning on object level what normally assumed to be argumentation on meta-level such as argumentation over pref- erences, social values promoted by arguments. We identify several research problems of this approach. The first is that it is not yet clear yet how di ff erent proposed semantics of extended argumentation relate to the risk a ttitude of a reasoner, so that this attitude can be reasoned about, a key task in contract dispute resolution. The second problem is to identify subclasses of extended argumentation that are appealing to di ff erent kinds of well motivated interpretations and especi ally useful for contract dispute resolution. The third problem is the current lack of proof procedures. We address: 1) the first problem by relating recently proposed semantics and the risk attitudes of the reasoners on a two-dimension scepticism space which co nsiders the sceptical degrees towards the acceptances of arguments orthogonal to that towards the acceptance of attacks; 2) the second problem by introducing a class of strati fied frameworks generalizing preference- based extended argumentation; 3) and the third problem by developing a sound and complete dialectical proof procedure for th e inductive defence semantics of extended argumentation following a model of dispute t hat alternates between dispute resolution to prove the acceptabilities of arguments an dthattoprovetheacceptabilitiesofattacks. |
| Year | 2012 |
| Corresponding Series Added Entry | Asian Institute of Technology. Dissertation ; no. RS-12-02 |
| Type | Dissertation |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Remote Sensing (RS) |
| Chairperson(s) | Phan Minh Dung ;Honda, Kiyoshi (Co-Chairperson) |
| Examination Committee(s) | Huynh Trung Luong ;Tripathi, Nitin Kumar |
| Scholarship Donor(s) | Japanese Government |
| Degree | Thesis (Ph.D.) - Asian Institute of Technology, 2012 |