.png){kind=icon}
返回
The implication problem for measure-based constraints
.png){kind=icon}
PRE
AI
DOI：10.1016/j.is.2007.07.005.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We study the implication problem of measure-based constraints. These constraints Lire formulated in a framework for measures generalizing that for mathematical measures. Measures arise naturally in a wide variety of domains. We show that measure constraints, for particular measures, correspond to constraints that occur in relational databases, data minim, applications, cooperative game theory, and in the Dempster-Shafer and possibility theories of reasoning about uncertainty. We prove that the implication problem for measure constraints is in general decidable. We introduce inference systems for particular classes of measure constraints and show that some of these are complete, yielding tractability for the corresponding implication problem. (c) 2007 Elsevier B.V. All rights reserved.
Keyword:
measure
constraint
implication
inference rule
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.9
论文数:
2.8K
被引数:
1.8K
机构
引用论文
.png){kind=icon}
分享收藏Proto-Lexicon Size and Phonotactic Knowledge are Linked in Non-Māori Speaking New Zealand Adults初始词汇量大小与非毛利语使用者新西兰成人的音位构词知识存在关联
OAAI
OAAI分享收藏分享收藏
查看更多内容