Cargando…
Eine Logik Von Handlungen Und Überzeugungen
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Alemán |
| Publicado: |
Berlin :
Logos Verlag Berlin,
2013.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Intro; Einleitung; 1 Eine Logik für Handlungsätze
- Stit-Theorie; 1.1 Branching Time; 1.2 Stit-Operatoren: Achievement oder Deliberativ; 1.3 Das Problem der konfligierenden Historie; 2 Zust ände, Sachverhalte und Ereignisse; 2.1 Zustände und Sachverhalte; 2.2 Ein Zustand und das Vorliegen des Zustandes; 2.3 Zustände und Ereignisse; 3 Handlungen oder die Frage "Actions as Events"; 3.1 Handlung und das darunter liegende Ereignis; 3.2 Klassifikation von Ereignissen; 3.3 Mentale Zustände und mentale Ereignisse; 4 überzeugungen, Wünsche und Absichten; 4.1 überzeugungen und Wünsche
- 4.2 Wünsche und Absichten4.3 Absichten und Handlungen; 5 Von Stit und BDI zu bdi-stit; 5.1 Von BDI zu bdi-stit; 5.2 Die bdi-stit Logik; 5.3 Eine Generalisierung von Stit-Theorie; 6 Vollst ändigkeit und Erweiterungen von bdi-stit; 6.1 Vollständige Axiomatisierung der bdi-stit; 6.2 Ein Tableaukalkül für bdi-stit; 6.3 Temporale Operatoren in der bdi-stit Logik; 6.4 bdi-stitdint-Interaktionen zwischen Stit- und Intentionsoperatoren; 7 Zusammenfassung