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 [2020/06/09 14:59]
Franconi Enrico [5.7]
@@ Line 38: / Line 38: @@
 <code>up_s1.</code>
-===== 5.3 =====
+===== 5.7 =====
-(a) Give a model of the model of the knowledge base:
+(a) The minimal explanations of //get_gun// are { //hunting// } and { //robbing// } .
-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:
+(b) The minimal explanations of //get_gun ∧ goto_bank// are { //hunting//, //banking// } and { //robbing// }
-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.
-<nowiki>(c)</nowiki> Give two atoms that are logical consequences of the KB:
+<nowiki>(c)</nowiki> Observing //puton_goodShoes// would remove the ﬁrst explanation as it is inconsistent.
-Any two of { a, c, e, f, g } .
+However, you would still need to be able to explain it. This could be done by making //puton_goodShoes// assumable.
-(d) Give two atoms that are not logical consequences of the KB:
+(d) { //banking// } and { //robbing// } .
-Any two of { b, d, h } .
+(e) { //hunting//, //banking// }

FranconiSpace