WikiDer > Кейт Кларк (ученый-компьютерщик)

Keith Clark (computer scientist)

Кейт Л. Кларк
Родившийся1943 (76–77 лет)
НациональностьБританский
Альма-матерДаремский университет (Бакалавр, математика)
Кембриджский университет (Бакалавр нравственных наук)
ИзвестенОтрицание как неудача
Параллельное логическое программирование
апреля
Идти! Агент
Научная карьера
ПоляИскусственный интеллект на основе логики
Языки программирования на основе правил
УчрежденияИмперский колледж Лондон
Университет Квинсленда
Университет Нового Южного Уэльса
ТезисЛогика предикатов как вычислительный формализм (1980)
ДокторантРоберт Ковальски
ДокторантыЯн Фостер
Интернет сайтwww.doc.IC.ac.Великобритания/ ~ klc/

Кейт Леонард Кларк (родился 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 г.


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

  1. ^ Жан-Луи Лассез; Гордон Плоткин, ред. (1991). Вычислительная логика - Очерки в честь Алан Робинсон. Кембридж / Массачусетс: MIT Press. ISBN 0-262-12156-5.
  2. ^ "MathSoc Даремского университета". Facebook. 9 декабря 2015 г.. Получено 16 мая 2019. Профессор Кларк окончил наш факультет в 1964 году (Хатфилдский колледж), прежде чем начать карьеру в области искусственного интеллекта и вычислительной логики.
  3. ^ а б c d е ж "Кейт Кларк CV" (PDF). Июнь 2018 г.. Получено 16 мая 2019.
  4. ^ «Логика предикатов как вычислительный формализм». Лондонский университет. Получено 9 января 2013.
  5. ^ а б "talk @ bham: управление правилами для направленных, реактивных, общающихся роботов-агентов". Бирмингемский университет. Получено 16 мая 2019.
  6. ^ Кейт Л. Кларк в DBLP Сервер библиографии Отредактируйте это в Викиданных
  7. ^ «Семантика темпоральной логики для программ телеореактивных роботов». cse.cuhk.edu.hk. Китайский университет Гонконга.

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