ISBN: 3-540-66683-4
TITLE: Agent-Oriented Programming
AUTHOR: Huntbach, Matthew M.; Ringwood, Graem A.
TOC:

Chapter 1: The Art in Artificial Intelligence 1
1.1 Realism 1
1.2 Purism 3
1.3 Rococo 4
1.4 Classicism 7
1.5 Romanticism 10
1.6 Symbolism 14
1.7 Neo-Classicism 17
1.8 Impressionism 20
1.9 Post-Impressionism 22
1.10 Precisionism 25
1.11 New Realism 28
1.12 Baroque 29
1.13 Pre-Raphaelite Brotherhood 32
1.14 Renaissance 33
1.15 Hindsight 34
Chapter 2: Fifth Generation Architecture 37
2.1 Architecture and Design 38
2.2 Design as Evolution 40
2.3 Design as Co-evolution 43
2.4 Design as Theorem 44
2.5 Design as Premise 48
2.6 Design as Paradigm 50
2.7 Impressionist Design 54
2.8 Classical Design 59
2.9 Logic Machines 61
2.10 Hindsight 64
Chapter 3: Metamorphosis 69
3.1 Apparent Scope for Parallelism 70
3.2 Or-Parallelism 72
3.3 The Prolog Phenomenon 73
3.4 Concurrency and Operating Systems 77
3.5 Concurrency and Distributed Systems 78
3.6 Symbiosis Between Programming Language and System Engineering 80
3.7 Event Driven Synchronization 81
3.8 Earlier Manifestations of Guarded Commands 83
3.9 Condition Synchronization in AI 84
3.10 Guarded Definite Clauses 87
3.11 Simulation of Parallelism by Interleaving 90
3.12 Indeterminacy 92
3.13 The Premature Binding Problem Revisited 93
3.14 Decision Tree Compilation 96
3.15 A Brief History of Guarded Definite Clauses 97
Chapter 4: Event Driven Condition Synchronization 103
4.1 Streams for Free 104
4.2 A Picture is Worth a Thousand Words 106
4.3 Dataflow Computation 108
4.4 Dataflow Design 110
4.5 Dataflow Programming 112
4.6 Message Passing 115
4.7 Eager and Lazy Produces 118
4.8 The Client-Server Paradigm 122
4.9 Self-Balancing Merge 124
4.10 Synchronization 125
4.11 Readers and Writers 127
4.12 The Dining Philosophers 128
4.13 The BrockAckerman Anomaly 132
4.14 Conditional Semantics 133
4.15 Open Worlds and Abduction 135
4.16 Implementation Issues 137
Chapter 5: Actors and Agents 139
5.1 The Actor Model 140
5.2 Haggling Protocols 144
5.3 Consensus Protocols 146
5.4 Market Forces 148
5.5 Poker Faced 148
5.6 Virtual Neural Networks 149
5.7 Biological and Artificial Networks 150
5.8 Self-Replicating Neural Networks 152
5.9 Neuron Specialization 152
5.10 The Teacher Teaches and the Pupil Learns 157
5.11 Neural Simulation 160
5.12 Simulated Life 162
5.13 Life Yet in GDC 163
5.14 Cheek by Jowl 164
5.15 Distributed Implementation 165
5.16 Agent Micro-Architectures 167
5.17 Metalevel Agent Architectures 168
5.18 Actor Reconstruction of GDC 170
5.19 Inheritance Versus Delegation 172
Chapter 6: Concurrent Search 175
6.1 A Naive Prolog Solution to the 8-Puzzle 175
6.2 Speculative Parallelism 180
6.3 Non-speculative, Non-parallel Linear Search 182
6.4 A Practical Prolog Solution to the 8-Puzzle 183
6.5 A Generic Search Program 186
6.6 Layered Streams 188
6.7 Eliminating Redundant Search 190
6.8 A Direct GDC Solution Using Priorities 193
6.9 Search Anomalies 195
6.10 Branch-and-Bound Search 198
6.11 Game Tree Search 203
6.12 Minimax and Alpha-Beta Search 205
6.13 Parallel Game Tree Search 207
6.14 Parallel Search and Cooperative Distributed Solving 211
Chapter 7: Distributed Constraint Solving 213
7.1 All-Pairs Shortest Path Problem 216
7.2 The Graph Coloring Problem 220
7.3 Minimal Spanning Trees 233
7.4 Conclusion 244
Chapter 8: Meta-interpretation 247
8.1 Metalanguage as Language Definition and Metacircular Interpreters 248
8.2 Introspection 250
8.3 Amalgamating Language and Metalanguage in Logic Programming 251
8.4 Control Metalanguages 254
8.5 A Classification of Metalevel Systems 256
8.6 Some GDC Monolingual Interpreters 259
8.7 GDC Bilingual Interpreters 265
8.8 An Interpreter for Linda Extensions to GDC 269
8.9 Parallelization via Concurrent Meta-interpretation 274
8.10 Conclusion 277
Chapter 9: Partial Evaluation 279
9.1 Partial Evaluation 280
9.2 Futamura Projections 283
9.3 Supercompilation 289
9.4 Partial Deduction 295
9.5 Partial Evaluation and Reactive Systems 297
9.6 An Algorithm for Partial Evaluation of GDC Programs 300
9.7 Actor Fusion 305
9.8 Actor Fusion Examples 308
9.9 Partial Evaluation of an Interpreter 310
Chapter 10: Agents and Robots 319
10.1 Reactive Agents: Robots and Softbots 319
10.2 A Simple Robot Program 321
10.3 Reaction and Intelligence 327
10.4 Objects, Actors and Agents 329
10.5 Objects in GDC 332
10.6 Agents in GDC 336
10.7 Top-Down and Bottom-Up Multi-agent Systems 339
10.8 GDC as a Coordination Language 341
10.9 Networks and Mobile Agents 345
10.10 Conclusion 348
References and Bibliography 353
END
