update pizza etc

diff --git a/report/ass2-1.tex b/report/ass2-1.tex
index 18639be..9247346 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
--- 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