微信服务号

微信订阅号

2025年4月1日 21:16 星期二
首页 > 过刊浏览>2008年第19卷第3期 >594-604
PDF HTML阅读 XML下载 导出引用 引用提醒
一般术语公理下的模糊描述逻辑FALCN推理
作者:
基金项目:

Supported by the National Natural Science Foundation of Chinaunder Grant Nos.60373066,60425206,90412003(国家自然科学基金);the National Basic Research Program of China under Grant No.2002CB312000(国家重点基础研究发展计划(973));the Jiangsu High-Tech Research Project of China under Grant No.20020286004(高等学校博士学科点专项科研基金)

  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [18]
    • |
  • 相似文献 [20]
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

    分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度.

    Abstract:

    This paper analyzes that the main difficulty in reasoning with general terminological axioms is that the membership degrees of fuzzy interpretations are not discrete, but continous in [0,1]. To remove this obstacle difficulty, this paper proposes a discretization method of fuzzy interpretation to translate membership degrees into discrete values in a finite set. Based on this discretization, it gives a discrete Tableau reasoning technique for FALCN reasoning problems with general terminological axioms, which consists of the definition of discrete Tableaus, a construction algorithm for discrete Tableaus and the proof of soundness, completeness and complexity of this algorithm.

    参考文献
    [1]Baader F,Calvanese D,McGuinnass DL,Nardi D,Patel-Schneider PF.The Description Logic Handbook:Theory,Implementation,and Applications.Cambridge University Press,2003.
    [2]Horrocks I,Patel-Schneider PF.Reducing OWL entailment to description logic satisfiability.In:Ensel D,Sycara D,Mylopoulos D,eds.Proc.of the 2003 Int'l Semantic Web Conf.(ISWC 2003).Berlin:Springer-Verlag,2003.17-29.
    [3]Straccia U.A fuzzy description logic.In:Proc.of the AAAI-98,the 15th National Conf.on Artificial Intelligence.1998.594-599.http://faure.isti.cnr.it/～straccia/download/papers/UAI05/UAI05.pdf
    [4]Hōlldobler S,Stōrr H P,Khang T D.The fuzzy description logic ALCFH with hedge algebras as concept modifiers.Int'l Journal of Advanced Computational Intelligence and Intelligent Informatics,2003,7(3):294-305
    [5]Sanchez D,Tettamanzi G.Generalizing quantification in fuzzy description logic.In:Proc.of the 8th Fuzzy Days.2004.http://www.springerlink.com/index/56km50g05k43n03n.pdf
    [6]Straccia U.Towards a fuzzy description logic for the semantic Web.In:Proc.of the 2nd European Semantic Web Conf.,2005.http://gaia.isti.cnr.it/～straccia/download/papers/ESWC05/ESWC05.pdf
    [7]Stoilos G,Stamou G,Tzouvaras V,Pan J,Horrocks I.Fuzzy OWL:Uncertainty and the semantic Web.In:Proc.of the Int'l Workshop of OWL:Experiences and Directions.2005.http://www.image.ece.ntua.gr/php/savepaper.php?id=398
    [8]Stoilos G,Stamou G,Tzouvaras V,Pan J,Horrocks I.The fuzzy description logic SHIN.In:Panlo-Cesar GDC,Kathryn BL,Kenneth JL.Michael P.eds.Proc.of Int'1 Workshop of OWL:Experiences and Directions.Aachen:CEUR-WS.org Publishers,2005.67-76.
    [9]Horrocks,I,Sattler U.A description logic with transitive and inverse roles and role hierarchies.Journal of Logic and Computation,1999,9:385-410.
    [10]Shi ZZ,Dong Mk,Jiang YC,Zhang HJ.Logic base of semantic Web.Science in China(Series E):Information Sciences,2004,34(10):1123-1138(in Chinese、with English abstract).
    [11]Done MK,Zhang HJ,Shi ZZ.An agent model based on dynamic description logic.Journal of Computer Research and Development,2004,41(5):780-786(in Chinese with English abstract).
    [12]Done MK,Jiang YC,Shi ZZ.A description logic with default reasoning.Chinese Journal of Computers,2003,26(6):729-736(in Chinese with English abstract).
    [13]Shi ZZ,Jiang YC,Zhang HJ,Dong MK.Agent service matchmaking based on description logic.Chinese Journal of Computers,2004,27(5):625-634(in Chinese with English abstract).
    [14]Liang SF,Hong Y,Li MS.Design and implementation of a semantic web rule markup language OWLRule+.Journal of Computer Research and Development,2004,4l(7):1088-1096(in Chinese with English abstract).
    [15]Jiang YC,Tang Y,Wang J.Fuzzy ER modeling with description logics.Journal of Software,2006,17(1):20-30(in Chinese withEnglish abstract).http://www.jos.org.cn/1000-9825/17/20.htm
    [16]Li YH,Xu BW,Lu JJ,Kang DZ,Wang P.A family of extended fuzzy description logics.In:Proc.of the IEEE 29th Annual Int'l Computer Software and Applications Conf.2005.221-226.http://www.computer.org/portal/site/store/menuitvm.41cf17dc879177c86ee948ce8bcd45f3/index.jsp?& pName=store_levelI&path=store/p2005&file=p2413.xml&xsl=generic.xsl&
    [17]Li YH,Xu BW,Lu JJ,Kang DZ.On the computational complexity of the extended fuzzy description logic with numerical constraints.Journal of Software,2006,17(5):968-975(in Chinese with English abstract).http://www.jns.org.cn/1000-9825/17/968.htm
    [18]Li YH,Xu BW,Lu JJ,Kang DZ.Discrete Tableau algorithms for FSHI.In:Proc.of the 2006 Int'l Workshop on Description Logics-DL2006.ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-189/submission_14.pdf
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

李言辉,徐宝文,陆建江,康达周.一般术语公理下的模糊描述逻辑FALCN推理.软件学报,2008,19(3):594-604

复制
分享
文章指标
  • 点击次数:4125
  • 下载次数: 5977
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2006-05-08
  • 最后修改日期:2006-09-30
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19765967位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号