home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / ai / 5015 < prev    next >
Encoding:
Text File  |  1993-01-26  |  1.3 KB  |  36 lines
  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!pipex!pavo.csi.cam.ac.uk!rwab1
  3. From: rwab1@cl.cam.ac.uk (Ralph Becket)
  4. Subject: Re: Abductive Reasoning?
  5. Message-ID: <1993Jan26.101138.148@infodev.cam.ac.uk>
  6. Sender: news@infodev.cam.ac.uk (USENET news)
  7. Nntp-Posting-Host: lelaps.cl.cam.ac.uk
  8. Reply-To: Ralph.Becket@cl.cam.ac.uk
  9. Organization: U of Cambridge Comp Lab, UK
  10. References: <1k29msINN4bv@MINERVA.CIS.YALE.EDU>
  11. Date: Tue, 26 Jan 1993 10:11:38 GMT
  12. Lines: 22
  13.  
  14. I suppose I would say that abduction is the inferential process of
  15. coming up with possible explanations for things. Josephson et al (1987)
  16. propose a definition of abduction:
  17.  
  18.     D is a collection of data (facts, observations, givens etc);
  19.     H explains D (ie. if H were true, then it would imply D);
  20.     no other hypothesis explains D as well as H;
  21.  
  22.     therefore, H is correct.
  23.  
  24. The third line in the definition tries to remove wild or implausible
  25. explanations from the set of solutions.
  26.  
  27. Abduction is used in machine learning, for example. A fun paper to read
  28. with all this sort of stuff in is Brian Falkenhainer's "A Unified 
  29. Approach to Explanation and Theory Formation." Falkenhainer talks about
  30. abduction (amongst other things) in PHINEAS, a proggy which uses analogy
  31. to infer explanations of phenomena it hasn't seen before.
  32.  
  33. Hope that's not too far off the mark,
  34.  
  35.     Ralph
  36.