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 [2020/06/09 15:14]
Franconi Enrico
@@ Line 49: / Line 49: @@
 (e) { //hunting//, //banking// }
+===== 5.9 =====
+The minimal conﬂicts are: { //d// } , { //e//, //g// } and { //h// }.
+===== 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>// } .

FranconiSpace

User Tools

Site Tools

Differences

Page Tools