《約束推理與約束程式》是依託吉林大學，由孫吉貴擔任項目負責人的面上項目。
《約束推理與約束程式》是依託吉林大學，由孫吉貴擔任項目負責人的面上項目。項目摘要約束程式設計與約束推理研究在強烈的套用背景驅動下，近幾年受到了國外學術界和產業界的重視。本項申請將研究分層約束邏輯程式和部分約束邏輯程式的語...
約束推理 約束推理（constraint reasoning）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 從約束滿足問題的表示到約束求解等的各種推理技術。出處 《計算機科學技術名詞 》第三版。
完整性約束推理 完整性約束推理（inference based on integrity constraint）是2018年公布的計算機科學技術名詞。定義 利用數據的完整性約束建立推理通道，推導出隱含數據的推理方法。出處 《計算機科學技術名詞 》第三版。
《組合約束求解過程及其在程式驗證中的套用》是依託華東師範大學，由徐鳴擔任項目負責人的青年科學基金項目。項目摘要 現今信息技術已經滲透到日常生活的方方面面。如何提高信息計算系統的可靠性是一個不可迴避的問題。為了追求絕對正確性這一...
隨之而來的，面向自動推理的邏輯程式設計語言（如PROLOG）也引起了研究者的興趣。研究內容 自動推理的研究內容有模型生成與定理機器證明、程式正確性驗證、邏輯程式設計、常識推理、非單調推理、模糊推理、約束推理、定性推理、類比推理、歸納...
當前，約束滿足問題在人工智慧領域發揮了重要的作用。近五年來，約束求解方法的發展極為迅速，各種不同的變數、值選擇啟發式、約束傳播技術、搜尋框架、分支策略不斷湧現，選擇求解一類問題的高效算法（或算法組合）成為約束程式研究者面對的...
在認知機器人學研究中，其知識表示語言已發展得相當完善，如最常用的語言是情景演算，並在此基礎上設計了高級機器人程式設計語言Golog。但是，目前認知機器人學研究也面臨著兩個極其關鍵的問題：一是關於動態系統的有效推理問題，二是不...
基於ATL和LDL，提出了在策略約束下關於聯合能力表示和推理的一種模態邏輯，並證明了針對無記憶策略的該邏輯的模型檢測問題的複雜性為PSPACE。3.提出了自動驗證Golog程式部分正確性及通過數學歸納法自動驗證動態系統活性性質的可靠但不完備的...
4. 約束推理與約束程式，國家自然科學基金(60473003)，2005.01-2007.12，主要參加人 5.具有多哈密頓結構的KAM理論，教育部博士點基金(20040183030)， 2005-2007，主要參加人 學術成果 學術論文 [1]Huang, Qingdao; Li, Yong. Nagumo...
“約束推理與約束程式”（01年1月-03年12月）——國家自然科學基金項目。“模態與時態邏輯模型生成”（00年6月-02年12月）——教育部骨幹教師項目。“常識推理與邏輯程式的擴展”（98年1月－00年12月）——國家自然科學基金項目。...
基於集合理論的互動錯誤推理體系：並發程式中三種典型錯誤，即數據競爭、原子性違背以及順序違背均可以轉化為代碼塊順序約束表達邏輯。已有研究沒有很好解決這種由代碼塊順序約束違背引起互動錯誤的定位問題。基於集合論和集合運算思想，提出了基...
8.2.5 時間約束網路及其算法的實現 8.2.6 深空探測器任務規劃系統仿真實驗及結果分析 8.3 太空飛行器自主觀測任務規劃系統及套用 8.3.1 自主觀測任務規劃程式設計 8.3.2 自主觀測任務規劃仿真系統的設計與實現 8.3.3 自主觀測任務...
9.4.4 冗餘推理和無限循環 223 9.4.5 約束邏輯程式設計 224 9.5 歸結 225 9.5.1 一階邏輯的合取範式 226 9.5.2 歸結推理規則 227 9.5.3 證明的實例 227 9.5.4 歸結的完備性 229 9.5.5 處理等式 231...
2. 陳武，周敏，李虎陽，一種基於回答集程式的三方協商新機制[J]. 西南大學學報（自然科學版），2014，36（5）：209-213.3. 陳武.協商推理機制中的需求序關係研究[J].西南大學學報（自然科學版）,2014,36(4):146-151.4.陳武...
第2章自然約束語言NCL 2.1NCL語言基礎 2.1.1NCL基本詞法 2.1.2NCL變數和數據類型 2.1.3NCL數學符號編碼 2.1.4NCL數學表達式與函式 2.2NCL基本句法規則 2.2.1NCL程式結構 2.2.2NCL程式控制機理 2.2.3NCL聲明語句 2.2....
