\chapter{Visual representations and reasoning}
+We chose pizzas for our domain, as everybody likes pizzas. We chose to have six different pizzas.
+\begin{itemize}
+ \item Margherita; basilicum
+ \item Hawaii; ham, pineapple and basilicum
+ \item Salami; salami and basilicum
+ \item Funghi; mushrooms and ham
+ \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.
+
+TODO
+In a more structured way, you are required to describe clearly and fully:
+• The domain and the individual images
+• The representation of observations, assumables and the causal theory between them in AILog
+• The style of reasoning employed (abductive, deductive) and what considerations have played
+a role
+• The queries used to infer information about individual images
+• The results of the queries and reflections on their effectiveness and intuitions behind them
+• General reflections on your model, how appropriate it is for this domain, how effective it is
+and how would need to proceed if one would like to extend it to large datasets or realistic,
+real-time operation.
+
+
+\fi
\ No newline at end of file