Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
复制标题
无限值哥德尔语义下表达描述逻辑的推理
DOI：
10.1007/978-3-319-24246-0_4
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Rafael Peñaloza
中科院分区：
文献类型：
--
作者：
Stefan Borgwardt;Rafael Peñaloza
模糊描述逻辑(FDLS)将经典的描述逻辑与模糊逻辑的语义相结合，用模糊知识来表示和推理。大多数使用区间[0，1]真值的FDL在存在否定构造器和一般概念包含的情况下被证明是不可判定的。一个例外是那些语义基于无限值Gödel t-范数G(G)的FDL。我们推广了前人关于FDL G的可判定性结果，以处理复杂的角色包含、名词性、倒置角色和限定数量限制。我们的新方法是基于已知的有限值FDL的明化技术和基于自动机的G-推理过程的组合。
Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0,1] have been shown to be undecidable in the presence of a negation constructor and general concept inclusions. One exception are those FDLs whose semantics is based on the infinitely valued Gödel t-norm (G). We extend previous decidability results for the FDL G-to deal with complex role inclusions, nominals, inverse roles, and qualified number restrictions. Our novel approach is based on a combination of the known crispification technique for finitely valued FDLs and an automata-based procedure for reasoning in G-.
登录
查看更多内容
从带数量限制的二变量保护片段到保护片段的多项式翻译
DOI：
--
发表时间：
2004
期刊：
European Conference on Logics in Artificial Intelligence
影响因子：
--
作者：
Yevgeny Kazakov
通讯作者：
Yevgeny Kazakov
基于格的模糊描述逻辑的复杂性
影响因子：
--
作者：
Stefan Borgwardt;R. Peñaloza
通讯作者：
R. Peñaloza
用于表达描述逻辑的无限价值的哥德尔语义
影响因子：
3.6
作者：
Stefan Borgwardt;R. Peñaloza
通讯作者：
R. Peñaloza
描述逻辑中的推理和查询回答
DOI：
--
发表时间：
2012
期刊：
Reasoning Web
影响因子：
--
作者：
Magdalena Ortiz;M. Šimkus
通讯作者：
M. Šimkus
Łukasiewicz t-范数下模糊描述逻辑的（不可）判定性
DOI：
10.1016/j.ins.2012.11.019
发表时间：
2013
期刊：
Inf. Sci.
影响因子：
--
作者：
Marco Cerami;U. Straccia
通讯作者：
U. Straccia