by Ying Kit Wong. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1997. / Includes bibliographical references (leaves 144-146). / Acknowledgments / Abstract / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Characteristics of Human Commonsense Reasoning --- p.4 / Chapter 1.2 --- Neural-Logic Belief Network as the Basic Inconsistency Rea- soning System --- p.7 / Chapter 1.3 --- Consistency of Knowledge --- p.8 / Chapter 1.4 --- Update Sequence Independence in Belief States --- p.10 / Chapter 1.5 --- Lazy Consistency Reasoning --- p.12 / Chapter 1.6 --- Comparison of W-Consistency with Other Systems --- p.14 / Chapter 1.7 --- Integration of Different Methods in One Formalization --- p.16 / Chapter 2 --- Neural-Logic Belief Network (NLBN) --- p.17 / Chapter 2.1 --- Definitions --- p.17 / Chapter 2.2 --- Computation Functions --- p.20 / Chapter 3 --- W-Consistency Reasoning --- p.29 / Chapter 3.1 --- W-Consistency --- p.30 / Chapter 3.2 --- Logical Suppression --- p.33 / Chapter 3.3 --- Consistency Check --- p.35 / Chapter 3.4 --- Consistency Maintenance --- p.35 / Chapter 3.5 --- The W-Consistency Reasoning Process --- p.41 / Chapter 3.6 --- Proof of Consistency Reasoning Process Terminates Finitely and Consistent --- p.42 / Chapter 4 --- Implementation --- p.46 / Chapter 4.1 --- Introduction --- p.46 / Chapter 4.2 --- New Features in Phase Two --- p.48 / Chapter 4.2.1 --- Consistency Reasoning Function --- p.48 / Chapter 4.2.2 --- Knowledge File --- p.49 / Chapter 4.3 --- Inference Engine for Consistency Reasoning --- p.54 / Chapter 4.4 --- Examples of using XHOPES --- p.56 / Chapter 5 --- Comparison between NLBN with W-Consistency and AGM Logic --- p.63 / Chapter 5.1 --- AGM Logic with Epistemic Entrenchment --- p.64 / Chapter 5.1.1 --- Three Forms of Belief Change --- p.64 / Chapter 5.1.2 --- Epistemic Entrenchment --- p.67 / Chapter 5.2 --- Network Update Operators in NLBN vs. Belief Changesin AGM --- p.68 / Chapter 5.3 --- Epistemic Entrenchment vs. Degree-of-Belief --- p.77 / Chapter 5.4 --- Consistency Preservation --- p.80 / Chapter 5.5 --- Classical vs. Non-classical Logical Consistency --- p.82 / Chapter 5.6 --- Retraction vs. Suppression --- p.83 / Chapter 5.7 --- Foundation vs. Coherence Theories --- p.84 / Chapter 6 --- Comparison of W-Consistency with other Systems --- p.86 / Chapter 6.1 --- G-Consistency --- p.87 / Chapter 6.1.1 --- Overview of G-Consistency --- p.87 / Chapter 6.1.2 --- Comparison of W-Consistency with G-Consistency --- p.88 / Chapter 6.2 --- S-Consistency --- p.94 / Chapter 6.2.1 --- Overview of S-Consistency --- p.94 / Chapter 6.2.2 --- Comparison of W-Consistency with S-Consistency --- p.95 / Chapter 6.3 --- Truth Maintenance Systems --- p.97 / Chapter 6.3.1 --- Introduction of Truth Maintenance Systems --- p.97 / Chapter 6.3.2 --- Comparison of TMS between W-Consistency with NLBN --- p.99 / Chapter 7 --- Lazy Consistency Reasoning using W-Consistency --- p.102 / Chapter 7.1 --- Proof of Lazy Characteristic of W-Consistency --- p.104 / Chapter 7.2 --- Example of Lazy Consistency Reasoning --- p.112 / Chapter 7.3 --- Discussion and Application --- p.117 / Chapter 8 --- Integration of Different Consistency Reasoning Methods --- p.120 / Chapter 8.1 --- Mixing W-Consistency and G-Consistency into a NLBN --- p.121 / Chapter 8.2 --- Using a NLBN for Truth Maintenance --- p.129 / Chapter 8.2.1 --- TMS's Truth Maintenance Strategy --- p.129 / Chapter 8.2.2 --- Consistency Reasoning style of NLBN --- p.134 / Chapter 8.2.3 --- Using NLBN for TMS-style Truth Maintenance --- p.136 / Chapter 8.2.4 --- Discussion --- p.140 / Chapter 9 --- Conclusion --- p.143 / Chapter A --- Test Case for Merging Knowledge Bases Using XHOPES --- p.150
| Identifer | oai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_321981 |
| Date | January 1997 |
| Contributors | Wong, Ying Kit., Chinese University of Hong Kong Graduate School. Division of Systems Engineering and Engineering Management. |
| Source Sets | The Chinese University of Hong Kong |
| Language | English |
| Detected Language | English |
| Type | Text, bibliography |
| Format | print, 151 leaves ; 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.0024 seconds