User Tools

Site Tools


teaching:is:diag-rules-solutions

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
teaching:is:diag-rules-solutions [2020/06/09 14:57]
Franconi Enrico
teaching:is:diag-rules-solutions [2020/06/09 14:59]
Franconi Enrico [5.7]
Line 43: Line 43:
 (b) The minimal explanations of //get_gun ∧ goto_bank// are { //hunting//, //banking// } and { //robbing// } (b) The minimal explanations of //get_gun ∧ goto_bank// are { //hunting//, //banking// } and { //robbing// }
  
-(c) Observing //puton_goodShoes// would remove the first explanation as it is inconsistent. +<nowiki>(c)</nowiki> Observing //puton_goodShoes// would remove the first explanation as it is inconsistent. 
-    However, you would still need to be able to explain it. This could be done by making //puton_goodShoes// assumable.+However, you would still need to be able to explain it. This could be done by making //puton_goodShoes// assumable.
  
 (d) { //banking// } and { //robbing// } . (d) { //banking// } and { //robbing// } .
  
 (e) { //hunting//, //banking// } (e) { //hunting//, //banking// }
teaching/is/diag-rules-solutions.txt · Last modified: 2023/06/21 09:01 by Franconi Enrico