Analysis Methodology


Author: Grigoris Tziallas
Title: An Analysis and Design Methodology for Computer Aided Knowledge Engineering
Year: 2010
Publisher: Arakinthos
ISBN: 978-960-9474-02-3
front_small
 
 
 
 
Definition of a modeling formalism
 and design methodology 
for knowledge based systems 
and the development
 of a prototype tool 
for 
computer aided 
knowledge engineering.
 
 
 
 
About the book
The transition of knowledge-based systems from the research laboratory to real operating environments requires the application of knowledge acquisition and specification methods. While numerous methods and techniques exist for knowledge acquisition, there is a lack of methods that specify goals, constraints and requirements of knowledge based-systems.
The main motivation of this work was to apply software engineering techniques and methodologies for the specification, analysis and design of knowledge-based systems.
An analysis and design methodology for knowledge-based systems is presented. The methodology uses a top down analysis and design method, which starts from a high-level abstract representation of a knowledge-based system, and through further refinement of specifications at lower abstraction and decomposition levels, ends up in a complete description of the application under development. The coupling of abstraction levels has been based mainly on Aristotle syllogism and Aristotle’s logic while the coupling of decomposition levels has been based on the coupling of form to material and used techniques of deep reasoning and qualitative physics.
The book describes the philosophical background, the analysis and design methodology, examples of use and a CASE tool for Computer Aided Knowledge Engineering.
A case study is also presented describing the development of a tutoring system for the maintenance and fault repairing of electric motors using the developed methodology and CASE tool.
Table of Contents
CHAPTER 1
INTRODUCTION
1.1 Introduction 11
1.2 Objectives of the thesis 12
1.3 Technical approach 12
1.4 Thesis overview 13
The specification stream 13
The implementation stream 14
The case study 14
1.5 Thesis organisation 15
CHAPTER 2
APPROACH TO COMPUTER AIDED KNOWLEDGE ENGINEERING
2.1 Software engineering 17
2.2 CASE tools 18
2.3 AI techniques application to CASE tools. 18
2.4 Characteristics of AI computations 19
2.5 CASE techniques application to knowledge-based systems. 20
2.6 Approach to Computer Aided Knowledge Engineering 20
CHAPTER 3
THE KNOWLEDGE REPRESENTATION PLATFORM
3.1 Philosophical background 23
3.1.1 Ontology and Metaphysics 23
3.1.2 Categories 24
3.1.3 Causality and Change 24
3.1.4 Knowledge and Logic 25
3.1.5 Teleology 26
3.2 AI paradigms 26
3.2.1 The Rule Paradigm 26
3.2.2 The object paradigm 26
3.2.3 The frame paradigm 27
3.2.4 Semantic Networks 27
3.2.5 Logic Programming 27
3.2.6 Multiparadigms 27
3.2.7 AI related issues 27
3.3 The developed modelling formalism 28
3.3.1 Schematic description of the modelling formalism 28
3.3.2 The specification language 31
3.3.3 Specification of objects 32
3.3.4 The semantics of causes 34
CHAPTER 4
THE ANALYSIS AND DESIGN METHOD
4.1 Description of the analysis methodology 37
4.2 Coupling of decomposition levels 39
4.3 Coupling of abstraction levels 41
4.4 Design methodology 41
4.5 Specifications repository and    executable specifications 43
4.6 Verification and validation 44
CHAPTER 5
THE REASONING MECHANISMS
5.1 Overview 45
5.2 Causal reasoning 45
5.3 Deep reasoning 46
5.4 Syllogistic reasoning 47
5.5 Testing 47
5.6 Prototyping 48
CHAPTER 6
THE ORGANON TOOL
6.1 Description of the Organon tool 51
6.1.1 The capture tools 52
6.1.2 The analysis tools 55
6.2 Using the Organon tool 56
6.2.1 Developing applications using Organon 56
6.2.2 The Organon functions 57
6.3 The Organon Implementation 62
6.3.1 Overview of the Organon Classes 62
CHAPTER 7
DESCRIPTION OF THE CASE STUDY
7.1 The selected problem domain 65
7.2 Description of the tutoring system 65
7.3 Approach to high level parallelism 69
7.3.1 Description of a problem solver 70
7.3.2 Problem Description 71
7.3.3 Mapping of specifications on to the Model of Interactive Problem Solvers 72
7.4 Extensions to the Organon tool 73
CHAPTER 8
THE TUTORING SYSTEM
8.1 The Tutoring system development process 75
8.1.1 The analysis and design phase 75
8.1.2 The model of interactive problem solvers 82
8.1.3 Implementation phase 82
8.2 Example of tutoring system operation and use 91
CHAPTER 9
EPILOGUE 93
Appendix A 97
Appendix B 111
CLASSIFICATION OF DC MOTOR FAULTS 111
CLASSIFICATION OF DC MOTOR SYMPTOMS 113
CLASSIFICATION OF REPAIR TASKS 114
CLASSIFICATION OF INSPECTION TASKS 115
Appendix C 117
TUTORING SYSTEM SURFACE BEHAVIOR 117
References 119