• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Fuzzy sets and systems >Reasoning in Fuzzy Description Logics using Automata
【24h】

Reasoning in Fuzzy Description Logics using Automata

机译：使用自动机的模糊描述逻辑中的推理

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

摘要

Automata-based methods have been successfully employed to prove tight complexity bounds for reasoning in many classical logics, and in particular in Description Logics (DLs). Very recently, the ideas behind these automata-based approaches were adapted for reasoning also in fuzzy extensions of DLs, with semantics based either on finitely many truth degrees or the Godel t-norm over the interval[0, 1]. Clearly, due to the different semantics in these logics, the construction of the automata for fuzzy DLs is more involved than for the classical case. In this paper we provide an overview of the existing automata-based methods for reasoning in fuzzy DLs, with a special emphasis on explaining the ideas and the requirements behind them. The methods vary from deciding emptiness of automata on infinite trees to inclusions between automata on finite words. Overall, we provide a comprehensive perspective on the automata-based methods currently in use, and the many complexity results obtained through them. (c) 2015 Elsevier B.V. All rights reserved.
机译：基于自动机的方法已成功用于证明许多经典逻辑（尤其是描述逻辑（DL））中用于推理的紧密复杂性边界。最近，这些基于自动机的方法背后的思想也适用于DL的模糊扩展中的推理，其语义基于有限的真实度或区间[0，1]上的Godel t范数。显然，由于这些逻辑中语义的不同，与经典情况相比，模糊DL的自动机的构造更为复杂。在本文中，我们概述了现有的基于自动机的模糊DL推理方法，并特别强调了其思想和背后的要求。这些方法从确定无限树上自动机的空性到在有限单词上自动机之间的包含物不等。总体而言，我们对当前使用的基于自动机的方法以及通过它们获得的许多复杂性结果提供了一个全面的认识。 （c）2015 Elsevier B.V.保留所有权利。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号