帶約束的認(rèn)識(shí)缺省理論的動(dòng)態(tài)特性研究.pdf

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

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

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