Differences

This shows you the differences between two versions of the page.

--- teaching:is:diag-rules-solutions [2020/06/09 14:59]
Franconi Enrico [5.7]
+++ teaching:is:diag-rules-solutions [2023/06/21 09:01] (current)
Franconi Enrico
@@ Line 39: / Line 39: @@
 ===== 5.7 =====
-(a) The minimal explanations of //get_gun// are { //hunting// } and { //robbing// } .
-(b) The minimal explanations of //get_gun ∧ goto_bank// are { //hunting//, //banking// } and { //robbing// }
+===== 5.9 =====
-<nowiki>(c)</nowiki> Observing //puton_goodShoes// would remove the ﬁrst explanation as it is inconsistent.
+The minimal conﬂicts are: { //d// } , { //e//, //g// } and { //h// }.
-However, you would still need to be able to explain it. This could be done by making //puton_goodShoes// assumable.
+===== 5.13 =====
+The general idea is to make the reliability of the source assumable.
+(a)
+<code>
+a <- h & reliable_s_1.
+d <- c & reliable_s_1.
+e <- d & reliable_s_2.
+f <- k & reliable_s_2.
+z <- g & reliable_s_2.
+j <- reliable_s_2.
+h <- d & reliable_s_3.
+a <- b & e & reliable_s_4.
+b <- c & reliable_s_4.
+g <- f & j & reliable_s_5.
+false <- a & z.
+c.
+k.
+assumable reliable_s_1.
+assumable reliable_s_2.
+assumable reliable_s_3.
+assumable reliable_s_4.
+assumable reliable_s_5.
+% Try:
+% ask false.
+</code>
+(b) There are two minimal conﬂicts: \\
+[ //reliable(s<sub>1</sub>), reliable(s<sub>3</sub>), reliable(s<sub>2</sub>), reliable(s<sub>5</sub>)// ] \\
+and \\
+[ //reliable(s<sub>4</sub>), reliable(s<sub>1</sub>), reliable(s<sub>2</sub>), reliable(s<sub>5</sub>)// ].
+<nowiki>(c)</nowiki> Those elements that are in all conﬂicts can account for the contradiction. This means that //s<sub>1</sub>//, //s<sub>2</sub>// and //s<sub>5</sub>// can account for the contradiction.
+(d) The only pair of sources that could account for the contradiction are those obtained by pairing the elements of the two conﬂicts that are not in the intersection of the conﬂicts. This means that there is one such pair { //s<sub>3</sub>//, //s<sub>4</sub>// } .
-(d) { //banking// } and { //robbing// } .
-(e) { //hunting//, //banking// }

FranconiSpace

User Tools

Site Tools

Differences

Page Tools