资料下载
×
循环ALCN Tbox具有模型的条件详细资料研究
消耗积分:0 |
格式:rar |
大小:0.73 MB |
2019-07-05
分享资料个
分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题，研究了循环ALCN-Tbox具有模型的条件，指出了Baader文中命题2.9（Let T be a terminology such that each cycle in Gr contains an even number ofnegative ares. Then T is monotone）的错误，并对该命题进行了修改，给出了循环ALCN-Tbox具有不动点模型（最小不动点模型和最大不动点模型）的条件.
描述逻辑是一-种基于对象的知识表示的形式化工具，是一阶谓词逻辑的一个可判定子集。描述逻辑的重要特征是它具有很强的表达能力和可判定性，在众多知识表示的形式化方法中，描述逻辑在十多年来受到人们的特别关注，近年来描述逻辑已成为计算机科学和人工智能的研究热点.
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
