模糊描述邏輯是一類處理結(jié)構(gòu)化模糊知識的形式系統(tǒng)，其表達(dá)能力同它所含的構(gòu)造算子緊密相關(guān)。本文通過添加構(gòu)造算子一限定性數(shù)目約束（Q），來進一步擴充FALC，增強了其表示模糊信息的能力，給出了擴充后的邏輯系統(tǒng)的語法及語義，（≥pR．C）^I（d）=suP_e1，…，e_P∈△^Imin_i=1^P{min（R^I（d，e_i），C^I（e_i））} （≤pR．C）^I（d）=inf_{e1，…，eP+1}∈△^Imax_i=1^P+1{max(1-R^I（d，e_i），（1-C^I（e_i））}并且討論了推理算法，給出Abox一致性檢測的Tableaux—推... 

【文章來源】：廣西師范大學(xué)廣西壯族自治區(qū)

【文章頁數(shù)】：35 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 模糊描述邏輯研究的背景及其現(xiàn)狀
    1.2 描述邏輯基礎(chǔ)
    1.3 本文研究的主要內(nèi)容
第二章 模糊描述邏輯FALCQ
    2.1 引言
    2.2 FALCQ的語法與語義
    2.3 FALCQ的邏輯性質(zhì)
    2.4 FALCQ的基本推理問題
第三章 關(guān)于FALCQ-Abox的Tableaux-算法
    3.1 FALCQ-Abox模糊表
    3.2 構(gòu)造FALCQ-Abox-模糊表的Tableaux-算法
    3.3 Tableaux-算法正確性的證明
    3.4 限定性數(shù)目約束Q-算子的性質(zhì)
第四章 總結(jié)和展望
參考文獻
致謝



本文編號：3166360