Thema3490: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Symbolic Dynamic Programming |Titel EN=Symbolic Dynamic Programming |Vorname=Olga |Nachname=Skvortsova |Abschlussarbeitstyp=Diplom…“) |
Serge Stratan (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 4: | Zeile 4: | ||
|Vorname=Olga | |Vorname=Olga | ||
|Nachname=Skvortsova | |Nachname=Skvortsova | ||
|Abschlussarbeitstyp= | |Abschlussarbeitstyp=Studienarbeit | ||
|Betreuer=- | |Betreuer=- | ||
|Forschungsgruppe=Wissensverarbeitung | |||
|Abschlussarbeitsstatus=Abgeschlossen | |Abschlussarbeitsstatus=Abgeschlossen | ||
|Beginn=2002 | |Beginn=2002 | ||
Aktuelle Version vom 28. November 2016, 23:17 Uhr
Symbolic Dynamic Programming
Studienarbeit von Olga Skvortsova
- Betreuer -
- Wissensverarbeitung
- Beginn 06. April 2002
- Download
A symbolic dynamic programming approach for solving first-order Markov
decision processes within the situation calculus is presented. As an alternative specification language for dynamic worlds the fluent calculus is chosen and the fluent calculus formalization of the symbolic dynamic programming approach is provided. The major constructs of Markov decision processes such as the optimal value function and the policy are logically represented. The technique produces a set of first-order formulae that minimally partitions the state space. Consequently, the symbolic dynamic programming algorithm presented here does not require neither state nor action space enumeration, thereby solving the drawback of classical dynamic programming methods.
