| 000 | 05871nas a2200481 a 4500 | ||
|---|---|---|---|
| 005 | 20260818090814.0 | ||
| 008 | 210217s2013 th uu m rtt 0| a1eng d | ||
| 035 | _a.b12354168 | ||
| 099 | 9 | _aAIT Diss. no.ICT-13-01 | |
| 100 | 0 | _aPhan Minh Thang | |
| 245 | 1 | 0 |
_aDevelopment of argument-based proof procedures and translation of preferred sub-theories into argumentation : _btowards integrated reasoning with incomplete and inconsistent information |
| 246 | 1 | 2 | _aA trust aware reliable routing scheme for emergency response communication networks |
| 260 |
_aPathumthani : _bAsian Institute of Technology, _c2013 |
||
| 300 |
_a115 p. : _bill. |
||
| 490 |
_aDissertation ; _vno. ICT-13-01 |
||
| 500 | _aA dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Information and Communications Technologies, School of Engineering and Technology | ||
| 502 | _aThesis (Ph.D.) - Asian Institute of Technology, 2013 | ||
| 520 | _aOver the years, many distinct and well-known approaches to reasoning with inconsistent and incomplete knowledge bases (like logic programming, Reiter's default logic, Poole's Theorist, coherence-based systems, autoepistemic logics and argumentation among others) have been developed and studied extensively. Given the diversity of the motivation and , backgrounds of these distinct approaches, it is unlikely that a single framework will ever be adopted for all applications even though argument-based systems are becoming increasingly popular due to their intuitive appeal to the ways humans perform their practical and daily reasoning. An appealing idea to deal with the diversity is to integrate the systems in' such a way to allow the reasoners to use whatever approach fits their purposes best. We argue that a simple way to integrate argument-based and non-argument-based systems is by 1) translating non-argument-based systems into argument-based ones and 2) proposing a common methodology for stepwise development of proof procedures for argument-based systems. In this way, reasoners could be offered a "front-end" encompassing whatever sys- tems they find appealing, and at the same time, new proof procedures need to be developed for argument-based systems only. This simple integration concept would reduce the need to develop proof theories and procedures for many diverse systems at the "front-end" and take advantage of the proof procedures and theories developed for argument-based systems like assumption-based argumentation or logic programming with industry-strength technology like Prolog. It has been showed that logic programming, Reiter's default logic, Poole's theo- rist or autoepistemic logics could be captured naturally by assumption-based argumentation though it is still an open question whether coherence systems could be captured by argu- mentation at all. Much research has also been done to study dialectical proof procedures for argumentation in the literature, either for abstract argumentation, or for rule-based instances of it like logic programming or assumption-based argumentation though there is no common methodology for their development and hence, every time, when there is a need for a new argument-based proof procedure, such a procedure as well as its soundness and complete- ness will have to be developed and studied from scratch without benefiting much from the insights and results from the development of previous ones. This thesis consists of two parts. In the first part, we show that Brewka's preferred sub- theories, arguably the most influential among coherence systems, could be translated effec- tively and naturally into assumption-based argumentation. In the second part, we propose a systematic stepwise methodology for development of dialectical proof procedures for argu- mentation. Our new results could be viewed as a relevant step towards a "proof-of-concept" of the simple integration of diverse systems for reasoning with incomplete and inconsistent knowledge bases. | ||
| 650 | 0 | _aArgumentation | |
| 650 | 0 | _aTranslation | |
| 700 | 1 |
_aHuynh, Trung Luong, _eChairperson |
|
| 700 | 1 |
_aBohez, Erik L.J., _eExamination Committee |
|
| 700 | 1 |
_aDuboz, Raphael, _eExamination Committee |
|
| 710 | 2 |
_aAGRUGRID, _eScholarship donor |
|
| 710 | 2 |
_aAsian Institute of Technology Fellowship, _eScholarship donor |
|
| 810 | 2 |
_aAsian Institute of Technology. _tDissertations ; _vno. ICT-13-01 |
|
| 856 |
_3Full-Text _uhttp://203.159.5.9/ait-thesis/detail.php?q=B05133 |
||
| 907 |
_a.b12354168 _bmnait _cm |
||
| 902 | _a240424 | ||
| 998 |
_b0 _c210217 _dm _ea _fm _g0 |
||
| 945 | _lmnait | ||
| 945 | _lmnait | ||
| 945 | _lmnarc | ||
| 942 | _c40 | ||
| 942 | _c20 | ||
| 909 |
_aBarcode : 30050120889083 _bCREATED : 2020-02-10 _cRECORD # : i13299827 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 909 |
_aBarcode : 30050121013253 _bCREATED : 2021-02-17 _cRECORD # : i13325954 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 909 |
_aBarcode : 30050121013246 _bCREATED : 2021-02-17 _cRECORD # : i13325966 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 909 |
_aBarcode : 30050120889083 _bCREATED : 2020-02-10 _cRECORD # : i13299827 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 909 |
_aBarcode : 30050121013253 _bCREATED : 2021-02-17 _cRECORD # : i13325954 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 909 |
_aBarcode : 30050121013246 _bCREATED : 2021-02-17 _cRECORD # : i13325966 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 999 |
_c29193 _d29193 |
||