Mark E. Stickel - Mark E. Stickel - Wikipedia

Mark E. Stickel (1947 yil 22-iyun - 2013-yil 13-aprel) sohalarida ishlagan kompyuter olimi avtomatlashtirilgan teorema va sun'iy intellekt. U ishlagan Xalqaro SRI 30 yildan ortiq vaqt davomida va Sun'iy intellekt markazining asosiy xodimi bo'lgan.^[1]

Stickel tadqiqotlari nazariy rezolyutsiya, assotsiativ-komutativ (AC) birlashma va Prolog texnologiya teoremasi (PTTP) va SNARK, SRI ning yangi avtomatlashtirilgan mulohaza to'plami.^[2]

U sherigiga saylandi Amerika sun'iy intellekt assotsiatsiyasi 1992 yilda va olgan Herbrand mukofoti 2002 yilda avtomatlashtirilgan chegirmaga qo'shgan hissasi uchun.^[3]

Adabiyotlar

^ Perro, Rey; Waldinger, Richard (2013 yil 13 aprel). "Mark Stickel". A mavzulari. aitopics.org. Olingan 26 sentyabr 2014.
^ Stickel, Mark. "Mark E. Stickel". Xalqaro SRI. Olingan 26 sentyabr 2014.
^ "Avtomatlashtirilgan fikr yuritishga qo'shgan ulkan hissasi uchun" Herbrand mukofoti ". CADE Inc. Olingan 11 dekabr 2016.

Amerikalik olim haqida ushbu maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.

P ≟ NP

Ga tegishli ushbu biografik maqola kompyutershunos a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.

[1] Perro, Rey; Waldinger, Richard (2013 yil 13 aprel). "Mark Stickel". A mavzulari. aitopics.org. Olingan 26 sentyabr 2014.

[2] Stickel, Mark. "Mark E. Stickel". Xalqaro SRI. Olingan 26 sentyabr 2014.

[3] "Avtomatlashtirilgan fikr yuritishga qo'shgan ulkan hissasi uchun" Herbrand mukofoti ". CADE Inc. Olingan 11 dekabr 2016.

[1]

[2]

[3]