Кит Кларк (специалист по информатике)

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

Образование

Кларк изучал математику в Даремском университете ( колледж Хэтфилд ), который окончил в 1964 году с отличием . ^{[2] [3] [4]} Затем Кларк продолжил обучение в Кембриджском университете , получив вторую степень бакалавра по философии в 1966 году. ^[4] Он получил степень доктора философии в 1980 году в Лондонском университете, защитив диссертацию на тему «Логика предикатов как вычислительный формализм» . ^[5]

Карьера

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

Основные вклады Кларка были в области логического программирования . ^[7] Его текущие исследовательские интересы включают многоагентные системы , когнитивную робототехнику и многопоточность . ^[8]

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

В 1980 году вместе с коллегой Фрэнком МакКейбом он основал отделившуюся от Имперского колледжа компанию Logic Programming Associates для разработки и маркетинга систем Prolog для микрокомпьютеров (микро-Prolog) и предоставления консультаций по экспертным системам и другим приложениям логического программирования. ^{[4] [9]} Главным продуктом компании был MacProlog. Он имел пользовательский интерфейс, использующий все примитивы графического пользовательского интерфейса ОС Mac, и примитивы, позволяющие создавать заказные приложения на основе Prolog с интерфейсами, специфичными для приложений. Кларк также выступал в качестве консультанта для IBM , Hewlett-Packard и Fujitsu среди других компаний. ^[4]

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

• К. Л. Кларк, Д. Коуэлл, Программы, машины и вычисления , McGraw-Hill , Лондон, 1976.
• К. Л. Кларк, С. А. Тарнлунд, Теория данных и программ первого порядка, Труды Конгресса IFIP , Торонто, 939–944 стр., 1977.
• KL Clark, Отрицание как неудача, Logic and Data Bases (ред. Gallaire & Minker) Plenum Press , Нью-Йорк, 293–322 стр., 1978. (Также в Readings in Nonmonotonic Reasoning, (ред. M. Ginsberg), Morgan Kaufmann , 311–325, 1987.)
• KL Clark, S. Gregory, Реляционный язык для параллельного программирования, Proc. ACM Conference on Functional Languages ​​and Computer Architecture , ACM, New York, 171–178 стр., 1981. (Также в Concurrent Prolog, (ред. E Shapiro), MIT Press, 9–26 стр., 1987.)
• К. Л. Кларк, С. А. Тарнлунд (редакторы), Логическое программирование , Academic Press , Лондон, 1982.
• К. Л. Кларк, Ф. Г. МакКейб, микро-ПРОЛОГ: Программирование в логике , Prentice-Hall International, 1984.
• К. Л. Кларк, И. Фостер, Декларативная среда для параллельного логического программирования, Труды коллоквиума по функциональному и логическому программированию и спецификации, LNCS 250, Springer-Verlag, 212 - 242 стр., 1987
• К. Л. Кларк, Схемы логического программирования и их реализации, Вычислительная логика (ред. Лассе и Плоткин), MIT Press, 1991.
• Ф. Г. МакКейб, К. Л. Кларк, Эйприл — Язык взаимодействия агентов и процессов, в книге «Интеллектуальные агенты» (ред. Н. Дженнингс, М. Вулдридж), LNAI , том 890, Springer-Verlag , 1995.
• Н. Скармиас, К. Л. Кларк, Маршрутизация на основе контента как основа внутриагентной коммуникации, Труды Международного WS по теориям, архитектурам и языкам агентов 98, Интеллектуальные агенты V, (ред. Дж. П. Мюлер и др.), Springer-Verlag, LNAI 1555, 1999 (награда за лучшую статью).
• К. Л. Кларк, Языки логического программирования, Энциклопедия компьютерных наук , (ред. А. Ралстон, Э. Рейли, Д. Хеммендингер), стр. 1024–1031, Nature Publishing Group , 2000.
• К. Л. Кларк и Ф. МакКейб, Go! — Многопарадигмальный язык программирования для реализации многопоточных агентов, Annals of Mathematics and Artificial Intelligence , 41(2–4):171–206, август 2004 г.
• Т. Хонг и К. Л. Кларк, На пути к универсальной веб-оболочке, Труды 17-й Международной конференции FLAIRS, AAAI Press, 2004.
• К. Л. Кларк и Ф. МакКейб, Схема онтологии для хранилища убеждений агента, Международный журнал исследований взаимодействия человека и компьютера, 65(7), июль 2007 г., страницы 640–658.
• К. Л. Кларк, П. Робинсон, С. Заппакоста Амбольди, Многопоточные общающиеся агенты в Qu-Prolog, Вычислительная логика в многоагентных системах (ред. Ф. Тони и П. Торрони), LNAI т. 3900, стр. 186–205, 2006.
• С. Коффи и К. Л. Кларк, Гибридная телереактивная архитектура для управления роботом, Труды Второго международного семинара по многоагентным робототехническим системам (МАРС-06), 2006.
• Д. Гертнер, К. Л. Кларк, М. Серго, Бальный этикет: пример для многоагентных систем, регулируемых нормами, Труды семинара AAMAS06 по координации, организации, институтам и нормам в агентских системах, LNCS 4386, Springer, 2006.
• J. Knottenbelt, KL Clark, Contract Related Agents, Computational Logic in Multi-agent Systems (ред. F Toni и P. Torroni), LNAI Vol. 3900, стр. 226–242, 2006.
• Дж. Ма, А. Руссо, К. Брода, К. Л. Кларк, DARE: система распределенного абдуктивного мышления, Журнал автономных агентов и многоагентных систем, 16(3), Springer, июнь, 2008 г.
• PJ Robinson, KL Clark, Pedro: сервер публикации/подписки с использованием технологии Prolog, Программное обеспечение: практика и опыт, 40(4) стр. 313–329, Wiley, 2010.
• К. Л. Кларк, П. Дж. Робинсон, Программирование роботизированных агентов в TeleoR, Труды Международной конференции по робототехнике и автоматизации, IEEE, май 2015 г.
• К. Кларк, Б. Хенгст, М. Паньюкко, Д. Раджаратнам, П. Робинсон, К. Саммут, М. Тильшер, «Структура для интеграции символических и субсимволических представлений», Труды международных совместных конференций по искусственному интеллекту 2016 г., Нью-Йорк, AAAI Press, июль 2016 г.

