软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2008年
3期
594-604
,共11页
李言辉%徐宝文%陆建江%康达周
李言輝%徐寶文%陸建江%康達週
리언휘%서보문%륙건강%강체주
模糊%描述逻辑%语义Web%一般术语公理%知识表示
模糊%描述邏輯%語義Web%一般術語公理%知識錶示
모호%묘술라집%어의Web%일반술어공리%지식표시
分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度.
分析瞭一般術語公理下推理的主要難點:在模糊解釋中的隸屬度不是離散值,而是區間[0,1]上的連續值.為解決該難點,提齣瞭模糊描述邏輯FALCN下的模糊解釋離散化方法,從而使解釋中的隸屬度都屬于一箇特殊的有限離散集閤.基于該離散化方法,給齣一般術語公理下FALCN推理問題的離散Tableau推理技術,包括離散Tableau的定義以及離散Tableau的構造算法,併證明瞭算法的正確性、完備性和複雜度.
분석료일반술어공리하추리적주요난점:재모호해석중적대속도불시리산치,이시구간[0,1]상적련속치.위해결해난점,제출료모호묘술라집FALCN하적모호해석리산화방법,종이사해석중적대속도도속우일개특수적유한리산집합.기우해리산화방법,급출일반술어공리하FALCN추리문제적리산Tableau추리기술,포괄리산Tableau적정의이급리산Tableau적구조산법,병증명료산법적정학성、완비성화복잡도.