Марк Э. Стикель
Марк Э. Стикель | |
|---|---|
| Рожденный | 22 июня 1947 г. |
| Умер | 13 апреля 2013 г. (65 лет) |
| Занятие | ученый-компьютерщик |
| Известный | автоматизированное доказательство теорем и искусственный интеллект |
| Заметная работа | СНАРК |
| Награды | Член Американской ассоциации искусственного интеллекта , Премия Эрбрана |
Марк Э. Стикель (22 июня 1947 – 13 апреля 2013) был ученым-компьютерщиком, работавшим в области автоматического доказательства теорем и искусственного интеллекта . Он проработал в SRI International более 30 лет и был главным научным сотрудником Центра искусственного интеллекта. [ 1 ]
Исследования Стикеля включали разрешение теории, ассоциативно-коммутативную (AC) унификацию, а также разработку средства доказательства теорем Prolog Technology (PTTP) и SNARK , нового набора автоматизированных рассуждений SRI. [ 2 ]
Он был избран членом Американской ассоциации искусственного интеллекта в 1992 году и получил премию Эрбрана за вклад в автоматизированные дедукции в 2002 году. [ 3 ]
Ссылки
[ редактировать ]- ^ Перро, Рэй; Уолдингер, Ричард (13 апреля 2013 г.). «Марк Стикель» . AIтемы . aitopics.org . Проверено 26 сентября 2014 г.
- ^ Стикель, Марк. «Марк Э. Стикель» . НИИ Интернешнл . Проверено 26 сентября 2014 г.
- ^ «Премия Эрбрана за выдающийся вклад в автоматизированное мышление» . КЕЙД Инк . Проверено 11 декабря 2016 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
   | Эта статья об американском ученом незавершена . Вы можете помочь Википедии, расширив ее . |