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

Роберт Ковальски
Роберт Ковальски
Рожденный	15 мая 1941 г. (83 года) ; Бриджпорт , Коннектикут, США
Национальность	Британский
Альма-матер	Чикагский университет ; Университет Бриджпорта ( бакалавр ) ; Стэнфордский университет ( магистр ) ; Варшавский университет ; Эдинбургский университет ( доктор философии )
Известный	Логическое программирование ; Пролог ; Оговорка о роге ; Исчисление событий
Награды	Премия IJCAI за выдающиеся достижения в области исследований (2011 г.)
	Научная карьера
Поля	Логика ; Информатика
Учреждения	Эдинбургский университет ; Имперский колледж Лондон
Тезис	Исследования полноты и эффективности доказательства теорем резолюцией (1970)
Докторантура	Бернард Мельцер
Докторанты	Кейт Кларк ; Франческа Тони ; Дэвид Х.Д. Уоррен ;

Роберт Энтони Ковальски (родился 15 мая 1941 года) — американо-британский логик и ученый-компьютерщик , чьи исследования связаны с разработкой как человеко-ориентированных моделей вычислений, так и вычислительных моделей человеческого мышления. ^[1] Большую часть своей карьеры он провёл в Великобритании .

Образование [ править ]

Он получил образование в Чикагском университете , Бриджпортском университете (бакалавр математики, 1963), Стэнфордском университете (магистр математики, 1966), Варшавском университете и Эдинбургском университете (доктор компьютерных наук , 1970). ^[1]

Карьера [ править ]

Он был научным сотрудником в Эдинбургском университете (1970–75) и работал на факультете вычислительной техники Имперского колледжа Лондона с 1975 года, заняв кафедру вычислительной логики в 1982 году и став почетным профессором в 1999 году. ^[1]

Начал свои исследования в области автоматизированного доказательства теорем , разработав как SL-разрешение, так и ^[2] с Дональдом Кюнером и процедурой доказательства графа связей. ^[3] Он разработал резолюцию SLD и процедурную интерпретацию статей Хорна . ^[4]которые лежат в основе операционной семантики обратных рассуждений в логическом программировании . С Мартеном ван Эмденом, ^[5] он также разработал минимальную модель и семантику фиксированной точки предложений Хорна, которые лежат в основе логической семантики логического программирования.

Вместе с Мареком Серго он разработал исчисление событий ^[6] и применение логического программирования к юридическим рассуждениям . ^[7]^[8] Вместе с Фарибой Садри он разработал агентскую модель. ^[9]^[10] в котором убеждения представлены логическими программами, а цели представлены ограничениями целостности .

Ковальский был одним из разработчиков абдуктивного логического программирования , в котором логические программы дополняются ограничениями целостности и неопределенными, сокращаемыми предикатами. ^[11]^[12] Эта работа привела к демонстрации совместно с Фан Минь Зунгом и Франческой Тони , основанной на предположениях того, что большинство логических рассуждений по умолчанию можно рассматривать как особые случаи аргументации . ^[13]^[14]

В своей книге 1979 года « Логика для решения проблем » ^[15]Ковальски утверждает, что логический вывод обеспечивает простую и мощную модель решения проблем, которую могут использовать как люди, так и компьютеры. В своей книге 2011 года « Вычислительная логика и человеческое мышление: как стать искусственным интеллектом » ^[16] он утверждает, что использование вычислительной логики может помочь обычным людям улучшить свои навыки общения на естественном языке и что в сочетании с теорией принятия решений ее можно использовать для улучшения их практических способностей к решению проблем.

Совместно с Фарибой Садри он разработал логический и компьютерный язык LPS. ^[17](Logic Production Systems), который объединяет большую часть его предыдущих работ по вычислительной логике. Он продолжил свой интерес к развитию искусственного интеллекта . ^[18]

Почести и награды [ править ]

Ковальски был избран членом Американской ассоциации искусственного интеллекта в 1991 году, Европейского координационного комитета по искусственному интеллекту в 1999 году и Ассоциации вычислительной техники в 2001 году. ^[1] В 2011 году он получил премию IJCAI за выдающиеся достижения в области исследований «за вклад в логику для представления знаний и решения проблем, включая новаторскую работу по автоматизированному доказательству теорем и логическому программированию». ^[19] В 2012 году он получил премию Японского общества содействия науке для выдающихся ученых за 2012–2014 годы. ^[20] В 2021 году он получил первую премию CodeX за работу с Фарибой Садри и Мареком Серго «в знак признания их работы по применению логического программирования для формализации и анализа Закона о британском гражданстве». Основополагающая статья авторов «Британцы» Закон о гражданстве как логическая программа», опубликованная в 1986 году в журнале Communications of the ACM , является одной из первых и самых известных работ в области вычислительного права и одной из наиболее широко цитируемых статей в этой области. ^[21]

