亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        模糊描述邏輯的統(tǒng)計缺省擴展

        2012-12-31 00:00:00張敏
        科技創(chuàng)新導報 2012年36期

        摘 要:該文對模糊描述邏輯進行統(tǒng)計缺省擴展,它以模糊描述邏輯為主要框架,將模糊或不精確知識的表示與推理有機地整合在一起,通過在模糊描述邏輯中引入統(tǒng)計缺省推理,構建了一種同時具有TBox,ABox和統(tǒng)計缺省規(guī)則的知識庫系統(tǒng)。

        關鍵詞:模糊描述邏輯 統(tǒng)計缺省擴展 缺省可滿足性

        中圖分類號:TP18文獻標識碼:A 文章編號:1674-098X(2012)12(c)-00-02

        描述邏輯(Description Logic,DL)[1]是知識表示的形式化工具,表達能力和可判定性很強。

        針對模糊知識處理,Umberto Straccia 結合模糊邏輯擴充了描述邏輯,提出一種模糊描述邏輯FALC,從而能表示和推理模糊或不精確知識[2-3]。

        人類通常在信息模糊和缺乏的情況下也可以推出合乎常理的結論。Reiter[4]提出了缺省邏輯,文獻[5-6]提出統(tǒng)計描述與缺省邏輯之間的聯(lián)系。Gregory R.Wheeler在文獻[7-8]中提出統(tǒng)計的缺省邏輯,是經(jīng)典缺省邏輯的推廣,,由Reiter缺省帶上單位區(qū)間中實數(shù)作限制而得的缺省規(guī)則之集以及帶約束的事實之集構成的集合序?qū)λM成。已有的對缺省邏輯的研究中,一般把所有的規(guī)則都看作是缺省規(guī)則,或添加一些優(yōu)先級或構造有序的缺省理論[9]。但是仍存在不足,甚至導致更為復雜的問題。董明楷等人[10]在描述邏輯基礎上進行缺省擴展,使其具有描述邏輯的特點,同時又能進行非單調(diào)推理。

        該文的工作主要以模糊描述邏輯為理論基礎,進行統(tǒng)計缺省擴展,使其既能夠處理模糊不精確知識,同時又具有非單調(diào)推理的能力。該文給出了模糊概念關于缺省可滿足性的定義,并深入研究了帶統(tǒng)計缺省的模糊描述邏輯中的基本推理問題。

        1 模糊描述邏輯基礎

        2 模糊描述邏輯的統(tǒng)計缺省擴展

        模糊描述邏輯的知識表示和推理能力很強,但是處理非單調(diào)的、不完備的知識卻略顯不足。因此,我們考慮添加統(tǒng)計缺省規(guī)則,即對模糊描述邏輯進行統(tǒng)計缺省擴展。統(tǒng)計缺省邏輯的優(yōu)點是針對例外的情況,能夠表示和處理非單調(diào)知識。

        定義1.一個統(tǒng)計缺省規(guī)則為(C:E1,E2,…,En)/D μ。概念C稱為前提條件,概念 E1,E2,…,En稱為檢驗條件,實數(shù)μ(0≤μ≤1)為缺省規(guī)則的真假度約束,概念D為統(tǒng)計缺省的結論。

        統(tǒng)計缺省規(guī)則表明,對于任意的x,若x:C成立,其模糊隸屬度不小于,且對所有的1≤i≤n,推導不出x:﹁Ei,則根據(jù)該統(tǒng)計缺省規(guī)則,有結論x:D,且結論的模糊隸屬度為。

        2.1 可滿足性問題

        定義2.概念C在知識庫Κ=□ΤΑ□中是可滿足的當且僅當C不包含□⊥,n□(n>0),否則稱C是不可滿足的。

        定義3.概念C在統(tǒng)計缺省擴展的知識庫Κ=□Τ,Α,D□中是缺省可滿足的當且僅當C在知識庫□Τ,Α□中是可滿足的,且在加入統(tǒng)計缺省規(guī)則集D后仍有C不包含□⊥,n□(n>0)。若C在知識庫□Τ,Α□中是可滿足的,而當加入統(tǒng)計缺省規(guī)則集D后有C包含□⊥,n□n>0),則稱C是缺省不可滿足的。

        缺省擴展的模糊描述邏輯中的推理問題可以被轉(zhuǎn)換為可滿足性和缺省可滿足性問題。

        2.2 統(tǒng)計缺省擴展的推理問題

        為了檢測對象的可滿足性和缺省可滿足性,約束系統(tǒng)S={□w:C rel n□ }具體的演算規(guī)則見文獻[11],這些規(guī)則我們稱為單調(diào)規(guī)則。

        除此,我們在約束系統(tǒng)中添加統(tǒng)計缺省規(guī)則:

        統(tǒng)計缺省規(guī)則為非單調(diào)規(guī)則。我們定義單調(diào)規(guī)則的使用優(yōu)先于統(tǒng)計缺省規(guī)則。只有當沒有單調(diào)規(guī)則可用時,才考率使用缺省規(guī)則。

        結果。

        定理2.一個概念C是缺省可滿足的,當且僅當帶缺省的約束系統(tǒng){□w:C rel n□ }是缺省可滿足的。

        定理3.一個帶缺省的約束系統(tǒng)是缺省可滿足的,當且僅當它不包含沖突。

        此時,我們只需在約束系統(tǒng)中檢查是否有可用的統(tǒng)計缺省規(guī)則。若有,且不包含沖突,則約束系統(tǒng)是缺省可滿足的;若包含沖突,則約束系統(tǒng)是缺省不可滿足的。

        我們提出的擴展是對統(tǒng)計缺省規(guī)則進行處理,以模糊描述邏輯為基礎添加統(tǒng)計缺省規(guī)則,主要思想是基于模糊描述邏輯,擴充經(jīng)典的模糊推理算法。因為沒有采用計算缺省邏輯擴充的方法進行缺省推理,從而減少了統(tǒng)計缺省邏輯關于擴充計算的復雜性。

        3 結語

        模糊推理廣泛應用與專家系統(tǒng)、知識工程等領域中。該文在模糊描述邏輯的基礎上進行統(tǒng)計缺省擴展,使其既能夠表示和推理不精確知識,又能夠進行非單調(diào)推理。該文給出缺省可滿足性定義,研究其可滿足性推理問題,在非單調(diào)推理上進行有效的擴充,提出了一種新的統(tǒng)計缺省推理方式。進一步的工作將考慮基于模糊描述邏輯的統(tǒng)計缺省擴展中的推理算法優(yōu)化問題。

        參考文獻

        [1] Baader F,Nutt W.Basic description logic[M]//Baader F.The Description Logic Handbook:Theory,Implementation and Applications.Cambridge:Cambridge University Press,2003:47-1000.

        [2] Straceia U.Reasoning within fuzzy description logics[J].Journal of Artificial Intelligence Research,2001,14:137-166.

        [3] Stracia U.A fuzzy description logi c[C]//Proceedings of the Fift eenth National/Tenth Conference on Artificial Intelligence/Innovative Applications of Artificial Intelligence,Madison,Wisconsin,United States,1998:594-599.

        [4] Reiter R.A Logic for Default Reasoning.Artificial Intelligence,1980,13:81-132.

        [5] Bacchus F A,Grove D,Halpern J,Koller D.Statistical foundations for default reasoning.Proceedings of the Interation Joint Conference on Artifical Intelligence,1993:563-569.

        [6] Tan Y H.Default logic and inductive-statistical reasoning.Synthese,1997,110:357-379.

        [7] Wheeler G R.A resource bounded default logic.Proceedings of the 10the International Workshop on Non monotonic Reasoning,2004:416-422.

        [8] Wheeler G R,Dmaasio C.An implementation of statistical default logic.Logics in artificial intelligence,2004:

        121-133.

        [9] Brewka G.Nonmonotonic Reasoning:Logical Foundations of Commonsense.Cambridge:Cambridge University Press,1991.

        [10] 董明楷,蔣運承,史忠植.一種帶缺省推理的描述邏輯[J].計算機學報,2003,

        26(6):729-736.

        [11] Stracia U.Transforming fuzzy description logics into classical description logics[A].In:Proceedings of the 9th European Conference on Logics in Artificial Intelligence[C].Lisbon,Portugal,2004:385-399.

        69久久夜色精品国产69| 人妻熟女翘屁股中文字幕| 在线播放五十路熟妇| 日本不卡一区二区三区在线| 国产精品久久久久久2021| 中文字幕一区二区人妻在线不卡| 另类欧美亚洲| 亚洲午夜久久久久中文字幕久 | 国产精品久久久久国产a级| 免费国产一级片内射老| 久久熟女少妇一区二区三区 | 国产男女无遮挡猛进猛出| 屁屁影院一区二区三区| 日韩丝袜人妻中文字幕| 国产乱精品女同自线免费| 国产喷水1区2区3区咪咪爱av | 无码吃奶揉捏奶头高潮视频| 最新国产av无码专区亚洲| 在线观看国产三级av| 91麻豆精品一区二区三区| 极品粉嫩嫩模大尺度视频在线播放| 高h喷水荡肉爽文np肉色学校| 亚洲h在线播放在线观看h| 精品亚洲日韩国产一二三区亚洲| 区三区久久精品水蜜桃av| 亚洲天堂丰满人妻av| 麻豆精品传媒一二三区| 国产精品一区二区三级| 免费视频亚洲一区二区三区| 亚洲无线码一区二区三区| 波多野结衣有码| 国产一级淫片a免费播放口 | 国产一区二区三区 在线观看| 无码区a∨视频体验区30秒| 亚洲色欲在线播放一区| 亚洲视频在线视频在线视频| 亚洲中文无码av永久| 国产亚洲情侣一区二区无 | 久久精品国产亚洲av瑜伽| 色噜噜精品一区二区三区| 亚洲国产婷婷香蕉久久久久久|