Роберт Ковальски - Robert Kowalski
Роберт Ковальски | |
---|---|
Родился | Бриджпорт, Коннектикут, США | 15 мая 1941 г.
Национальность | Британский |
Гражданство | Натурализованный гражданин Великобритании |
Альма-матер | Чикагский университет Университет Бриджпорта Стэндфордский Университет Варшавский университет Эдинбургский университет |
Известен | Логическое программирование Исчисление событий |
Награды | Премия IJCAI за научные достижения (2011) |
Научная карьера | |
Поля | Логика Информатика |
Учреждения | Эдинбургский университет Имперский колледж Лондон |
Тезис | Исследования полноты и эффективности доказательства теорем по разрешению (1970) |
Докторант | Бернард Мельцер |
Докторанты | Дэвид Х. Д. Уоррен Кейт Кларк |
Роберт Энтони Ковальски (родился 15 мая 1941 г.) логик и специалист в области информатики, чьи исследования связаны с разработкой как ориентированных на человека моделей вычислений, так и вычислительных моделей человеческого мышления. Большую часть своей карьеры он провел в Соединенном Королевстве.
Образование
Он получил образование в Чикагский университет, Университет Бриджпорта (Бакалавр математики, 1963 г.), Стэндфордский Университет (Магистр математики, 1966 г.), Варшавский университет и Эдинбургский университет (Кандидат Информатика, 1970).
Карьера
Он был научный сотрудник на Эдинбургский университет (1970–75) и был на Департамент вычислительной техники, Имперский колледж Лондона с 1975 г. занимая кафедру Вычислительная логика в 1982 г. и стал почетным профессором в 1999 г.
Он начал свои исследования в области автоматическое доказательство теорем, развивая как SL-разрешение[2] с Дональдом Кюнером и процедурой доказательства графа соединений.[3] Он разработал Разрешение SLD и процедурная интерпретация Роговые оговорки[4], которые лежат в основе операционной семантики обратное рассуждение в логическое программирование. С Маартеном ван Эмденом.[5], он также разработал минимальную модель и семантику фиксированных точек предложений Хорна, которые лежат в основе логической семантики логического программирования.
Вместе с Мареком Серго он разработал как исчисление событий[6] и применение логического программирования к юридическое обоснование.[7][8] Вместе с Фарибой Садри он разработал агентскую модель.[9][10] в котором убеждения представлены логическими программами, а цели представлены ограничения целостности.
Ковальский был одним из разработчиков Абдуктивное логическое программирование, в котором логические программы дополняются ограничениями целостности и неопределенными сокращаемыми предикатами.[11][12] Эта работа привела к демонстрации с Фан Минь Зунгом и Франческой Тони, что большинство логик для рассуждений по умолчанию можно рассматривать как частные случаи основанных на предположениях аргументация.[13][14]
В своей книге 1979 г. Логика решения проблем,[15] Ковальски утверждает, что логический вывод обеспечивает простую и мощную модель решения проблем, которую могут использовать как люди, так и компьютеры. В своей книге 2011 года Вычислительная логика и человеческое мышление - как быть искусственным интеллектом,[16] он утверждает, что использование вычислительной логики может помочь обычным людям улучшить свои навыки общения на естественном языке и что в сочетании с теорией принятия решений ее можно использовать для улучшения их практических способностей к решению проблем.
Совсем недавно в совместной работе с Фарибой Садри он разработал логический и компьютерный язык LPS.[17], (Logic Production Systems), который объединяет большую часть его предыдущих работ по вычислительной логике.
Почести и награды
Ковальский был избран членом Американская ассоциация искусственного интеллекта в 1991 г., Европейский координационный комитет по искусственному интеллекту в 1999 г. и Ассоциация вычислительной техники в 2001 г. Он получил Премия IJCAI за научные достижения «За его вклад в логику представления знаний и решения проблем, включая новаторскую работу по автоматическому доказательству теорем и логическому программированию» в 2011 г. [18], а Японское общество содействия науке Премия выдающимся ученым за 2012-2014 гг.[19].
Книги
- Логика решения проблем, Северная Голландия, Эльзевир, 1979.
- Вычислительная логика и человеческое мышление: как быть искусственным интеллектом, Издательство Кембриджского университета, 2011.
Смотрите также
использованная литература
- ^ http://www.doc.ic.ac.uk/~rak/history.html
- ^ Ковальский, Р., Кюнер, Д., «Линейное разрешение с функцией выбора», в «Искусственный интеллект», Vol. 2. 1971, с. 227–260. Перепечатано в Антология статей с автоматическим доказательством теорем, Vol. 2, Springer-Verlag, 1983, стр. 542–577.
- ^ Ковальский, Р., "Процедура доказательства с использованием графов соединений", в Журнал ACM Vol. 22, № 4, 1975, стр. 572–595.
- ^ Ковальски, Р., «Логика предикатов как язык программирования», в материалах Конгресса IFIP, Стокгольм, North Holland Publishing Co., 1974, стр. 569–574. Перепечатано в «Компьютеры для приложений искусственного интеллекта» (ред. Ва, Б. и Ли, Г.-Дж.), Пресса IEEE Computer Society, Лос-Анджелес, 1986, стр. 68–73.
- ^ ван Эмден, М. и Ковальски, Р., "Семантика логики предикатов как язык программирования", в Журнал ACM, Vol. 23, № 4, 1976, стр. 733–742.
- ^ Ковальский, Р. и Сергот, М., «Логическое исчисление событий», в Вычислительная техника нового поколения, Vol. 4, № 1, февраль 1986 г., стр. 67–95. Также в Системы управления базой знаний(ред. К. Танос и Дж. У. Шмидт), Springer-Verlag, стр. 23–51. Также в «Язык времени: читатель» (ред. Индерджит Мани, Дж. Пустейовский и Р. Гайзаускас). Oxford University Press, 2005.
- ^ Сергот, М., Садри, Ф., Ковальски, Р., Кривачек, Ф., Хаммонд, П., и Кори, Т., "Закон о британском гражданстве как логическая программа", в Коммуникации ACM, Vol. 29, № 5, 1986, стр. 370–386.
- ^ Ковальски, Р., «Законодательство как логические программы», в «Логическое программирование в действии» (ред. Г. Комин, Н. Э. Фукс, М. Дж. Рэтклифф), Springer-Verlag, 1992, стр. 203–230.
- ^ Ковальски, Р., "Использование Metalogic для согласования реакции с рациональными агентами". В Мета-логика и логическое программирование (К. Апт и Ф. Турини, ред.), MIT Press, 1995.
- ^ Ковальский, Р. и Садри, Ф., "От логического программирования к многоагентным системам", Анналы математики и искусственного интеллекта, Том 25 (1999), стр. 391–419.
- ^ Эшги К. и Ковальски Р. «Похищение посредством дедукции». Департамент вычислительной техники, Имперский колледж, 1988.
- ^ Какас, Т., Ковальски, К. и Тони, Ф., "Абдуктивное логическое программирование". Журнал логики и вычислений, 1992, т. 2 № 6, с. 719–770.
- ^ Бондаренко, А., Данг, П. М., Ковальски, Р., Тони, Ф. «Абстрактный теоретико-аргументационный подход к аргументации по умолчанию». Журнал искусственного интеллекта, 93 (1–2), 1997, стр. 63–101.
- ^ Данг, П. М., Ковальский, Р., Тони, Ф. "Процедуры диалектического доказательства для допустимых допустимых аргументов". Журнал искусственного интеллекта, 170 (2), февраль 2006 г., стр. 114–159.
- ^ Ковальский, Р.А., 1979. [1] Логика для решения проблем, Эльзевир, Северная Голландия.
- ^ Ковальский, Р.А., 2011. [2] Вычислительная логика и человеческое мышление - как быть искусственным интеллектом, Cambridge University Press.
- ^ http://lps.doc.ic.ac.uk
- ^ [3]
- ^ [4]