Вычислительная логика - Computational logic
Вычислительная логика - это использование логики для выполнения или обоснования вычислений . Он имеет такое же отношение к информатике и инженерии, как математическая логика к математике и как философская логика к философии . Это синоним « логики в информатике ».
Термин «вычислительная логика» стал известен с момента основания ACM Transactions on Computational Logic в 2000 году. Однако этот термин был введен намного раньше, Дж. А. Робинсоном в 1970 году. Выражение используется во втором абзаце с сноской, утверждающей, что «Вычислительная логика» - «определенно более подходящее словосочетание, чем« доказательство теорем »для отрасли искусственного интеллекта, которая занимается тем, как заставить машины выполнять дедукцию эффективно» .
В 1972 году Отделение метаматематики в Эдинбургском университете было переименовано в Отделение вычислительной логики в Школе искусственного интеллекта. Затем этот термин использовали Роберт С. Бойер и Дж. Стротер Мур , работавшие в Департаменте в начале 1970-х годов, для описания своей работы по верификации программ и автоматизированному мышлению . Они также основали Computational Logic Inc.
Вычислительная логика также стала ассоциироваться с логическим программированием , потому что большая часть ранних работ по логическому программированию в начале 1970-х годов также проводилась в Департаменте вычислительной логики в Эдинбурге. Он был повторно использован в начале 1990-х годов для описания работы над расширениями логического программирования в проекте фундаментальных исследований ЕС «Compulog» и в связанной с ним Сети передового опыта. Кшиштоф Апт, который был координатором проекта фундаментальных исследований Compulog-II, повторно использовал и обобщил этот термин, когда основал ACM Transactions on Computational Logic в 2000 году и стал его первым главным редактором.
Рекомендации
дальнейшее чтение
- Дов М. Габбай ; Йорг Х. Зикманн; Джон Вудс, ред. (2014). Справочник по истории логики . 9: Вычислительная логика. Эльзевир. ISBN 978-0-08-093067-1 .