abductive reasoning

pkn.html

@@ -870,7 +870,7 @@ <h3>Reasoning about Graphs</h3>
 which ?x where Joan said {?x likes tea}
       </pre>
       </aside>
-    <p>A more complex case is where reasoning is in the context of a fictional world in which some things are specific to that world whilst most things are the same as in our world. An example is the world of the Harry Potter novels where magic is real, but only some people can use it.  This then involves reasoning across multiple graphs according to their relationships.</p>
+    <p>A more complex case is where reasoning is in the context of a fictional world in which some things are specific to that world whilst most things are the same as in our world. An example is the world of the Harry Potter novels where magic is real, but only some people can use it.  This then involves reasoning across multiple graphs according to their relationships. This is also the case for reasoning about the future, e.g. when developing plans for how to achieve a goal, and for abductive reasoning about the likely causes of some  observations, where we need to deal with what might be true given some plausible assumptions.</p>
   </section>  
 
   <section id="reasoning-meta">