目錄
- 1 計算邏輯
計算邏輯
編輯計算邏輯是使用邏輯來執行或推理計算的。它與計算機科學和工程的關系類似于數理邏輯與數學的關系以及哲學邏輯與哲學的關系。它是計算機科學中邏輯的同義詞。"計算邏輯"這個術語隨著2000年ACM計算邏輯論文集的成立而變得突出起來。然而，這個術語的提出要早得多，是由J.A.Robinson在1970年提出的。這個表述用在第二段，并有一個腳注，聲稱計算邏輯肯定是一個比'定理證明'更好的短語，因為人工智能的分支是處理如何讓機器有效地做推理。1972年，愛丁堡大學的元數學組被改名為人工智能學院的"計算邏輯系"。隨后，70年代初在該系工作的RobertS.Boyer和JStrotherMoore用這個詞來描述他們在程序驗證和自動推理方面的工作。他們還成立了計算邏輯公司。
計算邏輯也開始與邏輯編程聯系在一起，因為70年代初邏輯編程的許多早期工作也發生在愛丁堡的計算邏輯系。在20世紀90年代初，它被重新用于描述歐盟基礎研究項目Compulog和相關卓越網絡中的邏輯編程擴展工作。KrzysztofApt是Compulog-II基礎研究項目的協調人，他在2000年創立ACM計算邏輯論文集并成為其xxx任主編時重新使用并概括了這個術語。
內容由匿名用戶提供，本內容不代表www.gelinmeiz.com立場，內容投訴舉報請聯系www.gelinmeiz.com客服。如若轉載，請注明出處：http://www.gelinmeiz.com/167693/