帶約束的認識缺省理論的動態(tài)特性研究.pdf

1、在缺省邏輯中，關于世界的知識被表示成為一個缺省理論，它是一個由一致的公式集合和一個被稱為缺省規(guī)則的集合所構(gòu)成的序?qū)Γ渲幸恢碌墓郊虾嘘P于世界的在邏輯上是有效的部分信息，它可以通過缺省規(guī)則認可那些似乎有理的，但未必是無懈可擊的結(jié)論來擴大，最終得到一個關于世界的信念的集合。這在缺省邏輯中被Reiter定義為缺省理論的擴充。 缺省邏輯本身是基于似然假設的、嚴格的不完全信息推理，屬于靜態(tài)的推理方法，不能進行帶有變化的推理。因此，A

2、ntoniou在文獻[19]中從動態(tài)的角度結(jié)合信念修正的思想，定義了缺省理論的刪除和修正算子。動態(tài)算子的加入提供了隨變化進行推理的手段，可以彌補原有缺省邏輯在這方面的不足。 基于上述工作，本文給出了帶約束的認識缺省理論，通過引入模態(tài)詞K(知道)和B(相信)，對知識和信念加以區(qū)分，使其更加符合智能主體的直觀，同時通過在缺省理論中引入約束集，對主體的推理行為加以限制。這種認識缺省理論具有良好的理論性質(zhì)和直觀背景，證明了其擴充的存在性

3、和半單調(diào)性。同時，本文提出了新知識、有效知識和知識反駁以及新約束和約束反駁的概念及其意義，并討論了當Agent獲得知識和遇到約束變化時，擴充的性質(zhì)和變化規(guī)律，進而提出新擴充的計算過程和有效求解方法；定義了Agent的認識進程，刻畫其認識進程的單調(diào)性和非單調(diào)性，討論知識集和約束集不斷變化的最終結(jié)果使Agent得到一個關于某個特定問題的完全認識；最后，本文對修正的缺省理論和認識缺省理論的動態(tài)特性進行了比較，分別闡述了各自的特點，并提出了進一