\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