Кейт Кларк (ученый-компьютерщик) - Keith Clark (computer scientist)

Кейт Леонард Кларк (родился 29 марта 1943 г.) - почетный профессор Департамент вычислительной техники в Имперский колледж Лондон, Англия.^[1]:723

Образование

Кларк изучал математику в Даремский университет (Hatfield College ), который окончил в 1964 г. высшая степень.^[2][3] Затем Кларк продолжил учебу в Кембриджский университет, получив в 1966 г. вторую степень бакалавра философии.^[3] Он заработал Кандидат наук. в 1980 году из Лондонский университет с диссертацией под названием Логика предикатов как вычислительный формализм.^[4]

Карьера

Кларк предпринял Добровольная служба за границей с 1967-1968 учитель математики в школе г. Сьерра-Леоне.^[3] Он читал лекции по информатике на математическом факультете Колледж Королевы Марии с 1969 по 1975 гг.^[5] В 1975 году переехал в Имперский колледж Лондон, где он стал старшим преподавателем кафедры компьютерных наук и присоединился к Роберт Ковальски в создании Логическое программирование группа.^[5] С 1987 по 2009 год он был профессором вычислительной логики в Имперском колледже.^[3]

Ключевые вклады Кларка были в области логическое программирование.^[6] Его статья 1978 г. отрицание как неудача возможно была первая формализация немонотонная логика. В его статье 1981 года о реляционном языке для параллельного программирования было введено параллельное логическое программирование. Это была парадигма программирования, принятая амбициозным японским исследовательским проектом пятого поколения 1980-х годов с целью создания параллельных компьютеров, обрабатывающих знания. Он был выбран из-за его пригодности для параллельного выполнения, хотя ему не хватало естественных функций представления знаний Пролог.

С 2010 года Кларк тесно сотрудничал с Питером Робинсоном из Университета Квинсленда над комбинацией языков TeleoR / QuLog для программирования многозадачных агентов, которые могут управлять роботизированными устройствами. TeleoR - это язык программирования на основе правил, который является основным расширением языка T-R для процедур Teleo-Reactive, предложенного Нильс Нильссон. T-R является потомком обобщенной иерархической треугольной таблицы Полоски планы, планировщик Встряхните робота, первый рассуждающий робот. QuLog - это гибко типизированный гибридный язык, сочетающий логическое программирование, функциональное программирование и многопоточный программирование действий агента. TeleoR - это синтаксическое расширение QuLog для конкретного приложения.

Деловые интересы

В 1980 году вместе с коллегой Фрэнком МакКейбом он основал дочернюю компанию Имперского колледжа. Партнеры по логическому программированию, развивать и продавать Пролог систем для микрокомпьютеров (micro-Prolog) и для предоставления консультаций по экспертным системам и другим приложениям логического программирования.^[3][7] Звездным продуктом компании был MacProlog. У него был пользовательский интерфейс, использующий все примитивы графического пользовательского интерфейса Mac OS, а также примитивы, позволяющие создавать приложения на основе Prolog со специальными интерфейсами. Кларк также выступал в качестве консультанта IBM, Hewlett Packard и Fujitsu среди других компаний.^[3]

Избранные публикации

