finished last tasks from ass1

diff --git a/report/ass1.tex b/report/ass1.tex
index e08ff45..670bdcf 100644 (file)
--- a/report/ass1.tex
+++ b/report/ass1.tex
@@ -10,21 +10,60 @@
                We use the functions $agent(X, S_i), crate(cratename, X, S_i)$ and
                $target(cratename, X)$ to easily represent the information. 
        \item{Q3}\\
+               $\begin{array}{lll}
+                       connected(loc11, loc21, east)\wedge &
+                       connected(loc11, loc12, north)\wedge &
+                       connected(loc12, loc22, east)\wedge\\
+                       connected(loc12, loc13, north)\wedge &
+                       connected(loc13, loc23, east)\wedge &
+                       connected(loc13, loc14, north)\wedge\\
+                       connected(loc14, loc24, east)\wedge &
+                       connected(loc21, loc31, east)\wedge &
+                       connected(loc21, loc22, north)\wedge\\
+                       connected(loc22, loc32, east)\wedge &
+                       connected(loc22, loc23, north)\wedge &
+                       connected(loc23, loc33, east)\wedge\\
+                       connected(loc23, loc24, north)\wedge &
+                       connected(loc31, loc32, north)\wedge &
+                       connected(loc32, loc33, north)\wedge\\
+                       connected(loc21, loc11, west)\wedge &
+                       connected(loc12, loc11, south)\wedge &
+                       connected(loc22, loc12, west)\wedge\\
+                       connected(loc13, loc12, south)\wedge &
+                       connected(loc23, loc13, west)\wedge &
+                       connected(loc14, loc13, south)\wedge\\
+                       connected(loc24, loc14, west)\wedge &
+                       connected(loc31, loc21, west)\wedge &
+                       connected(loc22, loc21, south)\wedge\\
+                       connected(loc32, loc22, west)\wedge &
+                       connected(loc23, loc22, south)\wedge &
+                       connected(loc33, loc23, west)\wedge\\
+                       connected(loc24, loc23, south)\wedge &
+                       connected(loc32, loc31, south)\wedge &
+                       connected(loc33, loc32, south)\wedge\\
+                       crate(cratec, loc21, s0)\wedge &
+                       crate(crateb, loc22, s0)\wedge &
+                       crate(cratea, loc23, s0)\wedge\\
+                       target(cratea, loc12)\wedge &
+                       target(crateb, loc13)\wedge &
+                       target(cratec, loc11)\wedge\\
+                       agent(loc32, s0)\wedge\\
+               \end{array}$
        \item{Q4}\\
+               $goal(s)\rightarrow\\
+               crate(cratea, loc12, s) \wedge
+               crate(crateb, loc13, s) \wedge
+               crate(cratec, loc11, s)$
+
 
 \end{itemize}
 
 \subsubsection{Task 2: Actions}
 \begin{itemize}
        \item{Q5}\\
-               \begin{equation}
-                       \begin{split}
-                               Poss(move(x, y), s) \equiv &\\
-                                       & (\exists z: connected(x, y, z)) \wedge\\
-                                       & \neg(crate(x, y, s)) \wedge
-                       \end{split}
-               \end{equation}
-
+               $Poss(move(x, y), s) \equiv \\
+               (\exists z: connected(x, y, z)) \wedge\\
+               \neg(crate(x, y, s))$
        \item{Q6}\\
                $Poss(push(x, y), s) \equiv\\
                        agent(x, s) \wedge\\
@@ -34,7 +73,7 @@
                        \wedge\\
                                (\exists \alpha: 
                        connected(z, \alpha, y) \wedge
-                               \neg (\exists \beta: crate(\beta, \alpha, s))))$
+                               (\nexists \beta: crate(\beta, \alpha, s))))$
        \item{Q7}\\
                $agent(x, result(z, s)) \rightarrow\\
                        (\exists y: z = move(y, x)) \vee\\
