1. | IMPACT Architektur (API, Service Description, Messages,Action Policies, Server Architecture, Hierarchies, Registering an Agent), 1 Doppelstunde: 6. Januar ( Folien fuer Kapitel 1) |
2. | Service Description
Language (SDL,Items, Item Atoms, Metric cd, Matchmaking, Range Computations, Performance), 1 Doppelstunde: 11. Januar ( Folien fuer Kapitel 2) |
3. | Der Code Call
Mechanismus (Software Code Abstraktion, Zustand, Code Call (Conditions), Safety, Message Box, IC's, Beispiele), 1 Doppelstunde: 18. Januar ( Folien fuer Kapitel 3) |
4. | Actions (Action Base, Executability, Types of Concurrent Exec., Action Constraints) 1 Doppelstunde: 1. Februar ( Folien fuer Kapitel 4) |
5. | Agenten Programme (Syntax, (Feasible) Status Sets, Deontic/Action Closure/Consistency, Rational, Reasonable Status Sets), 1,5 Doppelstunden: 3./8. Februar ( Folien fuer Kapitel 5) |
6. | Komplexitaetsresultate (Komplexitaetsklassen, Nichtdeterministische Turingmaschinen, Oracle TM's, Voraussetzungen an Software Code, Einfluss der IC's, Negative vs Positive Programme, Sources of complexity, Feasible, Rational, Reasonable), 0,5 Doppelstunde: 8. Februar ( Folien fuer Kapitel 6) |
7. | Agenten Programme mit Beliefs (CFIT*, Belief Atome, Sprache, Hierarchie, Belief- (Semantik-) Tabelle, Meta Agenten Programme, Belief Status Menge, Induzierter Zustand und Status Menge, Info, erweiterte Code Calls, Feasibler Belief SS, Coherence, Kompatibilitaet, Reduktion auf normale Agenten Programme), 1 Doppelstunde: 10. Februar ( Folien fuer Kapitel 7) |
8. | Regulaere Agenten (Strong Safety, Binding Patterns, Finiteness Table, Conflict Freedom, Deontic Stratification, weakly regular, Unfolding, regular Agents, Compile Time Algorithmen, IADE), 1 Doppelstunde: 15. Februar ( Folien fuer Kapitel 8) |