Кіріспе
Dov M. Gabbay (/g//ə/'/b//eɪ/; 1945 жылдың 26 қазанында туған) – израильдік логик. Ол Лондон Король колледжінің Компьютер ғылымдары факультетінің Логика, тіл және есептеулер тобындағы Логика профессоры (құрметті).
Dov M. Gabbay (/g//ə/'/b//eɪ/; born October 26, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.
Жұмыс
Габбай төрт жүз елудан астам ғылыми мақала және отыздан астам ғылыми монографияның авторы. Ол бірнеше халықаралық журналдардың редакторы, сондай-ақ логика саласындағы көптеген анықтамалық еңбектер мен оқулықтардың редакторы, оның ішінде «Философиялық логиканың анықтамалығы» (Франц Гюннермен бірге), «Компьютер ғылымындағы логиканың анықтамалығы» (Сэмсон Абрамский және Т.С.Э. Майбауммен бірге), «Жасанды интеллект және логикалық бағдарламалаудағы логиканың анықтамалығы» (С.Ж. Хоггер және Дж.А. Робинсонмен бірге). Ол компьютер ғылымы мен жасанды интеллекттегі логика саласындағы пионерлік жұмыстарымен, әсіресе компьютер ғылымындағы (іске қосылатын) уақытша логикаларды қолданумен, атап айтқанда формалды тексеру, монотонды емес ойлау мен жасанды интеллекттің логикалық негіздері, талшықты логикаларды енгізу және белгіленген дедуктивті жүйелер теориясымен кеңінен танымал. Ол бірнеше халықаралық конференциялардың төрағасы және негізін қалаушы, «Логика, тіл және ақпарат» Еуропалық қорының атқарушы мүшесі және Халықаралық IGPL Логикалық тобының президенті. Ол Халықаралық есептеу логикасы федерациясын құрған және оның президенті. Сонымен қатар, ол FoLLI – Логика, Тіл және Ақпарат қауымдастығының төрт негізін қалаушысының бірі және көп жылдар бойы кеңес мүшесі болды, қазір зейнеткерлікке шыққан. Ол өмір бойына мүшелік статусын сақтайды. Ол Джейн Спёррмен бірлесіп «College Publications» баспасын құрды, бұл коммерциялық емес, академиялық баспа, мақсаты – авторлардан авторлық құқықты талап етпей, үлкен, қымбат баспалармен бәсекелесе алатын қолжетімді бағада ғылыми еңбектерді жариялау. 2005 жылы оның құрметіне арналған екі томдық Festschrift «College Publications» баспасынан шықты.
Таңдалған жазбалар
Самсон Абрамский, Дов М. Габбай, Т. С. Е. Майбаум. Компьютерлік ғылымдағы логика нұсқаулығы, 1-5 томдары. Clarendom Press, Оксфорд, 1992–2000 жж. Артур С. д'Авила Гарсез, Луис С. Лэмб, Дов Габбай. Нейросимволикалық танымдық ойлау. Springer, 2009 жыл. Майкл Д. Фишер, Дов М. Габбай, Луис Вила (ред.). Жасанды интеллекттегі уақытша есептеу нұсқаулығы. Elsevier, 2005 жыл. Дов М. Габбай: Эксперттік жүйелердегі монотонды емес ойлаудың теориялық негіздері. Apt K. R. (ред.) Логика және қатар жүйелердің модельдері. NATO ASI сериясы (F сериясы: Компьютерлік және жүйелік ғылымдар), 13-том. Springer, Берлин, Гейдельберг, 439–457 беттер, 1985 жыл. Дов М. Габбай (ред.). Логикалық жүйе дегеніміз не? Логика және есептеулерді зерттеу, Оксфорд университетінің баспасы, 1994 жыл. Дов М. Габбай. Белгіленген дедуктивті жүйелер, 1-том. Clarendon Press, Оксфорд, 1996 жыл. Дов М. Габбай. Фибрингтік логика. Clarendon Press, Оксфорд, 1998 жыл. Дов М. Габбай, Иан Ходкинсон, Марк Рейнольдс: Уақытша логика: математикалық негіздер және есептеулік аспектілер, 1-том. Clarendon Press, Оксфорд, 1994 жыл. Дов М. Габбай, Аги Куруч, Фрэнк Вултер, Майкл Захарьящев: Көп өлшемді модальдық логика: теория және қолданылуы. North Holland, 2003 жыл. Дов М. Габбай, Амир Пнуэли, Сахарон Шелах, Джонатан Стави. Әділдікті уақытша талдау. POPL'80: Бағдарламалау тілдерінің қағидалары жөніндегі 7-ші SIGPLAN SIGACT ACM жылдық симпозиумының материалдары, 1980 жылғы қаңтар, 163–173 беттер, ACM Press. Дов М. Габбай және Джон Вудс. Күн тәртібінің маңыздылығы: Формалды прагматикадағы зерттеу. North Holland, 2003 жыл. Рут М. Кемпсон, Уилфрид Майер Виол, Дов М. Габбай: Динамикалық синтаксис: Тілді түсіну ағыны. Blackwell, 2000 жыл.