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

Роберт Ковальски Образование и карьера Роберта Ковальски Образование получил в Чикагском, Бриджпортском, Стэнфордском, Варшавском и Эдинбургском университетах.  Работал в Эдинбургском […]

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

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

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

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

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

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

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

    • Автор книги «Логика для решения задач» и «Вычислительная логика и человеческое мышление». 
  • Дополнительная информация

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

Полный текст статьи:

Роберт Ковальски — Википедия

Оставьте комментарий

Прокрутить вверх