Книги [ править ]

Логика решения проблем , Северная Голландия , Elsevier , 1979.
Вычислительная логика и человеческое мышление: как стать искусственным интеллектом , Cambridge University Press , 2011.

См. также [ править ]

Ссылки [ править ]

^ Перейти обратно: ^а ^б ^с ^д «Интервью с Робертом (Бобом) Ковальски» . Архивы ИТ . Проверено 3 августа 2023 г.
^ Ковальски Р. и Кюнер Д., «Линейное разрешение с функцией выбора», в журнале «Искусственный интеллект» , Vol. 2, 1971, стр. 227–260. Перепечатано в Антологии статей по автоматизированному доказательству теорем , Vol. 2, Springer-Verlag , 1983, стр. 542–577.
^ Ковальски Р., «Процедура доказательства с использованием графов соединений», в журнале ACM Vol. 22, № 4, 1975, стр. 572–595.
^ Ковальски, Р., «Логика предикатов как язык программирования», в материалах Конгресса ИФИП, Стокгольм, North-Holland Publishing Co. , 1974, стр. 569–574. Перепечатано в журнале «Компьютеры для приложений искусственного интеллекта» (ред. Ва, Б. и Ли, Дж.-Дж.), IEEE Computer Society Press , Лос-Анджелес, 1986, стр. 68–73.
^ ван Эмден М. и Ковальски Р., «Семантика логики предикатов как языка программирования», в журнале ACM , Vol. 23, № 4, 1976, стр. 733–742.
^ Ковальски Р. и Серго М., «Логическое исчисление событий», в New Generation Computing , Vol. 4, № 1, февраль 1986 г., стр. 67–95. Также в «Системах управления базой знаний» (ред. К. Таноса и Дж. В. Шмидта), Springer-Verlag, стр. 23–51. Также в книге «Язык времени: читатель» (ред. Индерджит Мани, Дж. Пустейовский и Р. Гайзаускас). Издательство Оксфордского университета , 2005.
^ Серго М., Садри Ф., Ковальски Р., Кривачек Ф., Хаммонд П. и Кори Т., «Закон о британском гражданстве как логическая программа», в Communications of the ACM , Vol. . 29, № 5, 1986, стр. 370–386.
^ Ковальски, Р., «Законодательство как логические программы», в книге «Логическое программирование в действии» (ред. Г. Комин, Н. Е. Фукс, М. Дж. Рэтклифф), Springer-Verlag, 1992, стр. 203–230.
^ Ковальски, Р., «Использование металогики для согласования реактивных и рациональных агентов». В «Металогике и логическом программировании» (К. Апт и Ф. Турини, ред.), MIT Press , 1995.
^ Ковальски Р. и Садри Ф., «От логического программирования к многоагентным системам», Анналы математики и искусственного интеллекта , том 25 (1999), стр. 391–419.
^ Эшги К. и Ковальски Р., «Похищение посредством дедукции». Факультет вычислительной техники , Имперский колледж , 1988 год.
^ Какас Т., Ковальски К. и Тони Ф., «Программирование абдуктивной логики». Журнал логики и вычислений , 1992, Vol. 2 № 6, стр. 719–770.
^ Бондаренко А., Дунг П.М., Ковальски Р. и Тони Ф. «Абстрактный теоретико-аргументационный подход к рассуждениям по умолчанию». Журнал искусственного интеллекта , 93 (1–2), 1997, стр. 63–101.
^ Дунг, П.М., Ковальски, Р. и Тони, Ф. «Процедуры диалектического доказательства допустимой аргументации, основанной на предположениях». Журнал искусственного интеллекта , 170 (2), февраль 2006 г., стр. 114–159.
^ Ковальски, Р.А., 1979. [1] Логика для решения проблем, Elsevier, Северная Голландия.
^ Ковальски, Р.А., 2011. [2] Вычислительная логика и человеческое мышление - Как стать искусственным интеллектом, Издательство Кембриджского университета.
^ «ЛПС | Логические производственные системы» . Великобритания: Имперский колледж Лондона .
^ « Может ли ИИ помочь людям стать более умными?» с Робертом Ковальски» . Арт-ИИ . ВЕЛИКОБРИТАНИЯ. 20 июня 2023 г. Проверено 3 августа 2023 г.
^ «Рецензия на книгу: Вычислительная логика и человеческое мышление: как стать искусственным интеллектом - Ассоциация логического программирования» .
^ «Награды JSPS выдающимся ученым» . www.jsps.go.jp.
^ «Новая премия CodeX вручена пионерам вычислительного права во время 9-й ежегодной конференции CodeX FutureLaw» . Стэнфордская юридическая школа . 8 апреля 2021 г.

