.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
In this paper we consider the theory of fuzzy logic programming without negation. Our results cover logical systems with a wide variety of connectives ranging from t-norm and conorms, through conjunctors and disjunctors and their residuals to aggregation operators. Rules of our programs are many valued implications. We emphasize, that in contrast to other approaches, our logic is truth functional, i.e. according to P. Hajek, we work in fuzzy logic in narrow sense. We prove the soundness and the completeness of our formal model. We deal with applications to threshold computation, abduction, fuzzy unification based on similarity. We show that fuzzy unification based on similarities has applications to fuzzy databases and flexible querying. (C) 2001 Elsevier Science B.V. All rights reserved.
Keyword:
fuzzy logic programming
fuzzy unification
abduction
databases
querying
similarities
threshold computation
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
2.7
论文数:
7.6K
被引数:
1.5W
机构
暂无机构信息
引用论文
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏Inferring plant microRNA functional similarity using a weighted protein-protein interaction network.png)
OAAI
OAAI分享收藏 没有更多内容
没有更多内容