AI SearchDevelopment of argument-based proof procedures and translation of preferred sub-theories into argumentation : (Record no. 29193)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05871nas a2200481 a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260818090814.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 210217s2013 th uu m rtt 0| a1eng d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b12354168 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Diss. no.ICT-13-01 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Phan Minh Thang |
| 245 10 - TITLE STATEMENT | |
| Title | Development of argument-based proof procedures and translation of preferred sub-theories into argumentation : |
| Remainder of title | towards integrated reasoning with incomplete and inconsistent information |
| 246 12 - VARYING FORM OF TITLE | |
| Title proper/short title | A trust aware reliable routing scheme for emergency response communication networks |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Pathumthani : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 2013 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 115 p. : |
| Other physical details | ill. |
| 490 ## - SERIES STATEMENT | |
| Series statement | Dissertation ; |
| Volume/sequential designation | no. ICT-13-01 |
| 500 ## - GENERAL NOTE | |
| General note | A 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 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (Ph.D.) - Asian Institute of Technology, 2013 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Over 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 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Argumentation |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Translation |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Huynh, Trung Luong, |
| Relator term | Chairperson |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bohez, Erik L.J., |
| Relator term | Examination Committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Duboz, Raphael, |
| Relator term | Examination Committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | AGRUGRID, |
| Relator term | Scholarship donor |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology Fellowship, |
| Relator term | Scholarship donor |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Dissertations ; |
| Volume/sequential designation | no. ICT-13-01 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B05133">http://203.159.5.9/ait-thesis/detail.php?q=B05133</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b12354168 |
| b | mnait |
| c | m |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240424 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 0 |
| Cataloger's initials, CIN (RLIN) | 210217 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | m |
| -- | 0 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 20-AIT Publication |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120889083 |
| CREATED | CREATED : 2020-02-10 |
| RECORD Id | RECORD # : i13299827 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050121013253 |
| CREATED | CREATED : 2021-02-17 |
| RECORD Id | RECORD # : i13325954 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050121013246 |
| CREATED | CREATED : 2021-02-17 |
| RECORD Id | RECORD # : i13325966 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120889083 |
| CREATED | CREATED : 2020-02-10 |
| RECORD Id | RECORD # : i13299827 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050121013253 |
| CREATED | CREATED : 2021-02-17 |
| RECORD Id | RECORD # : i13325954 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050121013246 |
| CREATED | CREATED : 2021-02-17 |
| RECORD Id | RECORD # : i13325966 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type | Cost, normal purchase price |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 18/08/2026 | AIT Diss. no.ICT-13-01 | 30050120889083 | 18/08/2026 | 1 | 18/08/2026 | 40-Archives | |||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | AIT Diss. no.ICT-13-01 | 30050121013253 | 18/08/2026 | 1 | 18/08/2026 | 20-AIT Publication | 50.00 | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | AIT Diss. no.ICT-13-01 | 30050121013246 | 18/08/2026 | 2 | 18/08/2026 | 20-AIT Publication | 50.00 |