Роберт Ковальски

• Образование и карьера Роберта Ковальски

  • Образование получил в Чикагском, Бриджпортском, Стэнфордском, Варшавском и Эдинбургском университетах. 
  • Работал в Эдинбургском университете, Имперском колледже Лондона, где стал профессором и получил кафедру вычислительной логики. 

• Научные достижения

  • Разработал SL-разрешение и процедуру доказательства графа связей. 
  • Внес вклад в разработку SLD-разрешения и процедурной интерпретации предложений Хорна. 
  • Совместно с Мартеном ван Эмденом разработал минимальную модель и семантику фиксированных точек. 
  • С Мареком Серго разработал событийный анализ и применение логического программирования к юридическим рассуждениям. 
  • С Фарибой Садри разработал агентную модель и абдуктивное логическое программирование. 

• Вклад в логику и искусственный интеллект

  • Утверждает, что логический вывод является мощной моделью решения задач, применимой как к людям, так и к компьютерам. 
  • Считает, что вычислительная логика может улучшить навыки общения на естественном языке и практические способности к решению проблем. 
  • Разработал логический и компьютерный язык LPS, объединяющий его предыдущие работы по вычислительной логике. 

• Почетные звания и награды

  • Избран членом Американской ассоциации искусственного интеллекта, Европейского координационного комитета по искусственному интеллекту и Ассоциации вычислительной техники. 
  • Получил премию IJCAI за вклад в логику представления знаний и решения задач. 
  • Награжден премией Японского общества содействия развитию науки и Первой премией Кодекса за работу по применению логического программирования. 

• Основополагающие работы

  • Опубликовал статью “Закон о британском гражданстве как логическая программа”, которая является одной из первых работ в области вычислительного права. 

• Книги

  • Автор книги “Логика для решения задач” и “Вычислительная логика и человеческое мышление”. 

• Дополнительная информация

  • Упоминаются другие области, связанные с логикой и искусственным интеллектом, включая исчисление событий, логическое программирование и Пролог. 
  • Ссылки на внешние ресурсы и биографические данные доступны на домашней странице Роберта Ковальски.