The Art in Artificial Intelligence / Chapter 1: |
Realism / 1.1: |
Purism / 1.2: |
Rococo / 1.3: |
Classicism / 1.4: |
Romanticism / 1.5: |
Symbolism / 1.6: |
Neo-Classicism / 1.7: |
Impressionism / 1.8: |
Post-Impressionism / 1.9: |
Precisionism / 1.10: |
New Realism / 1.11: |
Baroque / 1.12: |
Pre-Raphaelite Brotherhood / 1.13: |
Renaissance / 1.14: |
Hindsight / 1.15: |
Fifth Generation Architecture / Chapter 2: |
Architecture and Design / 2.1: |
Design as Evolution / 2.2: |
Design as Co-evolution / 2.3: |
Design as Theorem / 2.4: |
Design as Premise / 2.5: |
Design as Paradigm / 2.6: |
Impressionist Design / 2.7: |
Classical Design / 2.8: |
Logic Machines / 2.9: |
Metamorphosis / 2.10: |
Apparent Scope for Parallelism / 3.1: |
Or-Parallelism / 3.2: |
The Prolog Phenomenon / 3.3: |
Concurrency and Operating Systems / 3.4: |
Concurrency and Distributed Systems / 3.5: |
Symbiosis Between Programming Language and System Engineering / 3.6: |
Event Driven Synchronization / 3.7: |
Earlier Manifestations of Guarded Commands / 3.8: |
Condition Synchronization in AI / 3.9: |
Guarded Definite Clauses / 3.10: |
Simulation of Parallelism by Interleaving / 3.11: |
Indeterminacy / 3.12: |
The Premature Binding Problem Revisited / 3.13: |
Decision Tree Compilation / 3.14: |
A Brief History of Guarded Definite Clauses / 3.15: |
Event Driven Condition Synchronization / Chapter 4: |
Streams for Free / 4.1: |
A Picture is Worth a Thousand Words / 4.2: |
Dataflow Computation / 4.3: |
Dataflow Design / 4.4: |
Dataflow Programming / 4.5: |
Message Passing / 4.6: |
Eager and Lazy Produces / 4.7: |
The Client-Server Paradigm / 4.8: |
Self-Balancing Merge / 4.9: |
Synchronization / 4.10: |
Readers and Writers / 4.11: |
The Dining Philosophers / 4.12: |
The Brock-Ackerman Anomaly / 4.13: |
Conditional Semantics / 4.14: |
Open Worlds and Abduction / 4.15: |
Implementation Issues / 4.16: |
Actors and Agents / Chapter 5: |
The Actor Model / 5.1: |
Haggling Protocols / 5.2: |
Consensus Protocols / 5.3: |
Market Forces / 5.4: |
Poker Faced / 5.5: |
Virtual Neural Networks / 5.6: |
Biological and Artificial Networks / 5.7: |
Self-Replicating Neural Networks / 5.8: |
Neuron Specialization / 5.9: |
The Teacher Teaches and the Pupil Learns / 5.10: |
Neural Simulation / 5.11: |
Simulated Life / 5.12: |
Life Yet in GDC / 5.13: |
Cheek by Jowl / 5.14: |
Distributed Implementation / 5.15: |
Agent Micro-Architectures / 5.16: |
Metalevel Agent Architectures / 5.17: |
Actor Reconstruction of GDC / 5.18: |
Inheritance Versus Delegation / 5.19: |
Concurrent Search / Chapter 6: |
A Naive Prolog Solution to the 8-Puzzle / 6.1: |
Speculative Parallelism / 6.2: |
Non-speculative, Non-parallel Linear Search / 6.3: |
A Practical Prolog Solution to the 8-Puzzle / 6.4: |
A Generic Search Program / 6.5: |
Layered Streams / 6.6: |
Eliminating Redundant Search / 6.7: |
A Direct GDC Solution Using Priorities / 6.8: |
Search Anomalies / 6.9: |
Branch-and-Bound Search / 6.10: |
Game Tree Search / 6.11: |
Minimax and Alpha-Beta Search / 6.12: |
Parallel Game Tree Search / 6.13: |
Parallel Search and Cooperative Distributed Solving / 6.14: |
Distributed Constraint Solving / Chapter 7: |
All-Pairs Shortest Path Problem / 7.1: |
The Graph Coloring Problem / 7.2: |
Minimal Spanning Trees / 7.3: |
Conclusion / 7.4: |
Meta-interpretation / Chapter 8: |
Metalanguage as Language Definition and Metacircular Interpreters / 8.1: |
Introspection / 8.2: |
Amalgamating Language and Metalanguage in Logic Programming / 8.3: |
Control Metalanguages / 8.4: |
A Classification of Metalevel Systems / 8.5: |
Some GDC Monolingual Interpreters / 8.6: |
GDC Bilingual Interpreters / 8.7: |
An Interpreter for Linda Extensions to GDC / 8.8: |
Parallelization via Concurrent Meta-interpretation / 8.9: |
Partial Evaluation / 8.10: |
Futamura Projections / 9.1: |
Supercompilation / 9.3: |
Partial Deduction / 9.4: |
Partial Evaluation and Reactive Systems / 9.5: |
An Algorithm for Partial Evaluation of GDC Programs / 9.6: |
Actor Fusion / 9.7: |
Actor Fusion Examples / 9.8: |
Partial Evaluation of an Interpreter / 9.9: |
Agents and Robots / Chapter 10: |
Reactive Agents: Robots and Softbots / 10.1: |
A Simple Robot Program / 10.2: |
Reaction and Intelligence / 10.3: |
Objects, Actors and Agents / 10.4: |
Objects in GDC / 10.5: |
Agents in GDC / 10.6: |
Top-Down and Bottom-Up Multi-agent Systems / 10.7: |
GDC as a Coordination Language / 10.8: |
Networks and Mobile Agents / 10.9: |
References and Bibliography / 10.10: |
The Art in Artificial Intelligence / Chapter 1: |
Realism / 1.1: |
Purism / 1.2: |