Войти
Вычислительная логика - это использование логики для выполнения или обоснования вычисления. Он имеет такое же отношение к информатике и инженерии, как математическая логика имеет отношение к математике и как философская логика относится к философии.. Это синоним «логики в информатике ».
Термин «вычислительная логика» получил известность с основанием ACM Transactions on Computational Logic. Однако этот термин, по-видимому, был введен Дж. Робинсоном в статье 1970 г. в Proceedings of the Sixth Annual Machine Intelligence Workshop, Эдинбург, 1970 г., озаглавленной «Вычислительная логика: объединяющие вычисления» (Machine Intelligence 6: 63-72, Edinburgh University Press, 1971). Выражение используется во втором абзаце со сноской, в которой утверждается, что «вычислительная логика» (акцент сделан в статье) «безусловно, лучшая фраза, чем« доказательство теорем », для отрасли искусственного интеллекта, которая занимается созданием машин. делать дедукцию эффективно ". Похоже на создание термина; никаких упоминаний о предыдущем использовании не упоминается. В 1972 году Отделение метаматематики в Эдинбургском университете было переименовано в «Отдел вычислительной логики» в Школе искусственного интеллекта. Затем этот термин использовали Роберт С. Бойер и Дж. Стротер Мур, которые работали в Департаменте в начале 1970-х годов, для описания своей работы над проверкой программ и автоматическое рассуждение. Они также основали Computational Logic Inc.
Термин «вычислительная логика» также стал ассоциироваться с логическим программированием, потому что большая часть ранних работ по логическому программированию в начале 1970-х также потребовала место на факультете вычислительной логики в Эдинбурге. Он был повторно использован в начале 1990-х годов для описания работы над расширениями логического программирования в проекте фундаментальных исследований ЕС «Compulog» и в связанной с ним Сети передового опыта. Кшиштоф Апт, который был координатором проекта фундаментальных исследований Compulog-II, повторно использовал и обобщил этот термин, когда основал ACM Transactions on Computational Logic в 2000 году и стал его первым главным редактором.
