report/src/pizza.ail

   1 %%% General observer error from the low level image matching. %%%%%%%%%%%%%%%%%
   2 prob circle: 0.01.
   3 prob doublecircle: 0.01.
   4 prob lines: 0.01.
   5 prob squares: 0.01.
   6 prob blob: 0.01.
   7 prob noObserveError: 0.95.
   8 circlePresent <- circle & noObserveError.
   9 doublecirclePresent <- doublecircle & noObserveError.
  10 linesPresent <- lines & noObserveError.
  11 squaresPresent <- squares & noObserveError.
  12 blobPresent <- blob & noObserveError.
  13
  14 %%% Ingredients definitions %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  15 %% Circle information
  16 prob basilicumcircle: 0.2.
  17 prob salamicircle: 0.4.
  18 prob mozarellacircle: 0.4.
  19 basilicum <- basilicumcircle & circlePresent.
  20 salami <- salamicircle & circlePresent.
  21 mozarella <- mozarellacircle & circlePresent.
  22
  23 %% Doublecircle information
  24 prob doublecircleOlives: 0.5.
  25 prob doublecircleJalapenos: 0.5.
  26 jalapenos <- doublecircleJalapenos & doublecirclePresent.
  27 olives <- doublecircleOlives & doublecirclePresent.
  28
  29 %% Lines information
  30 paprika <- linesPresent.
  31
  32 %% Square information
  33 prob hamsquare: 0.5.
  34 prob pineapplesquare: 0.5.
  35 ham <- squaresPresent & hamsquare.
  36 pineapple <- squaresPresent & pineapplesquare.
  37
  38 %% Blob information
  39 prob blobHam: 0.1.
  40 prob blobPineapple: 0.1.
  41 prob blobBasilicum: 0.1.
  42 prob blobMushrooms: 0.7.
  43 ham <- blobHam & blobPresent.
  44 pineapple <- blobPineapple & blobPresent.
  45 basilicum <- blobBasilicum & blobPresent.
  46 mushrooms <- blobMushrooms & blobPresent.
  47
  48 %%% Pizza descriptions %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  49 %% Margarita
  50 p_margarita <- basilicum.
  51
  52 %% Hawaii
  53 prob hawaiibasilicum: 0.1.
  54 p_hawaii <- ham & pineapple & basilicum & hawaiibasilicum.
  55
  56 %% Salami
  57 prob salamibasilicum: 0.1.
  58 p_salami <- salami & basilicum & salamibasilicum.
  59
  60 %% Funghi
  61 prob funghiham: 0.5.
  62 p_funghi <- mushrooms & ham & funghiham.
  63
  64 %% Salami
  65 p_pepperoni <- salami & jalapenos.
  66
  67 %% Oliva
  68 p_oliva <- basilicum & olives.
  69
  70 whatpizza <- p_oliva.
  71 whatpizza <- p_pepperoni.
  72 whatpizza <- p_funghi.
  73 whatpizza <- p_salami.
  74 whatpizza <- p_hawaii.
  75 whatpizza <- p_margarita.