在本教程中,我们将学习代数和逻辑约束下的概率推理。我们将涵盖与受限环境下的概率推理相关的理论基础和计算挑战,同时探索高度相关的应用,如混合系统的概率形式验证和通过构造满足约束的学习模型。

随着人工智能和机器学习在我们日常生活中的日益普及,迫切需要不仅智能而且安全、公平和可验证的系统。在现实世界中部署这样的系统通常等同于在表现出连续(定量)和离散(定性或逻辑)特征的领域中执行概率推理。这样的域通常被称为混合域。然后通过代数约束或逻辑约束对混合域进行约束,实现安全性和公平性。这进一步复杂化了执行概率推断的问题。此外,许多逻辑和代数约束可以来自环境本身,例如物理定律,或有助于描述系统的“正确”行为,例如必须满足的安全特性。在本教程中,我们介绍了加权模型集成(WMI),这是一个减少混合域概率推理的框架,以计算离散-连续逻辑公式的权重。因此,它是对已经广泛应用的加权模型计数(WMC)框架的一种推广。在教程的第一部分,我们逐步建立WMI的理论背景-一个旅程,我们开始从纯逻辑推理一路到混合领域的概率推理,同时提供涉及的挑战和连接到WMC的指针。其次,我们通过讨论WMI的应用,以及描述最具前景的开放工具和方法,提供了一个关于混合域概率推理问题的实用视角。

成为VIP会员查看完整内容
24

相关内容

【MIT博士论文】非线性系统鲁棒验证与优化,123页pdf
专知会员服务
25+阅读 · 2022年9月23日
《机器学习的最优传输》教程,63页PPT
专知会员服务
61+阅读 · 2022年4月30日
【博士论文】多任务学习视觉场景理解,140页pdf
专知会员服务
87+阅读 · 2022年4月5日
Berkeley博士论文《反馈系统中的可信机器学习》203页pdf
专知会员服务
38+阅读 · 2022年3月25日
专知会员服务
58+阅读 · 2021年8月8日
【NAACL2021】Graph4NLP:图深度学习自然语言处理,附239页ppt
专知会员服务
105+阅读 · 2021年6月12日
【ST2020硬核课】深度学习即统计学习,50页ppt
专知会员服务
63+阅读 · 2020年8月17日
如何建模动态图?看这份《时序图神经网络》26页ppt
专知会员服务
136+阅读 · 2020年7月25日
元学习与图神经网络逻辑推导,55页ppt
专知会员服务
127+阅读 · 2020年4月25日
【干货书】信息论与编码,517页pdf
专知
5+阅读 · 2022年7月20日
层级强化学习概念简介
CreateAMind
14+阅读 · 2019年6月9日
构建AI知识体系-专知主题知识树简介
专知
339+阅读 · 2017年9月17日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
5+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Mathematics and Flamenco: An Unexpected Partnership
Arxiv
1+阅读 · 2022年9月27日
Arxiv
0+阅读 · 2022年9月26日
Arxiv
0+阅读 · 2022年9月24日
Identity-aware Graph Neural Networks
Arxiv
14+阅读 · 2021年1月25日
Arxiv
16+阅读 · 2020年5月20日
VIP会员
相关VIP内容
【MIT博士论文】非线性系统鲁棒验证与优化,123页pdf
专知会员服务
25+阅读 · 2022年9月23日
《机器学习的最优传输》教程,63页PPT
专知会员服务
61+阅读 · 2022年4月30日
【博士论文】多任务学习视觉场景理解,140页pdf
专知会员服务
87+阅读 · 2022年4月5日
Berkeley博士论文《反馈系统中的可信机器学习》203页pdf
专知会员服务
38+阅读 · 2022年3月25日
专知会员服务
58+阅读 · 2021年8月8日
【NAACL2021】Graph4NLP:图深度学习自然语言处理,附239页ppt
专知会员服务
105+阅读 · 2021年6月12日
【ST2020硬核课】深度学习即统计学习,50页ppt
专知会员服务
63+阅读 · 2020年8月17日
如何建模动态图?看这份《时序图神经网络》26页ppt
专知会员服务
136+阅读 · 2020年7月25日
元学习与图神经网络逻辑推导,55页ppt
专知会员服务
127+阅读 · 2020年4月25日
相关基金
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
5+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员