推理程式是2008年公布的海峽兩岸信息科學技術名詞。
基本介紹
- 中文名：推理程式
- 外文名： inference program
- 所屬學科：信息科學技術
- 公布年度： 2008年
公布時間,出處,
公布時間
2008年全國科學技術名詞審定委員會公審定布的海峽兩岸信息科學技術名詞。
出處
《海峽兩岸信息科學技術名詞》。
推理程式是2008年公布的海峽兩岸信息科學技術名詞。
推理程式是2008年公布的海峽兩岸信息科學技術名詞。 公布時間2008年全國科學技術名詞審定委員會公審定布的海峽兩岸信息科學技術名詞。出處《海峽兩岸信息科學技術名詞》。...
邏輯程式設計將邏輯直接作為程式設計語言並將計算作為受控推理的一種程式設計技術。介紹 邏輯編程的要點是將正規的邏輯風格帶入電腦程式設計之中。數學家和哲學家發現邏輯是有效的理論分析工具。很多問題可以自然地表示成一個理論。說需要...
推理機是一組程式，用來控制、協調整個系統。是在一定的控制策略下，專家系統根據問題信息（用戶與專家系統交流的信息）及知識庫中的知識執行對問題的求解。設計推理機時，應使其推理過程和專家的推理過程相類似，最好是完全一致。在專家...
傳統邏輯對概念、判斷、推理、定義等等表征的研究，並不能夠由此也深入到深層混沌心理之中，因為，深層混沌心理表征無意識狀態。於是，內部邏輯化程式的研究，補充了傳統邏輯對立體認知、立體學習、立體教學深層混沌狀態研究的不足。內部邏輯...
同正向推理一樣，要實現反向推理也需要具備資料庫、知識庫和推理機三個部分。反向推理的工作程式為：先假設一個目標，之後在知識庫中找出結論部分導致這個目標的知識集合，再檢查每條知識的條件部分，如果某條知識的所有條件都能得到滿足，...
例如，在醫療診斷中，顯然需要表示 “事件（events） ” 和 “ 事件的過程（course-of-events） ”，即：不僅需要充分表達疾病的過程，而且需要指出疾病各個階段的症狀特徵；為故事理解而開發的程式需要有過去時的表示法；而規劃程式則...
通用解題程式，於1959年編制，美國心理學家A·紐厄爾、H·A·西蒙、J·C·肖，根據心理學實驗的某些共同規律，解決許多問題的電腦程式。通用解題程式，美國心理學家A·紐厄爾、H·A·西蒙、J·C·肖，根據心理學實驗發現的人類思維的...
《專家系統prolog程式設計》是1992年中山大學出版社出版的圖書，作者是 陳家發。內容簡介 本書著重介紹用Turbo PROLOG語言的基本語句來編寫多種推理形式的專家系統之方法和技巧，內容新穎，論述精煉，由淺入深，有大量精心設計的例子可助...
邏輯推理是“煙歌的行板”，你要徐步而行——邏輯推理是程式性思維，程式的展開是分步驟的，步驟的推進有時是緩慢的，它的節奏經常是“如歌的行板”。邏輯推理能力的訓練你要徐步而行，它不可能一蹴而就。《未名·邏輯達人叢書·...
隨著現代計算機多媒體技術的發展，美國邏輯學家兼計算機科學家巴懷斯和艾徹門迪(J. Etchemendy)設計出了“塔斯基世界”、“圖靈世界”和“超證明”三個計算機程式用於形式邏輯的教學，取得了較好效果。可視化推理通常涉及到邏輯學、心理學、...
雖然關於這種推理的要素、適用範圍以及程式還存在很大的爭議，但人們普遍認為它對於說明人的行動，確定人生規劃中的等級和優先順序，理解人們對行動的責任以及評價他人的行動，具有重要意義。一些理論工作者業已使用更為寬泛的實踐推理的概念去...
推理，邏輯學指思維的基本形式之一，是由一個或幾個已知的判斷（前提）推出新判斷（結論）的過程，有直接推理、間接推理等（見《現代漢語詞典（第6版）》第1323頁）。簡介 推理（英文：Reasoning）是“使用理智從某些前提（Premises）...
機率邏輯程式設計：語言語義學習與推理 《機率邏輯程式設計：語言語義學習與推理》是機械工業出版社出版的圖書，作者是[意]法布里齊奧·里古齊 （Fabrizio Riguzzi）
究竟那名真兇是誰呢？答案：疑犯與死者在沙堆打鬥後，必先要洗淨頭髮上的泥塵，而恐 怖分子及俠士都有頭髮，他們要在半小時內完成洗頭、吹頭、穿 衣服等程式，都要花很多時間，所以三名疑犯當中，就以飾演和尚的臨時演員嫌疑最大。
Raptor（the Rapid Algorithmic Prototyping Tool for Ordered Reasoning）是用於有序推理的快速算法原型工具，是一種可視化的程式設計環境，為程式和算法設計的基礎課程教學提供實驗環境。Raptor專門用於解決非可視化環境的語法困難和缺點，其目標...
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言，最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。高濟，何欽銘著,人工智慧基礎 （第二版）,高等教育出版社,2008.10,第67頁 關於邏輯編程...
基於規則的專家系統是個計算機程式，該程式使用一套包含在知識庫內的規則對工作存儲器內的具體問題信息（事實）進行處理，通過推理機推斷出新的信息。基於規則的專家系統不需要一個人類問題求解的精確匹配，而能夠通過計算機提供一個複製問題...
由上可見，金字塔原理其實就是“以結果為導向之論述過程”，或是“以結論為導向之邏輯推理程式”，其中，愈往金字塔上層之論述價值越高。此外，根據歸納法與梅切原則所論，支持結論之每一推論之子推論間均保持“相互排斥的，集體窮盡”，...
NVIDIA和谷歌分別宣布了首批在谷歌雲上使用L4的兩家機構——Descript和WOMBO，前者使用生成式AI幫助創作者製作視頻和播客，後者提供“Dream”這一AI驅動的文本-數字藝術轉換套用程式。Descript使用NVIDIA TensorRT來最佳化模型，加快了AI推理速度...
它發表於 Hoare 1969年的論文"計算機程式的公理基礎"中。這個系統的用途是為了使用嚴格的數理邏輯推理電腦程式的正確性提供一組邏輯規則。Hoare 認可 Robert Floyd的早期貢獻，他為流程圖提供了類似的系統。霍爾三元組 霍爾邏輯的中心特徵...
針對這種情況，公訴人可用歸謬法加以反駁，指出：如果盜竊他人非法所得的財產可以從輕處罰，那么放火燒掉甲盜竊的財產也就不必處罰了，同樣，不經法定程式，殺死一個殺過人的人也不必追究法律責任了。這樣反駁會使對方啞口無言。綜上可以看出...
另一方面，數理邏輯中形式化的概念和方法對於編制計算機程式、建立計算機語言以及試圖系統地用計算機證明定理也是有用的。分類 對於不同類型的推理可以構造不同的邏輯演算的形式系統,其中主要有命題邏輯、一階邏輯、高階邏輯、模態邏輯、構造...
演繹綜合法，簡稱“演繹法”，是從給定的軟體規約藉助演繹推理綜合出程式的方法。解釋 將數學中的構造性證明與軟體開發相聯繫，把開發步驟解釋為證明步驟，從證明中抽取相應的程式。最終將不可執行的規約轉換為可執行的目標語言程式。規則 ...
因此貝斯定理可以套用在許多不同的證據上，不論這些證據是一起出現或是不同時出現都可以，這個程式稱為貝斯更新（Bayesian updating）。貝葉斯推斷的描述 定義 x是數據點，可能是一個有許多數值形成的向量。是數據點分布的參數，也就是說...
他首先在英國的《泰晤士報》上發表，不久其他報紙也發表，很快便風靡全英國，之後他用了6年時間編寫了電腦程式，並將它放在網站上（這個網站也就是著名的數獨玩家論壇），後來因一些原因，網站被關閉，幸好數獨大師Glenn Fowler恢復了數據，...