by Benson, Ng Hin Kwong. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1998. / Includes bibliographical references (leaves 111-117). / Abstract also in Chinese. / Chapter 1 --- Introduction --- p.9 / Chapter 1.1 --- Our approach --- p.11 / Chapter 1.2 --- Organization of the thesis --- p.12 / Chapter 2 --- Logic Programming --- p.13 / Chapter 2.1 --- Logic programming in Horn clauses --- p.14 / Chapter 2.1.1 --- Problem with incomplete information --- p.15 / Chapter 2.1.2 --- Problem with inconsistent information --- p.15 / Chapter 2.1.3 --- Problem with indefinite information --- p.16 / Chapter 2.2 --- Logic programming in non-Horn clauses --- p.16 / Chapter 2.2.1 --- Reasoning under incomplete information --- p.17 / Chapter 2.2.2 --- Reasoning under inconsistent information --- p.17 / Chapter 2.2.3 --- Reasoning under indefinite information --- p.20 / Chapter 2.3 --- "Coexistence of incomplete, inconsistent and indefinite information" --- p.21 / Chapter 2.4 --- Stable semantics --- p.22 / Chapter 2.5 --- Well-founded semantics --- p.23 / Chapter 2.6 --- Chapter summary --- p.25 / Chapter 3 --- Argumentation --- p.26 / Chapter 3.1 --- Toulmin's informal argumentation model --- p.27 / Chapter 3.2 --- Rescher's formal argumentation model --- p.28 / Chapter 3.3 --- Argumentation in AI research --- p.30 / Chapter 3.3.1 --- Poole's Logical Framework for Default Reasoning --- p.30 / Chapter 3.3.2 --- Inheritance Reasoning Framework of Touretzky et. al --- p.31 / Chapter 3.3.3 --- Pollock's Theory of Defeasible Reasoning --- p.32 / Chapter 3.3.4 --- Dung's Abstract Argumentation Framework --- p.33 / Chapter 3.3.5 --- Lin and Shoham's Argument System --- p.35 / Chapter 3.3.6 --- Vreeswijk's Abstract Argumentation --- p.35 / Chapter 3.3.7 --- Kowalski and Toni's Uniform Argumentation --- p.36 / Chapter 3.3.8 --- John Fox's Qualitative Argumentation --- p.37 / Chapter 3.3.9 --- Thomas Gordon's Pleading Games --- p.38 / Chapter 3.3.10 --- Chris Reed's Persuasive Dialogue --- p.39 / Chapter 3.3.11 --- Ronald Loui's Argument Game --- p.39 / Chapter 3.3.12 --- "Verheij's Reason-Based, Logics and CumulA" --- p.40 / Chapter 3.3.13 --- Prakken's Defeasible Argumentation --- p.40 / Chapter 3.3.14 --- Summary of existing frameworks --- p.41 / Chapter 3.4 --- Chapter summary --- p.42 / Chapter 4 --- Disjunctive Argumentation Semantics I --- p.46 / Chapter 4.1 --- Background --- p.47 / Chapter 4.2 --- Definition --- p.48 / Chapter 4.3 --- Conflicts within a KBS --- p.52 / Chapter 4.4 --- Conflicts between KBSs --- p.54 / Chapter 4.4.1 --- Credulous View --- p.56 / Chapter 4.4.2 --- Skeptical View --- p.57 / Chapter 4.4.3 --- Generalized Skeptical View --- p.58 / Chapter 4.5 --- Semantics --- p.60 / Chapter 4.6 --- Dialectical proof theory --- p.61 / Chapter 4.7 --- Relation to existing framework --- p.61 / Chapter 4.8 --- Issue on paraconsistency --- p.63 / Chapter 4.9 --- An illustrative example --- p.63 / Chapter 4.10 --- Chapter summary --- p.65 / Chapter 5 --- Disjunctive Argumentation Semantics II --- p.67 / Chapter 5.1 --- Background --- p.68 / Chapter 5.2 --- Definition --- p.70 / Chapter 5.2.1 --- Rules --- p.70 / Chapter 5.2.2 --- Splits --- p.71 / Chapter 5.3 --- Conflicts --- p.74 / Chapter 5.3.1 --- Undercut conflicts --- p.75 / Chapter 5.3.2 --- Rebuttal conflicts --- p.76 / Chapter 5.3.3 --- Thinning conflicts --- p.78 / Chapter 5.4 --- Semantics --- p.80 / Chapter 5.5 --- Relation to existing frameworks --- p.81 / Chapter 5.6 --- Issue on paraconsistency --- p.82 / Chapter 5.7 --- An illustrative example --- p.83 / Chapter 5.8 --- Chapter summary --- p.85 / Chapter 6 --- Evaluation --- p.86 / Chapter 6.1 --- Introduction --- p.86 / Chapter 6.2 --- Methodology --- p.87 / Chapter 6.3 --- DAS I --- p.88 / Chapter 6.3.1 --- Inoue's Benchmark problems --- p.88 / Chapter 6.3.2 --- Sherlock Holmes' problems --- p.96 / Chapter 6.4 --- DAS II --- p.100 / Chapter 6.4.1 --- Inoue's benchmark problems --- p.100 / Chapter 6.4.2 --- Sherlock Holmes' problem --- p.103 / Chapter 6.5 --- Analysis --- p.103 / Chapter 6.5.1 --- Possible extension --- p.104 / Chapter 6.6 --- Chapter summary --- p.106 / Chapter 7 --- Conclusion --- p.108 / Chapter 7.0.1 --- Possible extension of the present work --- p.109 / Bibliography --- p.117 / Chapter A --- First Oreder Logic (FOL) --- p.118 / Chapter B --- DAS-I Proof --- p.121 / Chapter B.1 --- Monotone proof --- p.121 / Chapter B.2 --- Soundness proof --- p.122 / Chapter B.3 --- Completeness proof --- p.123 / Chapter C --- Sherlock Holmes' Silver Blaze Excerpts --- p.125 / Chapter C.1 --- Double life --- p.125 / Chapter C.2 --- Poison stable boy --- p.125
Identifer | oai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_322379 |
Date | January 1998 |
Contributors | Ng, Benson Hin Kwong., Chinese University of Hong Kong Graduate School. Division of Systems Engineering and Engineering Management. |
Source Sets | The Chinese University of Hong Kong |
Language | English, Chinese |
Detected Language | English |
Type | Text, bibliography |
Format | print, 126, 8 leaves : ill. ; 30 cm. |
Rights | Use of this resource is governed by the terms and conditions of the Creative Commons “Attribution-NonCommercial-NoDerivatives 4.0 International” License (http://creativecommons.org/licenses/by-nc-nd/4.0/) |
Page generated in 0.0022 seconds