命題與模態邏輯的擴展規則推理與混合推理方法研究

《命題與模態邏輯的擴展規則推理與混合推理方法研究》是依託吉林大學，由呂帥擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：命題與模態邏輯的擴展規則推理與混合推理方法研究
• 項目類別：青年科學基金項目
• 項目負責人：呂帥
• 依託單位：吉林大學

項目摘要

相對於現有推理方法，新型推理方法的性能優勢與適用性，是其在現實問題處理中得以套用與推廣的基礎。擴展規則推理方法是2003年提出的一類新型推理方法，得到了國內外同行的認可。本課題將深入研究命題與模態邏輯的擴展規則推理與混合推理方法，主要包括：1）利用啟發函式、選擇函式和增量求解等提高擴展規則推理方法的推理能力和求解效率；2）分析擴展規則與歸結方法對於不同問題域的適應性，構建相應的知識編譯策略，結合擴展規則、歸結、表推演和知識編譯等設計並實現推理能力較強的混合推理方法；3）利用破壞性規則、語義轉換、語義語法混合轉換和知識編譯等設計並實現可靠完全的模態邏輯擴展規則推理方法；4）推斷和證明各類方法滿足的特性，提出兼顧所需特性的較為理想的折中方案。上述研究將有助於提高擴展規則推理和混合推理方法的健壯性和可用性，更好地挖掘擴展規則推理的性能優勢和適用性，為其在相關領域的套用與推廣奠定理論基礎。

結題摘要

相對於現有推理方法，新型推理方法的性能優勢與適用性，是其在現實問題處理中得以套用與推廣的基礎。擴展規則推理方法是2003年提出的一類新型推理方法，得到了國內外同行的認可。本課題組針對命題和模態邏輯的擴展規則推理方法做了較為深入、細緻的研究，並取得了較為滿意的成果，主要包括： 1）深入研究了命題邏輯中已有的完備推理方法和不完備推理方法，結合擴展規則方法的特點，設計並實現了新的完備擴展規則推理方法和不完備擴展規則推理方法，極大地提高了擴展規則在命題邏輯中的推理效率。 2）對比分析了現有EPCCL理論編譯算法的優勢與不足，充分挖掘子句集的結構信息以及子句間的關聯關係，設計了有效的編譯加速策略，並基於超擴展規則提出了三種新的基於不同編譯框架的EPCCL理論編譯算法，提高了EPCCL理論的編譯質量和編譯效率。 3）基於超擴展規則設計了EPCCL理論的並行求交合併操作和並行求併合並操作，基於此實現了IKCHER和UKCHER編譯算法的並行化，提高了該兩種編譯算法的效率，驗證了並行知識編譯的可行性。 4）深入研究了擴展規則推理方法的特性，設計了基於擴展規則推理算法的冗餘性判定算法，並提出了用於加速判定過程的有效啟發式策略和冗餘性判定算法的並行化策略，進一步提高了基於擴展規則推理方法的冗餘性判定算法的效率。 5）深入研究了模態邏輯S5公理系統的特性，結合擴展規則推理方法的特點，設計了命題模態邏輯推理算法，同時將模態邏輯中的Tableau方法推廣到模糊命題模態邏輯中。 上述研究提高了擴展規則推理方法的健壯性和可用性，更好地挖掘了擴展規則推理的性能優勢和適用性，並成功地將其套用到知識冗餘性判定、知識約簡等領域中，達到了擴展規則推理方法研究領域的領先水平，進一步推動了命題邏輯和模態邏輯擴展規則推理方法研究的發展。