Decision-Theoretic Planning in the Dynamic Logic $\mathcal{E\!S}$. Ziegelmayer, D. Diploma thesis, Department of Computer Science, RWTH Aachen University, July, 2006.
abstract   bibtex   
The thesis presents a representation for decision-theoretic problems in the modal Situation Calculus variant ES. Based on this representation, different decision-theoretic variants of the agent programming language Golog are established, namely an online- and an off-line version of DT-Golog. For this purpose, a transition semantics for such programs is defined and prototype implementations have been developed.
@thesis{Ziegelmayer2006,
  author      = {Dominique Ziegelmayer},
  title       = {Decision-Theoretic Planning in the Dynamic Logic
                  $\mathcal{E\!S}$},
  school      = {Department of Computer Science, RWTH Aachen
                  University},
  year        = {2006},
  month       = jul,
  advisor     = {Cla{\ss}en, Jens},
  abstract    = {The thesis presents a representation for
                  decision-theoretic problems in the modal Situation
                  Calculus variant ES. Based on this representation,
                  different decision-theoretic variants of the agent
                  programming language Golog are established, namely
                  an online- and an off-line version of DT-Golog. For
                  this purpose, a transition semantics for such
                  programs is defined and prototype implementations
                  have been developed.},
  type = {Diploma thesis}
}
Downloads: 0