From 12a18c24dd16b43b0aabde8cae1eacd05eebe7e6 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 20 Jan 2015 12:15:35 +0100
Subject: [PATCH] update pizza etc

---
 report/ass2-1.tex       | 11 ++++++++++-
 report/report.tex       |  2 ++
 report/src/burglary.ail | 15 ++++-----------
 report/src/pizza.ail    | 13 +++++++++++++
 4 files changed, 29 insertions(+), 12 deletions(-)

diff --git a/report/ass2-1.tex b/report/ass2-1.tex
index 18639be..9247346 100644
--- a/report/ass2-1.tex
+++ b/report/ass2-1.tex
@@ -173,5 +173,14 @@ arbitrary precision. Manual calculation takes a lot longer and therefore one
 can prefer the \textit{AILog} method when speed is of an essence. When
 precision is necessary manual calculation is preferred.
 
+\newpage
 \section{Burglary problem with extended information}
-$\frac{1}{1000}+\frac{9999}{10000}\frac{1}{10000}+\frac{9999}{10000}\frac{9998}{9999}\frac{1}{19998}$
+$P(burglary)\cdot\left(
+	P(\text{first house is holmes'})+
+	P(\text{second house is holmes'})+
+	P(\text{third house is holmes'})\right)=\\
+0.5102040816326531\cdot\left(
+	\frac{1}{10000}+
+	\frac{9999}{10000}\cdot\frac{1}{9999}+
+	\frac{9999}{10000}\cdot\frac{9998}{9999}\cdot\frac{1}{9998}\right)=
+\frac{3}{19600}\approx0.000153$
diff --git a/report/report.tex b/report/report.tex
index d74001b..0553df7 100644
--- a/report/report.tex
+++ b/report/report.tex
@@ -18,6 +18,8 @@
 \date{\today}
 \title{Knowledge representation and reasoning\\ Assignment 2}
 
+\everymath{\displaystyle}
+
 \begin{document}
 \tableofcontents
 \input{ass2-1.tex}
diff --git a/report/src/burglary.ail b/report/src/burglary.ail
index 478d0e3..d9df5ac 100644
--- a/report/src/burglary.ail
+++ b/report/src/burglary.ail
@@ -3,14 +3,7 @@ prob william: 5/7.
 prob jack: 5/7.
 prob averall: 5/7.
 
-joeWorks <- joe.
-jackWorks <- jack & joe.
-williamWorks <- william.
-averallWorks <- averall & jack & william.
-
-burglary <- joeWorks & jackWorks.
-burglary <- joeWorks & williamWorks.
-burglary <- joeWorks & averallWorks.
-burglary <- jackWorks & williamWorks.
-burglary <- jackWorks & averallWorks.
-burglary <- williamWorks & averallWorks.
+burglary <- joe & jack.
+burglary <- joe & william.
+burglary <- joe & william & jack.
+burglary <- joe & william & jack & averall.
diff --git a/report/src/pizza.ail b/report/src/pizza.ail
index 75fbb04..e51fed6 100644
--- a/report/src/pizza.ail
+++ b/report/src/pizza.ail
@@ -3,3 +3,16 @@
 %	Salami    : cheese, tomatosauce, salami.
 %	Funghi    : cheese, tomatosauce, mushrooms, ham(50%).
 %	Pepperoni : cheese, tomatosauce, salami, jalapeños.
+
+prob salamicircle: 1/2.
+prob mozarellacircle: 1/2.
+prob chililines: 4/5.
+prob taugelines: 1/5.
+prob blocksham: 1/2.
+prob blockspineapple: 1/2.
+
+circles
+doublecircles
+lines
+squares
+blob
-- 
2.20.1