From 0e5522b8a745ab983cc814136fa43716c14cf351 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 11 Nov 2014 15:17:19 +0100 Subject: [PATCH] update --- report/ass1.tex | 76 ++++++++++++++++++++++++------------------------- 1 file changed, 38 insertions(+), 38 deletions(-) diff --git a/report/ass1.tex b/report/ass1.tex index 670bdcf..19e16ab 100644 --- a/report/ass1.tex +++ b/report/ass1.tex @@ -10,44 +10,44 @@ 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\\ + $\begin{array}{llllll} + 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\\ -- 2.20.1