期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于模态的模糊描述逻辑(M-FALC)的形式化公理体系

下载PDF
导出
摘要 模糊描述逻辑的提出是针对现实生活中存在的模糊现象,而模态逻辑解决的是现实生活中具有的状态和状态转换现象等。将模态逻辑中的模态思想和模糊逻辑中的模糊理论相结合,同时结合描述逻辑,形成模态模糊描述逻辑(M-FALC)。考虑不同论域中的可能存在的模糊概念,关系,公式等,本文给出M-FALC的形式化公理体系及其推理,既能解决现实问题中的状态现象又解决模糊现象。
作者 蔡思思
机构地区 华东交通大学
出处 《计算机光盘软件与应用》 2013年第16期302-303,共2页 Computer CD Software and Application
关键词 模糊描述逻辑 模态逻辑 模态模糊描述逻辑
分类号 TP182 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献6

  • 1Baader F,Laux A. Terminological Logics with Modal Operators[A].1995.808-814.
  • 2余泉,王驹.模态描述逻辑的模型[J].南京大学学报（数学半年刊）,2007,24(2):222-237. 被引量：7
  • 3ZadehL A. Fuzzylogic Computing with words[J].IEEE Transactions on Fuzzy Systems,1996,(02):103-111.
  • 4Jiang Y C,Tang Y,WangJ. Fuzzy E Rmodeling with description logics[J].Journal of Software,2006,(01):20-30.
  • 5Stoilos G,Stamou G,Pan JZ. Handling imprecise knowledge with fuzzy description logic[A].Aachen:CEUR-WS.org Publishers,2006.71-79.
  • 6余泉,张维,王驹.模态描述逻辑MALC模型的几个代数性质[J].计算机工程与科学,2010,32(10):135-138. 被引量：1

二级参考文献21

  • 1Baader F, Nutt W. Basic Description Logie[M]//Baader F, et al, eds. The Description Logic Handbook: Theory, Implementation and Applieations[M]. Cambridge: Cambridge University Press, 2003.
  • 2Baader F, Laux A. Terminological Logics with Modal Operators[C]//Proc of the 14th Int'l Joint Conf on Artifical Intelligence, 1995 : 808-814.
  • 3Baader F, Ohlbaeh H J. A Multi-Dimensional Terminological Knowledge Representation Language[C] //Proc of the 13th Int'l Joint Conf on Artifical Intelligence, 1993:690-695.
  • 4Blackburn P, Rijke M D, Venema Y. Modal Logic[M]. Cambridge: Cambridge University Press, 2001.
  • 5Wolter F, Zakharyaschev M. Modal Description Logics: Modalizing Roles [ J ]. Fundamentae Informaticae, 1999, 39 ( 4 ) : 411- 438.
  • 6Fitting M, Mendelsohn R L. First-Order Modal Logic[M]. London: Klluwer Academic Publishers, 1998.
  • 7Baader F Ralf Kusters ,Frank Wolter. Extensions to Description Logi. In: F Baader et al, eds, The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2003: 226-270.
  • 8Baader F and Laux A. Terminological Logics with Modal Operators.In C. Mellish,editor, Proceedings of the 14th International Joint Conference on Artifical Intelligence, pages 808-814,Montreal,Canada, 1995,Morgan Kaufmann.
  • 9Baader F and Ohlbach H J. A Multi-Dimensional Terminological Knowledge Representation Language. Applied Non-Classical Logics, 1995, 5: 153-197.
  • 10Wolter F and Zakharyaschev M. Modal Description Logics: Modalizing Roles. Fundamentae Informaticae, 1999, 39: 411-438.

共引文献6

计算机光盘软件与应用
2013年 第16期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部