Preface |
|
xiii | |
Acknowledgments |
|
xxi | |
About the Author |
|
xxiii | |
Introduction |
|
xxv | |
|
1 A Brief Introduction and History |
|
|
1 | (18) |
|
|
1 | (1) |
|
1.2 Models of Human Reasoning |
|
|
2 | (1) |
|
1.2.1 The Early Foundation |
|
|
2 | (1) |
|
1.2.1.1 Three Laws of Thought |
|
|
3 | (1) |
|
1.3 Building on the Past - From Those Who Laid the Foundation |
|
|
3 | (1) |
|
1.4 A Learning and Reasoning Taxonomy |
|
|
4 | (3) |
|
|
4 | (1) |
|
1.4.2 Learning with a Teacher |
|
|
5 | (1) |
|
1.4.3 Learning by Example |
|
|
5 | (1) |
|
1.4.4 Analogical or Metaphorical Learning |
|
|
6 | (1) |
|
1.4.5 Learning by Problem Solving |
|
|
6 | (1) |
|
1.4.6 Learning by Discovery |
|
|
6 | (1) |
|
1.5 Crisp and Fuzzy Logic |
|
|
7 | (1) |
|
1.6 Starting to Think Fuzzy |
|
|
7 | (1) |
|
1.7 History Revisited - Early Mathematics |
|
|
8 | (4) |
|
1.7.1 Foundations of Fuzzy Logic |
|
|
9 | (1) |
|
1.7.2 Fuzzy Logic and Approximate Reasoning |
|
|
9 | (1) |
|
1.7.3 Non-monotonic Reasoning |
|
|
10 | (2) |
|
|
12 | (4) |
|
|
12 | (1) |
|
|
13 | (1) |
|
1.8.3 Fuzzy Membership Functions |
|
|
13 | (3) |
|
|
16 | (1) |
|
|
16 | (1) |
|
|
17 | (2) |
|
2 A Review of Boolean Algebra |
|
|
19 | (24) |
|
2.1 Introduction to Crisp Logic and Boolean Algebra |
|
|
19 | (1) |
|
2.2 Introduction to Algebra |
|
|
20 | (4) |
|
|
20 | (3) |
|
|
23 | (1) |
|
2.3 Getting Some Practice |
|
|
24 | (1) |
|
|
25 | (3) |
|
|
25 | (1) |
|
|
25 | (1) |
|
|
25 | (1) |
|
|
25 | (3) |
|
|
28 | (2) |
|
|
30 | (10) |
|
|
30 | (1) |
|
|
31 | (1) |
|
2.6.2.1 Applying the K-Map |
|
|
31 | (1) |
|
2.6.2.2 Two-Variable K-Maps |
|
|
32 | (1) |
|
2.6.2.3 Three-Variable K-Maps |
|
|
33 | (2) |
|
2.6.2.4 Four-Variable K-Maps |
|
|
35 | (1) |
|
|
36 | (2) |
|
2.6.2.6 Don't Care Variables |
|
|
38 | (2) |
|
|
40 | (1) |
|
|
41 | (2) |
|
3 Crisp Sets and Sets and More Sets |
|
|
43 | (20) |
|
3.1 Introducing the Basics |
|
|
43 | (3) |
|
3.2 Introduction to Classic Sets and Set Membership |
|
|
46 | (7) |
|
|
46 | (1) |
|
|
46 | (3) |
|
|
49 | (2) |
|
3.2.4 Exploring Sets and Set Membership |
|
|
51 | (1) |
|
3.2.5 Fundamental Terminology |
|
|
51 | (1) |
|
3.2.6 Elementary Vocabulary |
|
|
51 | (2) |
|
3.3 Classical Set Theory and Operations |
|
|
53 | (7) |
|
3.3.1 Classical Set Logic |
|
|
53 | (1) |
|
3.3.2 Basic Classic Crisp Set Properties |
|
|
54 | (6) |
|
3.4 Basic Crisp Applications - A First Step |
|
|
60 | (1) |
|
|
61 | (1) |
|
|
61 | (2) |
|
4 Fuzzy Sets and Sets and More Sets |
|
|
63 | (38) |
|
|
63 | (1) |
|
|
64 | (1) |
|
4.3 Foundations of Fuzzy Logic |
|
|
64 | (2) |
|
4.4 Introducing the Basics |
|
|
66 | (2) |
|
4.5 Introduction to Fuzzy Sets and Set Membership |
|
|
68 | (2) |
|
4.5.1 Fuzzy Subsets and Fuzzy Logic |
|
|
68 | (2) |
|
4.6 Fuzzy Membership Functions |
|
|
70 | (3) |
|
4.7 Fuzzy Set Theory and Operations |
|
|
73 | (12) |
|
4.7.1 Fundamental Terminology |
|
|
73 | (1) |
|
4.7.2 Basic Fuzzy Set Properties and Operations |
|
|
73 | (12) |
|
4.8 Basic Fuzzy Applications - A First Step |
|
|
85 | (3) |
|
4.8.1 A Crisp Activity Revisited 85 |
|
|
4 | (84) |
|
4.9 Fuzzy Imprecision And Membership Functions |
|
|
88 | (10) |
|
4.9.1 Linear Membership Functions |
|
|
89 | (3) |
|
4.9.2 Curved Membership Functions |
|
|
92 | (6) |
|
|
98 | (1) |
|
|
98 | (3) |
|
5 What Do You Mean By That? |
|
|
101 | (16) |
|
5.1 Language, Linguistic Variables, Sets, and Hedges |
|
|
101 | (3) |
|
5.2 Symbols and Sounds to Real-World Objects |
|
|
104 | (6) |
|
5.2.1 Crisp Sets - a Second Look |
|
|
104 | (4) |
|
5.2.2 Fuzzy Sets - a Second Look |
|
|
108 | (1) |
|
5.2.2.1 Linguistic Variables |
|
|
108 | (2) |
|
5.2.2.2 Membership Functions |
|
|
110 | (1) |
|
|
110 | (4) |
|
|
114 | (1) |
|
|
115 | (2) |
|
6 If There Are Four Philosophers |
|
|
117 | (26) |
|
6.1 Fuzzy Inference and Approximate Reasoning |
|
|
117 | (1) |
|
|
118 | (3) |
|
6.3 Containment and Entailment |
|
|
121 | (3) |
|
6.4 Relations Between Fuzzy Subsets |
|
|
124 | (15) |
|
6.4.1 Union and Intersection |
|
|
124 | (1) |
|
|
124 | (1) |
|
|
125 | (1) |
|
6.4.2 Conjunction and Disjunction |
|
|
126 | (2) |
|
6.4.3 Conditional Relations |
|
|
128 | (2) |
|
6.4.4 Composition Revisited |
|
|
130 | (9) |
|
6.5 Inference'in Fuzzy Logic |
|
|
139 | (2) |
|
|
141 | (1) |
|
|
142 | (1) |
|
7 So How Do I Use This Stuff? |
|
|
143 | (24) |
|
|
143 | (1) |
|
7.2 Fuzzification and Denazification |
|
|
144 | (4) |
|
|
144 | (3) |
|
7.2.1.1 Graphical Membership Function Features |
|
|
147 | (1) |
|
|
147 | (1) |
|
7.3 Fuzzy Inference Revisited |
|
|
148 | (2) |
|
|
149 | (1) |
|
7.4 Fuzzy Inference - Single Premise |
|
|
150 | (4) |
|
|
152 | (1) |
|
|
152 | (1) |
|
|
153 | (1) |
|
7.5 Fuzzy Inference - Multiple Premises |
|
|
154 | (1) |
|
7.6 Getting to Work - Fuzzy Control and Fuzzy Expert Systems |
|
|
155 | (10) |
|
|
159 | (1) |
|
7.6.2 Defuzzification Strategy |
|
|
160 | (1) |
|
|
160 | (2) |
|
7.6.3 Membership Functions |
|
|
162 | (2) |
|
|
164 | (1) |
|
7.6.4.1 Defuzzification Strategy |
|
|
164 | (1) |
|
|
165 | (1) |
|
|
165 | (2) |
|
|
167 | (6) |
|
|
167 | (1) |
|
|
167 | (1) |
|
|
168 | (1) |
|
8.4 Executing a Design Methodology |
|
|
169 | (3) |
|
|
172 | (1) |
|
|
172 | (1) |
|
9 Moving to Threshold Logic!!! |
|
|
173 | (10) |
|
|
173 | (1) |
|
|
174 | (1) |
|
9.3 Executing a Threshold Logic Design |
|
|
175 | (4) |
|
9.3.1 Designing an AND Gate |
|
|
175 | (1) |
|
9.3.2 Designing an OR Gate |
|
|
176 | (1) |
|
9.3.3 Designing a Fundamental Boolean Function |
|
|
176 | (3) |
|
9.4 The Downfall of Threshold Logic Design |
|
|
179 | (1) |
|
|
180 | (1) |
|
|
180 | (3) |
|
10 Moving to Perceptron Logic !!! |
|
|
183 | (26) |
|
|
183 | (1) |
|
10.2 The Biological Neuron |
|
|
184 | (2) |
|
10.2.1 Dissecting the Biological Neuron |
|
|
185 | (1) |
|
|
185 | (1) |
|
10.2.1.2 Cell Body - Soma |
|
|
185 | (1) |
|
10.2.1.3 Axon - Myelin Sheath |
|
|
185 | (1) |
|
|
186 | (1) |
|
10.3 The Artificial Neuron - a First Step |
|
|
186 | (5) |
|
10.4 The Perceptron - The Second Step |
|
|
191 | (7) |
|
10.4.1 The Basic Perceptron |
|
|
192 | (2) |
|
10.4.2 Single-and Multilayer Perceptron |
|
|
194 | (1) |
|
10.4.3 Bias and Activation Function |
|
|
195 | (3) |
|
10.5 Learning with Perceptrons - First Step |
|
|
198 | (4) |
|
10.5.1 Learning with Perceptrons - The Learning Rule |
|
|
200 | (2) |
|
10.6 Learning with Perceptrons Second Step |
|
|
202 | (3) |
|
10.6.1 Path of the Perceptron Inputs |
|
|
202 | (2) |
|
10.6.1.1 Implementation/Execution Concerns |
|
|
204 | (1) |
|
10.7 Testing of the Perceptron |
|
|
205 | (1) |
|
|
206 | (1) |
|
|
207 | (2) |
|
A Requirements and Design Specification |
|
|
209 | (24) |
|
|
209 | (2) |
|
A.2 Identifying the Requirements |
|
|
211 | (2) |
|
A.3 Formulating the Requirements Specification |
|
|
213 | (7) |
|
|
214 | (1) |
|
A.3.1.1 Characterizing External Entities |
|
|
214 | (1) |
|
|
215 | (1) |
|
A.3.2.1 Characterizing the System |
|
|
216 | (4) |
|
A.4 The System Design Specification |
|
|
220 | (11) |
|
|
222 | (1) |
|
A.4.2 Quantifying the System |
|
|
222 | (9) |
|
A.5 System Requirements Versus System Design Specifications |
|
|
231 | (2) |
|
B Introduction to UML and Thinking Test |
|
|
233 | (24) |
|
|
233 | (1) |
|
|
234 | (2) |
|
|
236 | (1) |
|
|
236 | (3) |
|
B.3.1 Class Relationships |
|
|
237 | (1) |
|
B.3.1.1 Inheritance or Generalization |
|
|
237 | (1) |
|
|
238 | (1) |
|
|
238 | (1) |
|
|
238 | (1) |
|
|
239 | (1) |
|
B.4 Dynamic Modeling with UML |
|
|
239 | (1) |
|
|
240 | (1) |
|
|
240 | (1) |
|
|
241 | (1) |
|
|
241 | (1) |
|
|
241 | (2) |
|
|
243 | (1) |
|
|
244 | (1) |
|
|
244 | (1) |
|
B.10 State Chart Diagrams |
|
|
245 | (6) |
|
|
245 | (1) |
|
B.10.2 State Machines and State Chart Diagrams |
|
|
246 | (1) |
|
B.10.2.1 UML State Chart Diagrams |
|
|
246 | (1) |
|
|
246 | (1) |
|
B.10.2.3 Guard Conditions |
|
|
246 | (2) |
|
B.10.2.4 Composite States |
|
|
248 | (1) |
|
B.10.2.5 Sequential States |
|
|
248 | (1) |
|
|
248 | (1) |
|
B.10.2.7 Concurrent Substates |
|
|
249 | (1) |
|
B.10.2.8 Data Source/Sink |
|
|
249 | (1) |
|
|
249 | (2) |
|
|
251 | (4) |
|
|
251 | (1) |
|
B.11.2 Examining the Environment |
|
|
252 | (1) |
|
|
252 | (1) |
|
|
253 | (1) |
|
B.11.2.3 Generating the Eye Diagram |
|
|
253 | (1) |
|
B.11.2.4 Interpreting the Eye Diagram |
|
|
254 | (1) |
|
B.11.3 Back of the Envelope Examination |
|
|
255 | (1) |
|
B.11.3.1 A First Step Check List |
|
|
255 | (1) |
|
B.11.4 Routing and Topology |
|
|
255 | (1) |
|
|
255 | (2) |
Bibliography |
|
257 | (6) |
Index |
|
263 | |