Differences

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

--- teaching:is:diag-rules-solutions [2020/06/09 14:55]
Franconi Enrico created
+++ teaching:is:diag-rules-solutions [2023/06/21 09:01] (current)
Franconi Enrico
@@ Line 38: / Line 38: @@
 <code>up_s1.</code>
-===== 5.3 =====
+===== 5.7 =====
-(a) Give a model of the model of the knowledge base:
-The minimal model has { a, c, e, f, g } true and { b, d, h } false. Another model is where all atoms are true.
-(b) Give an interpretation that is not a model of the knowledge base:
+===== 5.9 =====
-The interpretation with a false, and all other atoms true is not a model as the ﬁrst clause is false in this interpretation.
-The interpretation with all atoms false is not a model as the 7th clause is false in this interpretation.
+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>// } .
-<nowiki>(c)</nowiki> Give two atoms that are logical consequences of the KB:
-Any two of { a, c, e, f, g } .
-(d) Give two atoms that are not logical consequences of the KB:
-Any two of { b, d, h } .

FranconiSpace

User Tools

Site Tools

Differences

Page Tools