Return to search

Consistency reasoning in knowledge systems.

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

Identiferoai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_321981
Date January 1997
ContributorsWong, Ying Kit., Chinese University of Hong Kong Graduate School. Division of Systems Engineering and Engineering Management.
Source SetsThe Chinese University of Hong Kong
LanguageEnglish
Detected LanguageEnglish
TypeText, bibliography
Formatprint, 151 leaves ; 30 cm.
RightsUse 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.0021 seconds