@@ -42,11 +81,11 @@
                                z = push(\beta, \alpha) \wedge
                                connected(\beta, x, \alpha)) \vee\\
                        (\exists \epsilon, \gamma:
-                               not(z = move(x, \epsilon)) \wedge
-                               not(z = push(x, \gamma)) \wedge
+                               z \neq move(x, \epsilon) \wedge
+                               z \neq push(x, \gamma) \wedge
                                agent(x, s))\\
                crate(x, y, result(A, s)) \rightarrow\\
-                       (\exists z,alpha:
+                       (\exists z,\alpha:
                                A = push(z, \alpha),
                                (\exists \beta:
                                        connected(z, \beta, \alpha),
@@ -55,8 +94,8 @@
                                )
                        ) \vee\\
                        (\exists z,\alpha:
-                               not(A = push(z, \alpha)),
-                               connected(z, y, \alpha),
+                               A \neq push(z, \alpha)\wedge
+                               connected(z, y, \alpha)\wedge
                                crate(x, y, s)
                        )
                $
@@ -78,12 +117,17 @@ disallowing the agent to reverse a move immediatly.
 
 \subsection{Part 3: Extending the domain}
 
-\subsection{Evaluation}
-\begin{itemize}
-       \item{How much time did it take?}\\
-               p1t1: 45m
-       \item{What would you like to see changed?}\\
-               p1t1: There is an ambiguity in p1t1Q3, it's not clear if the starred
-               locations should be included in the initial state(therefore not only in
-               the goal state).\\
-\end{itemize}
+\subsection{Part 4: General questions}
+\subsubsection{Task 10: Sitcalc expressivity}
+Situation calculus(sitcalc from now on) is very expressive because you can
+express yourself very detailed without encountering the frame problem. When the
+problem space expands the computational strength needed explodes. Sitcalc is
+therefore not very usefull when you want to plan far behind. For comparison,
+calculating a sokoban path 10 steps in the future already takes hours on a
+normal computer.
+
+The model is easy to extend to bigger and more complex problems, it doesn't
+scale that well however...
+
+\subsubsection{Task 11: Related work}
+Zhou, N. (2013). A Tabled Prolog Program for Solving Sokoban, 124, 561–575. doi:10.3233/FI-2013-849

diff --git a/report/report.pyg b/report/report.pyg
new file mode 100644 (file)
index 0000000..579d9a4
--- /dev/null
+++ b/report/report.pyg
@@ -0,0 +1,88 @@
+
+\makeatletter
+\def\PY@reset{\let\PY@it=\relax \let\PY@bf=\relax%
+    \let\PY@ul=\relax \let\PY@tc=\relax%
+    \let\PY@bc=\relax \let\PY@ff=\relax}
+\def\PY@tok#1{\csname PY@tok@#1\endcsname}
+\def\PY@toks#1+{\ifx\relax#1\empty\else%
+    \PY@tok{#1}\expandafter\PY@toks\fi}
+\def\PY@do#1{\PY@bc{\PY@tc{\PY@ul{%
+    \PY@it{\PY@bf{\PY@ff{#1}}}}}}}
+\def\PY#1#2{\PY@reset\PY@toks#1+\relax+\PY@do{#2}}
+
+\def\PY@tok@gd{\def\PY@tc##1{\textcolor[rgb]{0.63,0.00,0.00}{##1}}}
+\def\PY@tok@gu{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.50,0.00,0.50}{##1}}}
+\def\PY@tok@gt{\def\PY@tc##1{\textcolor[rgb]{0.00,0.25,0.82}{##1}}}
+\def\PY@tok@gs{\let\PY@bf=\textbf}
+\def\PY@tok@gr{\def\PY@tc##1{\textcolor[rgb]{1.00,0.00,0.00}{##1}}}
+\def\PY@tok@cm{\let\PY@it=\textit\def\PY@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
+\def\PY@tok@vg{\def\PY@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
+\def\PY@tok@m{\def\PY@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
+\def\PY@tok@mh{\def\PY@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
+\def\PY@tok@go{\def\PY@tc##1{\textcolor[rgb]{0.50,0.50,0.50}{##1}}}
+\def\PY@tok@ge{\let\PY@it=\textit}
+\def\PY@tok@vc{\def\PY@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
+\def\PY@tok@il{\def\PY@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
+\def\PY@tok@cs{\let\PY@it=\textit\def\PY@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
+\def\PY@tok@cp{\def\PY@tc##1{\textcolor[rgb]{0.74,0.48,0.00}{##1}}}
+\def\PY@tok@gi{\def\PY@tc##1{\textcolor[rgb]{0.00,0.63,0.00}{##1}}}
+\def\PY@tok@gh{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.00,0.00,0.50}{##1}}}
+\def\PY@tok@ni{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.60,0.60,0.60}{##1}}}
+\def\PY@tok@nl{\def\PY@tc##1{\textcolor[rgb]{0.63,0.63,0.00}{##1}}}
+\def\PY@tok@nn{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
+\def\PY@tok@no{\def\PY@tc##1{\textcolor[rgb]{0.53,0.00,0.00}{##1}}}
+\def\PY@tok@na{\def\PY@tc##1{\textcolor[rgb]{0.49,0.56,0.16}{##1}}}
+\def\PY@tok@nb{\def\PY@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
+\def\PY@tok@nc{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
+\def\PY@tok@nd{\def\PY@tc##1{\textcolor[rgb]{0.67,0.13,1.00}{##1}}}
+\def\PY@tok@ne{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.82,0.25,0.23}{##1}}}
+\def\PY@tok@nf{\def\PY@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
+\def\PY@tok@si{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.73,0.40,0.53}{##1}}}
+\def\PY@tok@s2{\def\PY@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
+\def\PY@tok@vi{\def\PY@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
+\def\PY@tok@nt{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
+\def\PY@tok@nv{\def\PY@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
+\def\PY@tok@s1{\def\PY@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
+\def\PY@tok@sh{\def\PY@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
+\def\PY@tok@sc{\def\PY@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
+\def\PY@tok@sx{\def\PY@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
+\def\PY@tok@bp{\def\PY@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
+\def\PY@tok@c1{\let\PY@it=\textit\def\PY@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
+\def\PY@tok@kc{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
+\def\PY@tok@c{\let\PY@it=\textit\def\PY@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
+\def\PY@tok@mf{\def\PY@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
+\def\PY@tok@err{\def\PY@bc##1{\fcolorbox[rgb]{1.00,0.00,0.00}{1,1,1}{##1}}}
+\def\PY@tok@kd{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
+\def\PY@tok@ss{\def\PY@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
+\def\PY@tok@sr{\def\PY@tc##1{\textcolor[rgb]{0.73,0.40,0.53}{##1}}}
+\def\PY@tok@mo{\def\PY@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
+\def\PY@tok@kn{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
+\def\PY@tok@mi{\def\PY@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
+\def\PY@tok@gp{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.00,0.00,0.50}{##1}}}
+\def\PY@tok@o{\def\PY@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
+\def\PY@tok@kr{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
+\def\PY@tok@s{\def\PY@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
+\def\PY@tok@kp{\def\PY@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
+\def\PY@tok@w{\def\PY@tc##1{\textcolor[rgb]{0.73,0.73,0.73}{##1}}}
+\def\PY@tok@kt{\def\PY@tc##1{\textcolor[rgb]{0.69,0.00,0.25}{##1}}}
+\def\PY@tok@ow{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.67,0.13,1.00}{##1}}}
+\def\PY@tok@sb{\def\PY@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
+\def\PY@tok@k{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
+\def\PY@tok@se{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.73,0.40,0.13}{##1}}}
+\def\PY@tok@sd{\let\PY@it=\textit\def\PY@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
+
+\def\PYZbs{\char`\\}
+\def\PYZus{\char`\_}
+\def\PYZob{\char`\{}
+\def\PYZcb{\char`\}}
+\def\PYZca{\char`\^}
+\def\PYZsh{\char`\#}
+\def\PYZpc{\char`\%}
+\def\PYZdl{\char`\$}
+\def\PYZti{\char`\~}
+% for compatibility with earlier versions
+\def\PYZat{@}
+\def\PYZlb{[}
+\def\PYZrb{]}
+\makeatother
+