Кит Леонард Кларк (родился 29 марта 1943 года) является заслуженным профессором в Департаменте вычислительной техники в Имперском колледже Лондона , Англии . [1] : 723
Кейт Л. Кларк | |
---|---|
Родившийся | 1943 (77–78 лет) |
Национальность | Британский |
Альма-матер | Даремский университет (бакалавр математики) Кембриджский университет (бакалавр нравственных наук) |
Известен | Отрицание как сбой. Параллельное логическое программирование April Go! Агент |
Научная карьера | |
Поля | Искусственный интеллект на основе логики Языки программирования на основе правил |
Учреждения | Имперский колледж Лондонского университета Квинсленда Университет Нового Южного Уэльса |
Тезис | Логика предикатов как вычислительный формализм (1980) |
Докторант | Роберт Ковальски |
Докторанты | Ян Фостер |
Веб-сайт | www |
Образование
Кларк изучал математику в Даремском университете ( колледж Хэтфилд ), который окончил в 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 - это язык программирования, основанный на правилах, который является основным расширением языка TR, предложенного Нильсом Нильссоном для процедур телеореактивных процедур . TR является потомком обобщенных иерархических планов STRIPS с треугольными таблицами , планировщиком робота Шейки , первого робота-рассуждающего. QuLog - это гибко типизированный гибридный язык, сочетающий логическое программирование , функциональное программирование и многопоточное программирование действий агента. TeleoR - это синтаксическое расширение QuLog для конкретного приложения.
Деловые интересы
В 1980 году вместе с коллегой Фрэнком МакКейбом он основал дочернюю компанию Имперского колледжа, Logic Programming Associates , для разработки и продвижения систем Prolog для микрокомпьютеров (micro-Prolog) и предоставления консультаций по экспертным системам и другим приложениям логического программирования. [3] [7] Звездным продуктом компании был MacProlog. У него был пользовательский интерфейс, использующий все примитивы графического пользовательского интерфейса Mac OS, а также примитивы, позволяющие создавать приложения на основе Prolog со специальными интерфейсами. Кларк также выступал в качестве консультанта IBM , Hewlett-Packard и Fujitsu среди других компаний. [3]
Избранные публикации
- К.Л. Кларк, Д. Коуэлл, Программы, машины и вычисления , McGraw-Hill , Лондон, 1976.
- KL Clark, SA. Тарнлунд, Теория данных и программ первого порядка, Proc. Конгресс ИФИП , Торонто, 939–944 стр., 1977.
- К.Л. Кларк, Отрицание как отказ, Логика и базы данных (ред. Галлер и Минкер), Plenum Press , Нью-Йорк, 293–322 стр., 1978 г. (Также в «Чтениях по немонотонному мышлению» (ред. М. Гинзберг), Морган Кауфман , 311–325, 1987.)
- К.Л. Кларк, С. Грегори, Реляционный язык для параллельного программирования, Proc. Конференция ACM по функциональным языкам и компьютерной архитектуре , ACM, Нью-Йорк, 171–178 стр., 1981. (Также в Concurrent Prolog, (ed. E Shapiro), MIT Press, 9–26 стр., 1987.)
- KL Clark, SA. Тарнлунд (ред.), Логическое программирование , Academic Press , Лондон, 1982.
- К.Л. Кларк, Ф.Г. Маккейб, micro-PROLOG: Программирование в логике , Prentice-Hall International, 1984.
- К.Л. Кларк, И. Фостер, Декларативная среда для параллельного логического программирования, Труды коллоквиума по функциональному и логическому программированию и спецификации, LNCS 250, Springer-Verlag, 212 - 242 pp, 1987
- К.Л. Кларк, Схемы логического программирования и их реализации, Вычислительная логика (изд Лассез и Плоткин), MIT Press, 1991.
- FG McCabe, KL Clark, апрель - язык взаимодействия процессов агента, в Intelligent Agents , (ред. Н. Дженнингс, М. Вулдридж), LNAI , Vol. 890, Springer-Verlag , 1995.
- Н. Скармеас, К.Л. Кларк, Маршрутизация на основе контента как основа для внутриагентной коммуникации, Труды International WS по теории, архитектуре и языкам агентов 98, Интеллектуальные агенты V, (ред. Дж. П. Мулер и др.), Springer-Verlag, LNAI 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.
- ^ "MathSoc Даремского университета" . Facebook . 9 декабря 2015 . Дата обращения 16 мая 2019 .
Профессор Кларк окончил наш факультет в 1964 году (колледж Хэтфилд), прежде чем начать карьеру в области искусственного интеллекта и вычислительной логики.
- ^ а б в г д е "Резюме Кейта Кларка" (PDF) . Июнь 2018 . Дата обращения 16 мая 2019 .
- ^ «Логика предикатов как вычислительный формализм» . Лондонский университет . Проверено 9 января 2013 года .
- ^ а б "talk @ bham: Управление правилами направленных на цель, реактивных, общающихся роботов-агентов" . Бирмингемский университет . Дата обращения 16 мая 2019 .
- ^ Кейт Л. Кларк насервере библиографии DBLP
- ^ "Темпоральная логическая семантика для телеореактивных программ роботов-агентов" . cse.cuhk.edu.hk . Китайский университет Гонконга.
Внешние ссылки
- Домашняя страница Кита Кларка