home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / ai / 3298 < prev    next >
Encoding:
Internet Message Format  |  1992-09-01  |  1.8 KB
  1. Path: sparky!uunet!wupost!uwm.edu!psuvax1!rutgers!njitgw.njit.edu!benanav@earth.njit.edu
  2. From: benanav@earth.njit.edu (Dan Benanav)
  3. Newsgroups: comp.ai
  4. Subject: What has AI achieved?
  5. Message-ID: <benanav.715424944@earth.njit.edu>
  6. Date: 2 Sep 92 09:09:04 GMT
  7. Sender: news@njit.edu
  8. Organization: New Jersey Institute of Technology, Newark, N.J.
  9. Lines: 44
  10. Nntp-Posting-Host: earth-gw.njit.edu
  11.  
  12. I am trying to get an idea about the accomplishments in AI.
  13. I am not interested in spin-offs rather I am interested in
  14. such things as:
  15.  
  16. 1)Vision recognition - Recognition of faces, chairs and everyday objects.
  17.  
  18. 2)Speech and Handwriting Recognition.
  19.  
  20. 3)Natural Language Understanding.
  21.  
  22. 4)Automated Programming and theorem proving.
  23.  
  24. 5)Automated Diagnosis and Design.
  25.  
  26. 6)Overall the best robot?
  27.  
  28. 7)Learning.
  29.  
  30. 8)Any other relevant AI topic I didn't mention.
  31.  
  32. For each of these things I am interested in the most impressive
  33. program (or two) and in general comments about success in these areas.
  34. Please give a reference, especially for any outrageous claims.
  35. Keep it short but to the point.  What if any is the most impressive
  36. industrial application?  
  37.  
  38. For example in automated theorem proving the most impressive achievement
  39. is the solving a some open problems using an automated theorem prover(ATP).
  40. However those problems were rather esoteric.  In general, theorem provers
  41. do not work well.   Theorem provers choke even on theorems that are
  42. simple for us.  At the current time they have little practical value.
  43.  
  44.  
  45. Please send in your answer only if you are reasonbly certain of your
  46. claims.  References will be greatly appreciated.
  47. You can email your responses to me and I will summarize.
  48.  
  49. I look forward to your responses!
  50.  
  51. ---------------------------------------------------------------------
  52.  Dan Benanav
  53.  Assistant Professor.
  54.  Computer and Information Sciences.
  55.  New Jersey Institute of Technology.
  56.