From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 17 Nov 2014 16:22:14 +0000 (+0100)
Subject: cleaned up ass1
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=8d02e2eabd7042b3f1e416ca7966b04e2df89eb7;p=ker1415-1.git

cleaned up ass1
---

diff --git a/report/ass1.tex b/report/ass1.tex
index 4fb5b57..4e4c132 100644
--- a/report/ass1.tex
+++ b/report/ass1.tex
@@ -4,12 +4,15 @@
 \begin{itemize}
 	\item{Q1}\\
 		We describe the connections using the four main directional words,
-		namely: $north,south,east,west$. We only define the connection for the
-		$north$ and $east$ directions because we can infer the $south$ and
-		$west$ directions from it.
+		namely: $north,south,east,west$ and the predicate $connected(From, To,
+		Direction)$. In this way the push possibility axiom can check in the
+		direction of the crate to see if the push is a valid move. In this way we
+		don't have to do anything fancy with arithmetics.
 	\item{Q2}\\
 		We use the functions $agent(X, S_i), crate(cratename, X, S_i)$ and
-		$target(cratename, X)$ to easily represent the information. 
+		$target(cratename, X)$ to easily represent the information. We chose to
+		hardcode the locations of the crates because then the resolution will be
+		much faster.
 	\item{Q3}\\
 		$\begin{array}{llllll}
 			connected(loc11, loc21, east) & \wedge &
@@ -45,9 +48,6 @@
 			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}\\
@@ -166,3 +166,7 @@ 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
+
+The paper treats the sokoban problem as a general shortest path problem. And it
+also uses lookup tables to speed up the search. This was used in a competition
+on certain sokoban problems.
diff --git a/report/ass2.tex b/report/ass2.tex
index c0860d1..8ea5d8c 100644
--- a/report/ass2.tex
+++ b/report/ass2.tex
@@ -11,10 +11,6 @@
 	\prologcode{./src/hs.pl}
 \end{listing}
 
-\tikzstyle{level 1}=[level distance=1cm, sibling distance=1cm]
-\tikzstyle{level 2}=[level distance=1cm, sibling distance=1cm]
-\tikzstyle{bag} = [text width=4em, text centered]
-\tikzstyle{end} = [minimum width=3pt, inner sep=0pt]
 \begin{figure}[H]
 	\caption{Examples of good hitting set trees}
 	\begin{tikzpicture}	[grow=down]
diff --git a/report/report.tex b/report/report.tex
index c76e467..e6ecd30 100644
--- a/report/report.tex
+++ b/report/report.tex
@@ -10,12 +10,16 @@
 \usepackage[hidelinks]{hyperref}
 \usepackage{tikz}
 
-\usetikzlibrary{trees}
-
 \author{Mart Lubbers\and Caspar Safarlou}
 \title{Knowledge Representation and Reasoning.\\Assignment 1}
 \date{\today}
 
+\usetikzlibrary{trees}
+\tikzstyle{level 1}=[level distance=1cm, sibling distance=1cm]
+\tikzstyle{level 2}=[level distance=1cm, sibling distance=1cm]
+\tikzstyle{bag} = [text width=4em, text centered]
+\tikzstyle{end} = [minimum width=3pt, inner sep=0pt]
+
 \everymath{\displaystyle}
 \floatsetup[listing]{style=Plaintop}