...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Knowledge and Information Systems >Expressive reasoning with horn rules and fuzzy description logics
【24h】

Expressive reasoning with horn rules and fuzzy description logics

机译：用号角规则和模糊描述逻辑进行表达推理

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper, we describe fuzzy CARIN, a knowledge representation language combining fuzzy Description Logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy logic into the non-recursive CARIN language. We introduce the decision problems of answering to conjunctive queries, unions of conjunctive queries and the existential entailment problem and provide a sound and complete algorithm that permits reasoning with the DL fuzzy extended with non-recursive Horn rules. This extension is most useful in realistic applications that handle uncertain or imprecise data such as multimedia processing and medical applications.
机译：在本文中，我们描述了模糊CARIN，这是一种将模糊描述逻辑与Horn规则相结合的知识表示语言。 Fuzzy CARIN将模糊逻辑的管理集成到非递归CARIN语言中。我们介绍了回答联合查询的决策问题，联合查询的并集和存在蕴涵性问题，并提供了一种完善且完整的算法，该算法允许使用带有非递归Horn规则的DL模糊扩展进行推理。此扩展在处理不确定或不精确数据的实际应用中（例如多媒体处理和医疗应用）最有用。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号