Кейт Кларк (ученый-компьютерщик)
Кейт Л. Кларк | |
---|---|
Рожденный | 1943 (80–81 год) |
Национальность | Британский |
Альма-матер |
|
Научная карьера | |
Поля | |
Учреждения | |
Диссертация | Логика предикатов как вычислительный формализм (1980) |
Докторантура | Роберт Ковальски |
Веб-сайт | www |
Кейт Леонард Кларк (родился 29 марта 1943 года) — почетный профессор кафедры вычислительной техники Имперского колледжа Лондона , Англия . [1] : 723
Образование
[ редактировать ]Кларк изучал математику в Даремском университете ( Хэтфилд-колледж ), который окончил в 1964 году с дипломом первой степени . [2] [3] Затем Кларк продолжил обучение в Кембриджском университете , получив вторую степень бакалавра философии в 1966 году. [3] Он получил степень доктора философии. в 1980 году окончил Лондонский университет с диссертацией на тему « Логика предикатов как вычислительный формализм» . [4]
Карьера
[ редактировать ]Кларк проходил добровольную службу за границей с 1967 по 1968 год в качестве учителя математики в школе в Сьерра-Леоне . [3] Он читал лекции по информатике на математическом факультете колледжа Королевы Марии с 1969 по 1975 год. В 1975 году он перешёл в Имперский колледж Лондона , где стал старшим преподавателем кафедры компьютерных наук и присоединился к Роберту Ковальски в создании логического программирования. группы . [5] С 1987 по 2009 год он был профессором вычислительной логики в Имперском колледже. [3]
Ключевой вклад Кларка был сделан в области логического программирования . [6] В число его текущих научных интересов входят мультиагентные системы , когнитивная робототехника и многопоточность . [7]
Деловые интересы
[ редактировать ]В 1980 году вместе с коллегой Фрэнком Маккейбом он основал дочернюю компанию Имперского колледжа Logic Programming Associates для разработки и продвижения систем Пролога для микрокомпьютеров (микро-Пролог), а также для предоставления консультаций по экспертным системам и другим приложениям логического программирования. [3] [8] Звездным продуктом компании был MacProlog. Он имел пользовательский интерфейс, использующий все примитивы графического пользовательского интерфейса ОС Mac, а также примитивы, позволяющие создавать индивидуальные приложения на основе Пролога с интерфейсами для конкретных приложений. Кларк также выступал в качестве консультанта для IBM , Hewlett-Packard и Fujitsu , а также других компаний. [3]
Избранные публикации
[ редактировать ]- К.Л. Кларк, Д. Коуэлл, Программы, машины и вычисления , McGraw-Hill , Лондон, 1976.
- К.Л. Кларк, SA. Тарнлунд, Теория данных и программ первого порядка, Proc. Конгресс ИФИП , Торонто, 939–944 стр., 1977 г.
- К.Л. Кларк, Отрицание как неудача, Логика и базы данных (под редакцией Галлера и Минкера), Plenum Press , Нью-Йорк, 293–322 стр, 1978. (Также в «Чтениях по немонотонному рассуждению» (под ред. М. Гинзберга), Морган Кауфманн , 311–325, 1987.)
- К.Л. Кларк, С. Грегори, Реляционный язык для параллельного программирования, Proc. Конференция ACM по функциональным языкам и компьютерной архитектуре , ACM, Нью-Йорк, 171–178 стр, 1981. (Также в Concurrent Prolog (под ред. Э. Шапиро), MIT Press, 9–26 стр, 1987.)
- К.Л. Кларк, SA. Тарнлунд (редакторы), Логическое программирование , Academic Press , Лондон, 1982.
- К.Л. Кларк, Ф.Г. Маккейб, микро-ПРОЛОГ: Программирование в логике , Prentice-Hall International, 1984.
- К.Л. Кларк, И. Фостер, Декларативная среда для параллельного логического программирования, Материалы коллоквиума по функциональному и логическому программированию и спецификациям, LNCS 250, Springer-Verlag, 212–242 стр, 1987 г.
- К.Л. Кларк, Схемы логического программирования и их реализации, Вычислительная логика (ред. Лассез и Плоткин), MIT Press, 1991.
- Ф. Г. Маккейб, К. Л. Кларк, апрель — Язык взаимодействия агентов с процессами, в книге «Интеллектуальные агенты» (под ред. Н. Дженнингса, М. Вулдриджа), LNAI , Vol. 890, Шпрингер-Верлаг , 1995.
- Н. Скармес, К.Л. Кларк, Маршрутизация на основе контента как основа внутриагентной связи, Proceedings of International WS по теориям агентов, архитектурам и языкам 98, Intelligent Agents V (под ред. JP Muler и др.), Springer-Verlag, ЛНАИ 1555, 1999 г. (премия за лучшую статью).
- К.Л. Кларк, Языки логического программирования, Энциклопедия компьютерных наук (ред. А. Ралстон, Э. Рейли, Д. Хеммендингер), стр. 1024–1031, Nature Publishing Group , 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 г.
Ссылки
[ редактировать ]- ^ Жан-Луи Лассез; Гордон Плоткин , ред. (1991). Вычислительная логика — Очерки в честь Алана Робинсона . Кембридж/Массачусетс: MIT Press. ISBN 0-262-12156-5 .
- ^ «Математический общество Даремского университета» . Фейсбук . 9 декабря 2015 года . Проверено 16 мая 2019 г.
Профессор Кларк окончил наш факультет в 1964 году (Хэтфилд-колледж), прежде чем начать карьеру в области искусственного интеллекта и вычислительной логики.
- ^ Jump up to: а б с д и ж «Резюме Кита Кларка» (PDF) . Июнь 2018 года . Проверено 16 мая 2019 г.
- ^ «Логика предикатов как вычислительный формализм» . Лондонский университет . Проверено 9 января 2013 г.
- ^ «talks@bham: Управление правилами целенаправленных, реактивных, общающихся роботизированных агентов» . Бирмингемский университет . Проверено 16 мая 2019 г.
- ^ Кейт Л. Кларк на DBLP библиографическом сервере
- ^ «Домашняя страница Кита Кларка» . Проверено 11 мая 2023 г.
- ^ «Семантика временной логики для программ телеореактивных роботизированных агентов» . cse.cuhk.edu.hk. Китайский университет Гонконга.