約束推理（constraint reasoning）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：約束推理
- 外文名：constraint reasoning
- 所屬學科：計算機科學技術
- 公布時間：2018年
- 審定機構：全國科學技術名詞審定委員會
定義,出處,
定義
從約束滿足問題的表示到約束求解等的各種推理技術。
出處
《計算機科學技術名詞 》第三版。
約束推理
相關詞條
- 約束推理
約束推理（constraint reasoning）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義從約束滿足問題的表示到約束求解等的各種推理技術。1出處《計算機科學技術名詞 》第三版。...
- 完整性約束推理
完整性約束推理 完整性約束推理（inference based on integrity constraint）是2018年公布的計算機科學技術名詞。定義 利用數據的完整性約束建立推理通道，推導出隱含數據的推理方法。出處 《計算機科學技術名詞 》第三版。
- 約束推理與約束程式
《約束推理與約束程式》是依託吉林大學，由孫吉貴擔任項目負責人的面上項目。項目摘要 約束程式設計與約束推理研究在強烈的套用背景驅動下，近幾年受到了國外學術界和產業界的重視。本項申請將研究分層約束邏輯程式和部分約束邏輯程式的語義...
- 自動推理
自動推理的研究內容有模型生成與定理機器證明、程式正確性驗證、邏輯程式設計、常識推理、非單調推理、模糊推理、約束推理、定性推理、類比推理、歸納推理、自然演繹法、歸結方法、重寫方法、吳方法等。自動推理的近期目標是得到各種推理程式，...
- 有限約束
含導數的約束，如G(x,y,z,y',z')=0，稱為微分約束或非完整約束。極值 極值是變分法的一個基本概念。泛函在容許函式的一定範圍內取得的最大值或最小值，分別稱為極大值或極小值，統稱為極值。使泛函達到極值的變元函式稱為...
- 組合約束求解過程及其在程式驗證中的套用
而傳統的驗證技術運用單一的約束求解算法進行推理，從一定程度上束縛了驗證技術的套用範圍。在安全攸關係統迅猛發展的時代背景下，本項目擬重點研究多種判定過程、約束求解算法和它們之間的組合問題，擴大可解約束的範圍；成果也將同時套用於...
- 反向推理機
它的推理方式主要有兩種：默認推理和約束推理。反向推理策略 反向推理也稱自頂向下控制、目標驅動控制、後向推理等。反向推理控制策略的基本思想是：在推理過程中首先從目標出發，不斷地找出能夠滿足目標的所有情況、條件，反向地向著最初的...
- 新本格推理
島田庄司還指出，一直以來，自己都是以愛倫·坡式的推理為創作標準，一貫非常“鄙視”所謂的“規則”。島田庄司認為范·達因曲解了愛倫·坡的初衷，非常愚蠢地提出了很多約束推理小說發展的條條框框，這是錯誤的一一隻要遵循謎團和科學...
- 知識圖譜建模與智慧型推理技術
6.4推理引擎開發190 6.4.1具體事件一致性和條件約束推理方法190 6.4.2正向推理192 6.4.3反向推理192 6.4.4雙向推理193 6.4.5AI3推理速度測試194 6.5推理輸出結果表達197 6.5.1AI3推理結果畫面197 6.5.2工況數據（“快門...
- JET推理劇場
25 -JET推理劇場-逃亡警官冤獄平反 ●水曜ミステリー9 約束～いつか虹の向こうへ 2005-8-3 豬崎宣昭 石田純一,若村麻由美,渋谷飛鳥,中村俊太,筒井真理子 26 -JET推理劇場-刺青女郎的危險秘密 ●女と愛とミステリー[164]...
- 結合描述邏輯和霍恩規則的不確定推理算法
但是之前存在的描述邏輯和霍恩規則相結合的系統或者知識表達能力不足（描述邏輯部分由表達能力較弱的系統構成），就是推理算法不具備可判定性。課題組利用“約束邏輯”的消解原理，提出了描述邏輯ALCNR和霍恩規則相結合的可判定推理算法，...
- 三維幾何約束共性表達和求解方法研究
針對三維裝配姿態約束和位置約束的可解耦情況，提出求解姿態約束的球面幾何和球面四桿機構法。對可操作的姿態約束的組合利用簡單的球面上平移、旋轉和剛性變換推理，快速地判定冗餘約束和求解約束；對不可操作的姿態約束的組合利用球面四桿...
- ザ・ベストミステリーズ2016 (推理小說年鑑)
內容（「BOOK」データベースより）極上の出會いが約束された比類なき究極のアンソロジー。2015年短編ミステリーの最高峰をあなたに!日本推理作家協會が厳選した間違いなしの12作。
- 時序推理
與經典邏輯不同，在時序邏輯中，相同的句子在不同的時問可能有不同的真值，在過去某時間為真的句子現在可能不為真；現在為真的句子將 來也可能不再為真。正是這種現象使時序推理有它自身的特殊風格。序言 現實世界中的許多問題都含有...
- 高級人工智慧(1998年科學出版社出版的圖書)
《高級人工智慧》是1998年科學出版社出版的圖書，作者是史忠植。圖書目錄 前言 目錄 第一章 緒論 第二章 人工智慧邏輯 第三章 約束推理 第四章 定性推理 第五章 基於範例推理 第六章 歸納學習 第七章 類比學習 第八章 解釋學習 ...
- 高級人工智慧(2011年科學出版社出版的圖書)
《高級人工智慧》是2011年科學出版社出版的圖書，作者是史忠植。內容簡介 本書共16章，1~6章討論了人工智慧的認知問題和自動推理；7~14章重點討論機器學習和知識發現；15章闡述主體計算；16章討論網際網路智慧型。圖書目錄 《智慧型科學技術...
- 共識動力學
其他的問題包括有集結問題、同步、集群控制、及編隊控制。分散式約束推理是解決方案範例中的一種。共識機制 由於加密貨幣多數採用去中心化的區塊鏈設計，節點是各處分散且平行的，所以必須設計一套制度，來維護系統的運作順序與公平性，統一...
- 深空探測器自主任務規劃技術
然而深空探測器自主任務規劃往往面臨系統難以準確描述、複雜約束推理、規劃搜尋空間膨脹冗餘等難題，對實現探測器自主管理提出了更大的挑戰。本書共8章，對規劃知識表示方法、時間約束推理方法、規劃中資源約束處理方法、多智慧型體規劃技術、深...
- 科學與價值
4.5 實質法律推理的訴訟價值之評價 第5章 非形式邏輯與非單調推理的概念 5.1 非形式邏輯的概念 5.2 非單調推理的概念 5.2.1 非單調推理的一般特徵和典型形式 5.2.2 博弈推理、基於封閉世界假設的推理與約束推理 5.2.3 ...
- 偵探制約
《偵探制約》是連載於17K小說網的一部偵探推理類網路小說，作者是雪蓮夏。內容介紹 哼哼！你問我是誰？我就是宇宙無敵超級無敵霹靂大神夏淺初！看好了，我就是未來維護世界和平打擊犯罪的頭號人物！什麼！蘇宇涵你個渣渣，你竟然說我...
- 緋色殺人耳語
《緋色殺人耳語》是2012年出版的圖書，作者是綾辻行人。本書超強的畫面感，簡直就像把故事寫在電影膠片上一樣，日系新本格推理當代掌門綾辻行人的顛覆性創作，推理手法運用得爐火純青，謎底不到最後一刻絕不揭曉。內容簡介 綾辻行人...
- 東野圭吾懸疑故事
《東野圭吾懸疑故事》是河毛俊作、澤田鐮作執導，唐澤壽明、廣末涼子等主演，2012年日本富士電視台的木曜劇場推理懸疑劇。本電視劇是從東野圭吾的三本短篇推理小說集《沒有兇手的殺人夜》、《怪人們》、《那時候的是誰》中挑選了11...
- 邏輯和諧
Prior 建議這意味著推理規則不能確定意義。Nuel Belnap 回答說，即使介入和除去規則不能建立意義，任何一對這種規則不能確定一個有意義的表達--它們必須滿足特定約束，比如不允許我們在舊的辭彙表中演繹出任何新真理。這種約束就是 Dummett...
- 謂詞邏輯
變形規則也稱推理規則。變形規則的陳述，除使用語法變元，還使用語法符號├。符號├在一個公式的前面，表示緊接在├後面的公式是定理。例如，├A,表示A是定理。F的變形規則有兩條，即：①分離規則，從A和A→B，可以推出B；②概括...
- 菲羅·萬斯
因此，寫推理小說有著極其明確的守則存在，雖然是不成文的規定，但約束力十足，每一個受人尊敬或懂得自重的小說作者，都得服膺這些守則。 在此，特別列出這些理應稱之為“誡律” 的條文，其中，一部分根據所有偉大的推理小說作家所...
