home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / ai / 4191 < prev    next >
Encoding:
Text File  |  1992-11-08  |  2.0 KB  |  47 lines
  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!pmafire!news.dell.com!swrinde!emory!gatech!hubcap!opusc!usceast!mgv
  3. From: mgv@cs.scarolina.edu (Marco Valtorta)
  4. Subject: Re: Learning Heuristics
  5. Message-ID: <mgv.720671535@larch.cs.scarolina.edu>
  6. Keywords: search, heuristics, automated reasoning.
  7. Sender: usenet@usceast.cs.scarolina.edu (USENET News System)
  8. Organization: USC  Department of Computer Science
  9. References: <1992Oct29.132745.3748@Informatik.TU-Muenchen.DE> <55471@dime.cs.umass.edu>
  10. Date:  2 Nov 92 02:32:15 GMT
  11. Lines: 34
  12.  
  13. fawcett@unix1.cs.umass.edu (Tom Fawcett) writes:
  14.  
  15. >gemenis@Informatik.TU-Muenchen.DE (Theodor Gemenis) writes:
  16.  
  17. >>I would like to know something more about Search, Heuristics and especially
  18. >>automated lerning of heuristics. My state of the art is that of the special
  19. >>issue on search and heuristics of the Artificial Intelligece Journal, Vo. 21,
  20. >>March 1983.  Could someone inform me about new work on the field.
  21. >>
  22. >>My purpose is to learn heuristics for reasoning systems (theorem proovers). 
  23.  
  24.  
  25. >Armand Prieditis did a PhD thesis at Rutgers University on the automatic
  26. >construction of admissible heuristics for A* search.  His system is called
  27. >ABSOLVER and he's published several papers on it; I think the latest was in
  28. >IJCAI-91 (Sydney).  I don't know how applicable his work is to theorem
  29. >proving, but it's a good place to start.
  30.  
  31. >-Tom
  32.  
  33. Yes, Armand had a paper on Absolver at IJCAI-91.  He also had a paper
  34. on Absolver at IJCAI-89 (Detroit), which was coauthored with
  35. Jack Mostow, his thesis adviser.  You may also want to read ``A New
  36. Result on the Complexity of Heurstics for the A* Algorithm,''
  37. by Othar Hansson, Andy Mayer, and Marco Valtorta, in _Artificial Intelligence_,
  38. 55, 1 (May 1992), 129-143.
  39.  
  40.  
  41. Marco Valtorta, Assistant Professor    usenet: ...!ncrcae!usceast!mgv
  42. Department of Computer Science    internet: mgv@usceast.cs.scarolina.edu
  43. University of South Carolina    tel.: (1)(803)777-4641
  44. Columbia, SC 29208        tlx: 805038 USC
  45. U.S.A.                fax: (1)(803)777-3767
  46. usenet from Europe: ...!mcvax!uunet!ncrlnk!ncrcae!usceast!mgv
  47.