Evolving Knowledge Bases

Cover......Page 1
Title page......Page 2
Acknowledgements......Page 6
Abstract......Page 8
Contents......Page 10
List of Figures......Page 14
Preface......Page 16
1.1 Starting Point......Page 20
1.2 The Roadmap......Page 23
1.3 The Route......Page 26
1.3.1 Milestones......Page 28
1.4 About the Route......Page 29
2.1 Introduction......Page 30
2.2 Brief Historical Perspective......Page 31
2.3 Language of Logic Programs......Page 33
2.4 Model Theory......Page 34
2.5.1 Definite Logic Programs......Page 35
2.5.2 Normal Logic Programs......Page 36
2.6 Generalized Logic Programs......Page 37
2.6.1 Language......Page 39
2.6.2 Semantics......Page 40
2.6.3 Adding Strong Negation......Page 42
2.7 Concluding Remarks......Page 45
3.1 Introduction......Page 48
3.2.1 Declarative Semantics......Page 53
3.2.2 Transformational Semantics......Page 55
3.2.3 Properties......Page 60
3.3 Dynamic Logic Programming......Page 66
3.3.1 Declarative Semantics......Page 67
3.3.2 Properties......Page 69
3.3.3 Transformational Semantics......Page 83
3.3.4 Computational Complexity......Page 86
3.3.5 Other Issues......Page 87
3.4.1 Priority Reasoning......Page 90
3.4.2 Rules and Regulations......Page 91
3.4.3 Metaphorical Reasoning......Page 94
3.5 Comparisons......Page 100
3.5.1 Updates based on Causal Rejection......Page 101
3.5.2 Other Approaches......Page 114
3.6 Summary and Open Issues......Page 117
4.1 Introduction......Page 120
4.2.1 LUPS......Page 121
4.2.2 EPI......Page 123
4.3 A New Semantics for Non-inertial Commands......Page 125
4.3.1 KUL - Syntax......Page 127
4.3.2 KUL - Semantics......Page 129
4.3.3 Illustrative Examples......Page 131
4.3.4 Comparison......Page 132
4.4 Reasoning About Actions......Page 134
4.5 Conclusions and Open Issues......Page 139
5.1 Introduction......Page 140
5.2 KABUL - Framework......Page 147
5.3 KABUL - Syntax......Page 149
5.4 KABUL - Semantics......Page 155
5.4.1 Update Program Reduct......Page 157
5.4.2 Executable Commands......Page 160
5.4.3 Successor State......Page 172
5.5 Illustrative Examples......Page 173
5.6 Properties......Page 182
5.7 Comparisons......Page 186
5.8 Concluding Remarks and Open Issues......Page 191
6.1 Introduction and Motivation......Page 194
6.2 Graphs......Page 195
6.3 Multi-dimensional Dynamic Logic Programming......Page 196
6.3.1 Declarative Semantics......Page 197
6.3.2 Multiple State Semantics......Page 200
6.3.3 Adding Strong Negation......Page 203
6.4 Transformational Semantics for MDLP......Page 204
6.5 Properties......Page 211
6.5.1 Relationship to Dynamic Logic Programming......Page 215
6.6.1 Organizational Decision Making......Page 218
6.6.2 Multiple Inheritance......Page 219
6.6.3 Legal Reasoning......Page 222
6.6.4 Representing Inter- and Intra-Agent Social Viewpoints......Page 223
6.6.5 MDLP and Multi-agent Systems......Page 228
6.7 Comparison with other work......Page 229
6.8 Conclusions and Future Work......Page 231
7.1 Introduction......Page 234
7.2 Core Language......Page 236
7.2.1 KABUL[sup(m)] - Syntax......Page 237
7.2.2 KABUL[sup(m)] - Semantics......Page 240
7.2.3 Update Program Reduct......Page 241
7.2.5 Successor State......Page 242
7.3.1 Hierarchy Commands......Page 244
7.3.2 Prevalence Mode Commands......Page 247
7.3.3 Agent Commands......Page 254
7.4 Multiple Update Programs......Page 255
7.4.1 Framework and Syntax......Page 256
7.4.2 Semantics......Page 260
7.5 Summary and Open Issues......Page 265
8.1.1 Scenario Overview......Page 266
8.1.2 Knowledge Base Specification......Page 267
8.1.3 Knowledge Base Evolution......Page 275
8.1.4 Further Elaborations......Page 284
8.2.1 Introduction......Page 285
8.2.2 Overall Architecture......Page 286
8.2.3 Related Work......Page 290
8.2.4 Final Remarks......Page 293
9 Conclusions and Future Directions......Page 296
Bibliography......Page 302
A List of Symbols......Page 322