home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / ai / 4730 < prev    next >
Encoding:
Internet Message Format  |  1993-01-04  |  1.2 KB
  1. Xref: sparky comp.ai:4730 comp.ai.neural-nets:4686 sci.logic:2532
  2. Path: sparky!uunet!pipex!bnr.co.uk!uknet!info!L.Newnham
  3. From: L.Newnham@bradford.ac.uk (Leonard Newnham)
  4. Newsgroups: comp.ai,comp.ai.neural-nets,sci.logic
  5. Subject: Neural network controlled theorem proving
  6. Message-ID: <1993Jan4.145553.16320@bradford.ac.uk>
  7. Date: 4 Jan 93 14:55:53 GMT
  8. Organization: University of Bradford, UK
  9. Lines: 21
  10. Originator: 90908502@muser
  11. Nntp-Posting-Host: muser
  12.  
  13. I am doing research into temporal logic theorem proving.  I am thinking
  14. of using a neural network as a method of learning useful heuristics
  15. to control the direction of the search.  The basic idea is that the
  16. neural network learns to recognise patterns in the theorem to be
  17. proved that enable the theorem prover to proceed in an efficient manner
  18. towards a proof.
  19.  
  20. I am familiar with the 2 or 3 papers Ertel and Suttner have published 
  21. in this area but have, so far, not been able to find any other research 
  22. along similar lines.
  23.  
  24. I would be most grateful if anyone could point me in the direction of
  25. any other research in this area.
  26.  
  27. Please email and I will post a summary.
  28.  
  29.  
  30. -- 
  31.  
  32. Leonard               e-mail:  L.Newnham@bradford.ac.uk
  33.