Merge branch 'master' of https://github.com/dopefishh/ker2014-2

[ker2014-2.git] / report / ass2-2.tex

diff --git a/report/ass2-2.tex b/report/ass2-2.tex
index e705d45..a3ba388 100644 (file)
--- a/report/ass2-2.tex
+++ b/report/ass2-2.tex
@@ -1,5 +1,5 @@
 \chapter{Visual representations and reasoning}
-We chose pizzas for our domain, as everybody likes pizzas. We chose to have six different pizzas. 
+We chose pizzas for our domain, as everybody likes pizzas. We chose to have six different pizzas. As all pizzas have tomato sauce and cheese, we didn't take those into account. Below we listed all the pizzas and their ingredients.
 \begin{itemize}
        \item Margherita; basilicum
        \item Hawaii; ham, pineapple and basilicum
@@ -8,29 +8,10 @@ We chose pizzas for our domain, as everybody likes pizzas. We chose to have six
        \item Pepperoni; salami and jalape\~nos
 \end{itemize}
 
-\iffalse
-
-%% Margarita
-p_margarita <- basilicum.
-
-%% Hawaii
-prob hawaiibasilicum: 0.1.
-p_hawaii <- ham & pineapple & basilicum & hawaiibasilicum.
-
-%% Salami
-prob salamibasilicum: 0.1.
-p_salami <- salami & basilicum & salamibasilicum.
-
-%% Funghi
-prob funghiham: 0.5.
-p_funghi <- mushrooms & ham & funghiham.
-
-%% Salami
-p_pepperoni <- salami & jalapenos.
-
-%% Oliva
-p_oliva <- basilicum & olives.
+We are able to observe different kind of shapes; circles, double circles (like tires or olives in our case), squares and blobs. 
 
+Our style of reasoning that we employed is deductive. 
+\iffalse
 TODO
 In a more structured way, you are required to describe clearly and fully:
 • The domain and the individual images