• К. Л. Кларк, Д. Коуэлл, Программы, машины и вычисления, Макгроу-Хилл, Лондон, 1976.
• К. Л. Кларк, S-A. Тарнлунд, Теория данных и программ первого порядка, Proc. Конгресс ИФИП, Торонто, 939–944 стр., 1977.
• К. Л. Кларк, Отрицание как неудача, Логика и базы данных (ред. Галлер и Минкер) Пленум Пресс, New York, 293–322 pp, 1978. (Также в «Readings in Nonmonotonic Reasoning», (под ред. М. Гинзберга), Морган Кауфманн, 311–325, 1987.)
• К. Л. Кларк, С. Грегори, Реляционный язык для параллельного программирования, Proc. Конференция ACM по функциональным языкам и компьютерной архитектуре, ACM, New York, 171–178 pp, 1981. (Также в Concurrent Prolog, (ed. E Shapiro), MIT Press, 9–26 pp, 1987.)
• К. Л. Кларк, S-A. Тарнлунд (редакторы), Логическое программирование, Академическая пресса, Лондон, 1982.
• К. Л. Кларк, Ф. Г. Маккейб, micro-PROLOG: Программирование в логике, Prentice-Hall Международный, 1984.
• К. Л. Кларк, И. Фостер, Декларативная среда для параллельного логического программирования, Труды коллоквиума по функциональному и логическому программированию и спецификации, LNCS 250, Springer-Verlag, 212 - 242 стр, 1987
• К. Л. Кларк, Схемы логического программирования и их реализации, Вычислительная логика (изд. Лассез и Плоткин), MIT Press, 1991.
• F.G. МакКейб, К. Л. Кларк, апрель - язык взаимодействия с процессами агентов, в Интеллектуальные агенты, (ред. Н. Дженнингс, М. Вулдридж), LNAI, Vol. 890, г. Springer-Verlag, 1995.
• Н. Скармеас, К.Л. Кларк, Маршрутизация на основе контента как основа для внутриагентской коммуникации, Proceedings of International WS on Agent Theories, Architectures and Languages ​​98, Intelligent Agents V, (ред. JP Muler et al), Springer-Verlag, LNAI 1555, 1999 (приз за лучшую работу).
• К. Л. Кларк, Языки логического программирования, Энциклопедия компьютерных наук, (ред. А. Ральстон, Э. Рейли, Д. Хеммендингер), стр 1024–1031, Издательская группа Nature, 2000.
• К. Л. Кларк и Ф. МакКейб, Вперед! - Многопарадигмальный язык программирования для реализации многопоточных агентов, Анналы математики и искусственного интеллекта, 41 (2–4): 171–206, август 2004.
• Т. Хонг и К. Л. Кларк, На пути к универсальной веб-оболочке, Труды 17-й Международной конференции FLAIRS, AAAI Press, 2004.
• К. Л. Кларк и Ф. Маккейб, Схема онтологии для хранилища убеждений агента, Международный журнал исследований человека и компьютера, 65 (7), июль 2007 г., страницы 640-658.
• К. Л. Кларк, П. Робинсон, С. Заппакоста Амбольди, Многопоточные коммуникационные агенты в Qu-Prolog, Вычислительная логика в многоагентных системах (ред. Ф. Тони и П. Торрони), LNAI Vol. 3900, стр 186-205, 2006.
• С. Коффи и К. Л. Кларк, Гибридная, телеореактивная архитектура для управления роботами, Труды второго международного семинара по мультиагентным робототехническим системам (MARS-06), 2006.
• Д. Гертнер, К. Л. Кларк, М. Сергот, Этикет бального зала: тематическое исследование для многоагентных систем, регулируемых нормами, Труды семинара AAMAS06 по координации, организации, институтам и нормам в агентских системах, LNCS 4386, Springer, 2006.
• Дж. Кноттенбельт, К. Л. Кларк, Связанные с контрактом агенты, Вычислительная логика в многоагентных системах (ред. Ф. Тони и П. Торрони), LNAI Vol. 3900, стр 226-242, 2006.
• Дж. Ма, А. Руссо, К. Брода, К. Л. Кларк, DARE: система распределенного абдуктивного мышления, автономные агенты и журнал мультиагентных систем, 16 (3), Springer, июнь 2008 г.
• П. Дж. Робинсон, К. Л. Кларк, Педро: сервер публикации / подписки с использованием технологии Prolog, практики и опыта работы с программным обеспечением, 40 (4) стр. 313-329, Wiley, 2010.
• К. Л. Кларк, П. Дж. Робинсон, Программирование роботизированных агентов в TeleoR, Труды Международной конференции по робототехнике и автоматизации, IEEE, май 2015 г.
• К. Кларк, Б. Хенгст, М. Пагнукко, Д. Раджаратнам, П. Робинсон, К. Саммут, М. Тильшер, Структура интеграции символических и субсимвольных представлений, Труды международных совместных конференций по искусственному интеллекту, 2016 г., новинка Йорк, AAAI Press, июль 2016 г.

Рекомендации

внешняя ссылка

• Домашняя страница Кита Кларка