規則集的化簡及相關性質的判定
大小：0.36 MB 人氣： 2017-12-05 需要積分：2
標簽：規則集(1542)
本文探討一種基于邏輯代數理論處理這些問題的新途徑。它無需煩瑣的推理，而是利用邏輯代數中質蘊含，最小項等基本概念的特別性質，通過考察特定的質蘊含和最小項即可直接對各種問題存在與否做出判定。
本文僅作理論上的初步討論，不針對具體規則庫。規則庫可簡單看作規則的集合，稱作規則集。為了討論方便，我們只考慮最簡單的一種規則形式：即命題邏輯中的條件命題。不妨將規則集以及基于其上的推理作為一個公理系統，集中的每條規則相當于一條公理。數學上要求一個公理系統具有完備性，一致性，獨立性。完備性指可以推導出公理系統所描述領域的所有定理，一致性要求不能推導出互相矛盾的結論，獨立性指每條公理不能由其它的公理推導出來。作為公理系統的規則集也應該滿足這三個條件，體現為規則集中規則所表示知識的完整性，不存在冗余的規則及矛盾的規則或推理規則鏈。規則庫中的眾多問題大多源自于上述完備性，一致性，獨立性或顯或隱，或多或少的缺失，本文主要討論利用邏輯代數理論化簡規則集及判定規則集的上述性質。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%