• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Conference on Systems, Man, and Cybernetics >Bisimilarity for paraconsistent description logics
【24h】

Bisimilarity for paraconsistent description logics

机译：超一致描述逻辑的双相似性

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We introduce comparisons with respect to information between interpretations in paraconsistent description logics and use them to define bisimilarity for such logics. As bisimilarity is a natural notion for characterizing indiscernibility in modal and description logics, it is useful for concept learning in description logics also when inconsistencies occur. We give preservation results and the Hennessy-Milner property for comparisons with respect to information in paraconsistent description logics. As consequences, we also obtain invariance results and the Hennessy-Milner property for bisimilarity in paraconsistent description logics.
机译：我们介绍了有关超一致描述逻辑中解释之间信息之间的比较，并使用它们来定义此类逻辑的双相似性。由于双相似性是表征模态逻辑和描述逻辑中不可区分性的自然概念，因此当出现不一致时，它对于描述逻辑中的概念学习也很有用。我们给出保存结果和Hennessy-Milner属性，以便在超一致性描述逻辑中与信息进行比较。结果，我们还获得了不变的结果和超一致描述逻辑中双相似性的Hennessy-Milner属性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号