...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Fuzzy sets and systems >On the failure of the finite model property in some Fuzzy Description Logics
【24h】

On the failure of the finite model property in some Fuzzy Description Logics

机译：关于一些模糊描述逻辑中有限模型性质的失效

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

摘要

Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning with) structured knowledge affected by vagueness. Although most of the not very expressive crisp DLs, such as ACC, enjoy the Finite Model Property (FMP), this is not the case once we move into the fuzzy case. In this paper we show that if we allow arbitrary knowledge bases, then the fuzzy DLs ACC under Lukasiewicz and Product fuzzy logics do not verify the FMP even if we restrict to witnessed models; in other words, finite satisfiability and witnessed satisfiability are different for arbitrary knowledge bases. The aim of this paper is to point out the failure of FMP because it affects several algorithms published in the literature for reasoning under fuzzy DLs.
机译：模糊描述逻辑（DL）是一类逻辑，允许表示受模糊性影响的结构化知识（并进行推理）。尽管大多数不是很表达的清晰DL（例如ACC）都具有有限模型属性（FMP），但一旦进入模糊情况，情况就不会如此。在本文中，我们表明，如果我们允许任意知识库，那么即使我们限于见证模型，Lukasiewicz和Product模糊逻辑下的模糊DL ACC也不会验证FMP。换句话说，对于任意知识库，有限可满足性和见证可满足性是不同的。本文的目的是指出FMP的失败，因为它会影响文献中公开的几种算法，用于在模糊DL下进行推理。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号