%0 Journal Article
%T 一般术语公理下的模糊描述逻辑FALCN推理
%A 李言辉
%A 徐宝文
%A 陆建江
%A 康达周
%J 软件学报
%D 2008
%I 
%X 分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度.
%K 模糊
%K 描述逻辑
%K 语义Web
%K 一般术语公理
%K 知识表示
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=D8ADA1826A105C40DF4449DD93490DEB&yid=67289AFF6305E306&vid=2A8D03AD8076A2E3&iid=38B194292C032A66&sid=65FC738C50B41E43&eid=1A0C7C60D40EFD74&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=25