Diploma/Master's/Bachelor's Theses and Job Offers

Diploma Thesis: Decision-Theoretic Planning in the Dynamic Logic ES [completed]

Submitted by Jens Claßen on 16. June 2006 - 20:00

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.