Вычислительная логика - это использование логики для выполнения или обоснования вычислений . Он имеет такое же отношение к информатике и инженерии, как математическая логика к математике и как философская логика к философии . Это синоним « логики в информатике ».
Термин «вычислительная логика» приобрел известность с основанием ACM Transactions on Computational Logic в 2000 году. [1] Однако этот термин был введен намного раньше, Дж. А. Робинсоном в 1970 году. [2] Выражение используется во втором. абзац со сноской, утверждающей, что «вычислительная логика» - «безусловно, более подходящее словосочетание, чем« доказательство теорем », для отрасли искусственного интеллекта, которая занимается тем, как заставить машины выполнять дедукцию эффективно» .
В 1972 году Отделение метаматематики в Эдинбургском университете было переименовано в «Отдел вычислительной логики» в Школе искусственного интеллекта. [3] Затем этот термин использовали Роберт С. Бойер и Дж. Стротер Мур , работавшие в Департаменте в начале 1970-х годов, для описания своей работы по верификации программ и автоматизированному мышлению . Они также основали Computational Logic Inc.
Вычислительная логика также стала ассоциироваться с логическим программированием , потому что большая часть ранних работ по логическому программированию в начале 1970-х годов также проводилась в Департаменте вычислительной логики в Эдинбурге. Он был повторно использован в начале 1990-х годов для описания работы над расширениями логического программирования в проекте фундаментальных исследований ЕС «Compulog» и в связанной с ним Сети передового опыта. Кшиштоф Апт, который был координатором проекта фундаментальных исследований Compulog-II, повторно использовал и обобщил этот термин, когда основал ACM Transactions on Computational Logic в 2000 году и стал его первым главным редактором.
Рекомендации
- ^ http://tocl.acm.org официальный сайт ACM Transactions on Computational Logic
- Перейти ↑ Robinson, JA (1970). «Вычислительная логика: объединение вычислений» . В Мельцере, Бернар; Мичи, Дональд (ред.). Материалы шестого ежегодного семинара по машинному интеллекту . Машинный интеллект. 6 . Издательство Эдинбургского университета (опубликовано в 1971 г.). С. 63–72. ISBN 085224195X.
- ^ http://homepages.inf.ed.ac.uk/bundy/ Сайтпрофессора Алана Банди
дальнейшее чтение
- Дов М. Габбай ; Йорг Х. Зикманн; Джон Вудс, ред. (2014). Справочник по истории логики . 9: Вычислительная логика. Эльзевир. ISBN 978-0-08-093067-1.