Ссылки

1. Жан-Луи Лассе; Гордон Плоткин , ред. (1991). Вычислительная логика — Эссе в честь Алана Робинсона . Кембридж/Массачусетс: MIT Press. ISBN 0-262-12156-5.
2. "Результаты выпускных экзаменов, проведенных в июне 1964 года". Приложение к University of Durham Gazette . XI (Новая серия): 7. 30 сентября 1964 года . Получено 26 августа 2024 года .
3. "Durham University MathSoc". Facebook . 9 декабря 2015 г. Получено 16 мая 2019 г. Профессор Кларк окончил наш факультет в 1964 г. (колледж Хэтфилд), прежде чем начать карьеру в области искусственного интеллекта и вычислительной логики.
4. "Keith Clark CV" (PDF) . Июнь 2018 . Получено 16 мая 2019 .
5. "Предикатная логика как вычислительный формализм". Лондонский университет . Получено 9 января 2013 г.
6. "talks@bham: Rule Control of Goal Directed, Reactive, Communicating Robotic Agents". Бирмингемский университет . Получено 16 мая 2019 г.
7. Кит Л. Кларк на сервере библиографии DBLP
8. "Домашняя страница Кейта Кларка" . Получено 11 мая 2023 г. .
9. "Временная логическая семантика для телеореактивных роботизированных программ-агентов". cse.cuhk.edu.hk . Китайский университет Гонконга.

Внешние ссылки

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