归纳法在描述逻辑中的应用

Applications of Induction in Description Logic

下载PDF

导出

摘要归纳法在描述逻辑中关于定义、证明和算法三个方面都有应用,在这些应用中归纳法中的基始部分和归纳部分被着重注明。 Induction is applied about the definition, proof and algorithms in description logic, the base part and summarized part of induction is marked in the application.

作者曹发生余泉

机构地区毕节学院逻辑黔南民族师范学院数学系

出处《毕节学院学报（综合版）》 2009年第8期1-4,共4页 Journal of Bijie University

基金贵州省教育厅自然科学基金:模态描述逻辑的代数结构项目编号:黔教科2008090 黔南民族师范学院2008年度院级重点项目:模态描述逻辑的代数结构项目编号:2008z01

关键词归纳法描述逻辑 Induction Description Logic

分类号 O122.7 [理学—基础数学] TP18 [自动化与计算机技术—控制理论与控制工程]

引文网络
相关文献

参考文献2

1曹发生,余泉,王驹,蒋运承.循环ALCN-Tbox具有模型的条件[J].计算机学报,2008,31(1):16-23. 被引量：13
2余泉,王驹.模态描述逻辑的模型[J].南京大学学报（数学半年刊）,2007,24(2):222-237. 被引量：7

二级参考文献22

1Baader 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.
2Baader 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.
3Baader F and Ohlbach H J. A Multi-Dimensional Terminological Knowledge Representation Language. Applied Non-Classical Logics, 1995, 5: 153-197.
4Wolter F and Zakharyaschev M. Modal Description Logics: Modalizing Roles. Fundamentae Informaticae, 1999, 39: 411-438.
5Wolter F and Zakharyaschev M. Satisfiability Problem in Description Logics with Modal Operators. In Proceedings of the Fifth Conference on Principles of Knowledge Representation and Reasoning,Montreal,Canada, 1998.Morgan Kaufman.
6Wolter F and Zakharyaschev M. Temporalizing Description Logic. In D.Gabbay andM.de Rijke, editors,Frontiers of Combining Systems,pages 379-402.Studies Press/Wiley,1999.
7Wolter F and Zakharyaschev M. Multi-Dimensional Description Logics. In D.Thomas,editor,Proceedings of the 16th International Joint Conference on ArtificalIntelligence(IJCAI-99-Voll),pages104- 109,S.F.,July31-Aug.61999.Morgan Kaufmann Publishers.
8Wolter F and Zakharyaschev M. Dynamic Description Logic. In K.Segerberg, M.de Rijke,H.Wansing, and M.Zakharyaschev,editors,Advances in Modal Logic,VoluMe 2.CSLI Publications,2000.
9Marx M and Venema Y. Multi Dimensional Modal Logic. Kluwer Academic Publis-Hers,1997.
10Sturm H and Wolter F. A Tableau Calculus for Temporal Description Logic: The expanding domain case.

共引文献18

1蒋运承,王驹,周生明,汤庸.描述逻辑εL循环术语集的混合推理[J].计算机研究与发展,2009,46(1):15-22. 被引量：3
2蒋运承,王驹,汤庸,邓培民.描述逻辑μALCQO的语义及推理[J].软件学报,2009,20(3):491-504. 被引量：3
3蒋运承,王驹,邓培民,汤庸,周生明.描述逻辑μALCIO的语义及推理[J].计算机学报,2009,32(7):1280-1290. 被引量：2
4蒋运承,唐素勤.带n-元存在量词的描述逻辑MSC推理[J].计算机学报,2009,32(8):1500-1510. 被引量：2
5缪治,邓辉宇.多Agent系统中的常识和分布式知识[J].计算机与数字工程,2009,37(7):85-87.
6余泉,王驹.MALC的公式在其模型间互模拟下的不变性[J].计算机技术与发展,2010,20(1):132-134.
7覃俊明,耿继兵,王驹,蒋运承.gfp-模型的描述逻辑FLε的循环术语集推理[J].计算机工程与应用,2010,46(12):32-37.
8曹发生,罗青林.基于语义赋值的有穷集合上二元关系性质的判定算法[J].毕节学院学报（综合版）,2010,28(8):1-8.
9张维,曹发生,余泉.描述逻辑系统εLN中的概念包含推理算法研究[J].毕节学院学报（综合版）,2010,28(8):9-13. 被引量：1
10余泉,张维.MALC模型间互模拟的代数结构[J].毕节学院学报（综合版）,2010,28(8):14-16.

1李浩,蒋蘋.网络蜘蛛的研究与实现[J].科技信息,2012(26):49-49. 被引量：5
22009年1月号问题（来稿请注明出处—编者）[J].数学通报,2009,48(1).
3黄二元.使用递推式时应注意n的范围[J].中学生数学（高中版）,2005(05S):4-5.
4安振平,厉倩,贺斌,李建潮,贺中杰.2009年10月号问题[J].数学通报,2009,48(10):64-64.
5《环境科学》征稿简则[J].环境科学,2011,32(3):748-748.
6《环境科学》征稿简则[J].环境科学,2012,33(2):475-475.
7《环境科学》征稿简则[J].环境科学,2013,34(8):2967-2967.
8《环境科学》征稿简则[J].环境科学,2012,33(12):4166-4166.
9《环境科学》征稿简则[J].环境科学,2010,31(11):2810-2810.
10《环境科学》征稿简则[J].环境科学,2010,31(6):1632-1632.

毕节学院学报（综合版）

2009年第8期

浏览历史

内容加载中请稍等...

归纳法在描述逻辑中的应用

参考文献2

二级参考文献22

共引文献18

相关作者

相关机构

相关主题

浏览历史