自動邏輯推理（automated logic inference）2008年公布的信息科學技術名詞。
基本介紹
- 中文名：自動邏輯推理
- 外文名：automated logic inference
- 所屬學科：信息科學技術
- 公布時間：2008年
- 審定機構：全國科學技術名詞審定委員會
公布時間,出處,
自動邏輯推理
相關詞條
- 自動邏輯推理
自動邏輯推理（automated logic inference）2008年公布的信息科學技術名詞。公布時間2008年，經全國科學技術名詞審定委員會審定發布。出處《海峽兩岸信息科學技術名詞》。1...
- 自動推理
自動推理，人工智慧學科的一個重要研究課題。在計算機支持下實現推理，以求解問題。沿革 在20世紀60年代中期以前，定理機器證明的注意力還僅僅限於數學方面。從60年代後期，開始將注意力轉向數學以外的其他領域，如程式自動生成、邏輯程式...
- 自動推理機
自動推理機(Automation Inference Engine)是人工智慧系統中用於實現信息推理的部件，是基於輸入歸納總結規律，並用輸入和總結的規律演繹結論的推理系統。自動推理機對外使用工作循環，從外界獲得事實並使用推理引擎推導結論。同時自動推理機不斷...
- 邏輯推理機
邏輯推理機，是可自動進行推理的計算機。原理 其輸入是所要求證明的推理目標、有關的變數以及前提和假設；輸出是關於推理目標的證明結論、有關的解釋以及上述變數的值。特點 邏輯推理機必須是完善的：既不能給出錯誤的推理結果，又必須給...
- 自動認識邏輯
在自動認識邏輯中的公式可以用來捕獲基於事實知識的推理。例如， 意味著如果不知道 是真的，則假定它為假。這是一種形式的否定為失敗。語義 自動認識邏輯的語義基於的是理論的展開(expansion)，它扮演的角色類似於命題邏輯中的模型。命題...
- 反向推理機
（1）演繹推理和歸納推理 演繹推理是從一般性較大的前提推理出一般性較小的結論的推理方式，它是從具有一般性的原理或原則中推理出關於個別事物的結論，其思維過程是由一般到個別。這種推理方式的結論和前提的聯繫是必然的，只要前提真實...
- 非標準邏輯中的自動演繹
這類問題就屬於用非單調邏輯的常識推理。已出現一些運用非單調邏輯的自動演繹系統，但理論根據還不充分。參考書目 L.Linsky，ed.， Reference andModality，Oxford Univ.Press,London,1971.D.G.Bobrow,ed., Special Issue on Non-...
- 自動定理證明
證明系統(proof system)是套用公理演繹出定理(theorems)的合法演繹規則的集合。所謂演繹，也叫歸約(deduction)，是對證明系統中合法推理規則的一次套用。在一個簡單的演繹步驟中，可以從公理導出結論(conclusion)，中間可以利用這些規則演繹出...
- 推理程式
推理程式 推理程式是2008年公布的海峽兩岸信息科學技術名詞。 公布時間 2008年全國科學技術名詞審定委員會公審定布的海峽兩岸信息科學技術名詞。出處 《海峽兩岸信息科學技術名詞》。
- SUMO(一種思維方式)
①自動推理：SUMO將適用於支持自動邏輯推論以支持基於知識庫的推論系統。②互操作能力：SUMO將為不同的軟體和資料庫應用程式的互操作能力提供基礎：③開發人員可以參照公共本體定義新的數據項，並與其他系統獲得一定程度上的兼容。④基於與...
