Eine Logik Von Handlungen Und Überzeugungen
Long description: Eine Logik von Handlungen betrachten zu wollen, hat eine lange Tradition von Anselm von Canterbury bis in die Gegenwart. Was kennzeichnet eine Handlung? Wann beschreibt ein Satz eine Handlung? Und wie lässt sich dies in einem logischen System beschreiben? Die Stit-Theorie gibt eine...
Saved in:
| Online Access: |
Full Text (via ProQuest) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | German |
| Published: |
Berlin :
Logos Verlag Berlin,
2013.
|
| Subjects: |
Table of Contents:
- 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