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