Внешние ссылки [ править ]

[archivesit-1] Перейти обратно: ^а ^б ^с ^д «Интервью с Робертом (Бобом) Ковальски» . Архивы ИТ . Проверено 3 августа 2023 г.

[2] Ковальски Р. и Кюнер Д., «Линейное разрешение с функцией выбора», в журнале «Искусственный интеллект» , Vol. 2, 1971, стр. 227–260. Перепечатано в Антологии статей по автоматизированному доказательству теорем , Vol. 2, Springer-Verlag , 1983, стр. 542–577.

[3] Ковальски Р., «Процедура доказательства с использованием графов соединений», в журнале ACM Vol. 22, № 4, 1975, стр. 572–595.

[4] Ковальски, Р., «Логика предикатов как язык программирования», в материалах Конгресса ИФИП, Стокгольм, North-Holland Publishing Co. , 1974, стр. 569–574. Перепечатано в журнале «Компьютеры для приложений искусственного интеллекта» (ред. Ва, Б. и Ли, Дж.-Дж.), IEEE Computer Society Press , Лос-Анджелес, 1986, стр. 68–73.

[5] ван Эмден М. и Ковальски Р., «Семантика логики предикатов как языка программирования», в журнале ACM , Vol. 23, № 4, 1976, стр. 733–742.

[6] Ковальски Р. и Серго М., «Логическое исчисление событий», в New Generation Computing , Vol. 4, № 1, февраль 1986 г., стр. 67–95. Также в «Системах управления базой знаний» (ред. К. Таноса и Дж. В. Шмидта), Springer-Verlag, стр. 23–51. Также в книге «Язык времени: читатель» (ред. Индерджит Мани, Дж. Пустейовский и Р. Гайзаускас). Издательство Оксфордского университета , 2005.

[7] Серго М., Садри Ф., Ковальски Р., Кривачек Ф., Хаммонд П. и Кори Т., «Закон о британском гражданстве как логическая программа», в Communications of the ACM , Vol. . 29, № 5, 1986, стр. 370–386.

[8] Ковальски, Р., «Законодательство как логические программы», в книге «Логическое программирование в действии» (ред. Г. Комин, Н. Е. Фукс, М. Дж. Рэтклифф), Springer-Verlag, 1992, стр. 203–230.

[9] Ковальски, Р., «Использование металогики для согласования реактивных и рациональных агентов». В «Металогике и логическом программировании» (К. Апт и Ф. Турини, ред.), MIT Press , 1995.

[10] Ковальски Р. и Садри Ф., «От логического программирования к многоагентным системам», Анналы математики и искусственного интеллекта , том 25 (1999), стр. 391–419.

[11] Эшги К. и Ковальски Р., «Похищение посредством дедукции». Факультет вычислительной техники , Имперский колледж , 1988 год.

[12] Какас Т., Ковальски К. и Тони Ф., «Программирование абдуктивной логики». Журнал логики и вычислений , 1992, Vol. 2 № 6, стр. 719–770.

[13] Бондаренко А., Дунг П.М., Ковальски Р. и Тони Ф. «Абстрактный теоретико-аргументационный подход к рассуждениям по умолчанию». Журнал искусственного интеллекта , 93 (1–2), 1997, стр. 63–101.

[14] Дунг, П.М., Ковальски, Р. и Тони, Ф. «Процедуры диалектического доказательства допустимой аргументации, основанной на предположениях». Журнал искусственного интеллекта , 170 (2), февраль 2006 г., стр. 114–159.

[15] Ковальски, Р.А., 1979. [1] Логика для решения проблем, Elsevier, Северная Голландия.

[16] Ковальски, Р.А., 2011. [2] Вычислительная логика и человеческое мышление - Как стать искусственным интеллектом, Издательство Кембриджского университета.

[17] «ЛПС | Логические производственные системы» . Великобритания: Имперский колледж Лондона .

[18] « Может ли ИИ помочь людям стать более умными?» с Робертом Ковальски» . Арт-ИИ . ВЕЛИКОБРИТАНИЯ. 20 июня 2023 г. Проверено 3 августа 2023 г.

[19] «Рецензия на книгу: Вычислительная логика и человеческое мышление: как стать искусственным интеллектом - Ассоциация логического программирования» .

[20] «Награды JSPS выдающимся ученым» . www.jsps.go.jp.

[21] «Новая премия CodeX вручена пионерам вычислительного права во время 9-й ежегодной конференции CodeX FutureLaw» . Стэнфордская юридическая школа . 8 апреля 2021 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Германия Израиль Соединенные Штаты Япония Чешская Республика Корея Нидерланды Польша
академики	Ассоциация вычислительной техники ДБЛП MathSciNet Проект математической генеалогии zbMATH
Другой	ИдРеф