会员服务
TOOLS ·
2021 年 2 月 8 日
Combining nondeterminism, probability, and termination: equational and metric reasoning
翻译：将非确定性、概率和终止性结合起来:等式推理和衡量推理
Matteo Mio,Ralph Sarkis,Valeria Vignudelli
Matteo Mio,Ralph Sarkis,Valeria Vignudelli

We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads, providing equational reasoning tools for establishing equivalences and distances of programs.


翻译：我们研究的是非决定性和概率行为与终止的可能性相结合产生的寺院,这在方案语义学中至关重要。 我们的主要贡献是向寺院介绍结果,为建立等同和距离方案提供方程推理工具。
0
下载
关闭预览

相关内容

【CIKM2020】神经逻辑推理，Neural Logic Reasoning
【CIKM2020】神经逻辑推理，Neural Logic Reasoning
专知会员服务
51+阅读 · 2020年8月25日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
77+阅读 · 2020年2月8日
【ICLR2020】利用图神经网络进行高效概率逻辑推理，Efficient Probabilistic Logic Reasoning with Graph Neural Networks
【ICLR2020】利用图神经网络进行高效概率逻辑推理，Efficient Probabilistic Logic Reasoning with Graph Neural Networks
专知会员服务
113+阅读 · 2020年1月29日
【斯坦福大学AAAI2020】跨越因果层次的概率推理，Probabilistic Reasoning across the Causal Hierarchy
【斯坦福大学AAAI2020】跨越因果层次的概率推理，Probabilistic Reasoning across the Causal Hierarchy
专知会员服务
46+阅读 · 2020年1月11日
【论文】用于推理的概率逻辑神经网络（Probabilistic Logic Neural Networks for Reasoning）
【论文】用于推理的概率逻辑神经网络（Probabilistic Logic Neural Networks for Reasoning）
专知会员服务
104+阅读 · 2019年12月30日
【ICCV 2019 Workshop】Geometric View of Optimal Transportation and Generative Adversarial Networks ，石溪大学，哈佛大学 顾险峰教授
【ICCV 2019 Workshop】Geometric View of Optimal Transportation and Generative Adversarial Networks ，石溪大学，哈佛大学 顾险峰教授
专知会员服务
26+阅读 · 2019年10月30日
经典书《机器学习：概率视角》（Machine Learning: a Probabilistic Perspective）第二版Python代码，附1098页pdf下载
经典书《机器学习：概率视角》（Machine Learning: a Probabilistic Perspective）第二版Python代码，附1098页pdf下载
专知会员服务
272+阅读 · 2019年10月25日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
35+阅读 · 2019年10月17日
MIT新书《强化学习与最优控制》
MIT新书《强化学习与最优控制》
专知会员服务
279+阅读 · 2019年10月9日
【IJCAI 2019 Tutorials】基于概率图模型的医疗决策分析（Medical decision analysis with probabilistic graphical models）
【IJCAI 2019 Tutorials】基于概率图模型的医疗决策分析（Medical decision analysis with probabilistic graphical models）
专知会员服务
46+阅读 · 2019年8月10日
已删除
已删除
将门创投
5+阅读 · 2018年2月28日
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
Arxiv
0+阅读 · 2021年3月30日
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems
Arxiv
0+阅读 · 2021年3月30日
Distributions.jl: Definition and Modeling of Probability Distributions in the JuliaStats Ecosystem
Arxiv
0+阅读 · 2021年3月29日
On symmetric higher-dimensional automata and bisimilarity
Arxiv
0+阅读 · 2021年3月28日
Probabilistic Planning with Preferences over Temporal Goals
Arxiv
0+阅读 · 2021年3月26日
The second boundary value problem for a discrete Monge-Ampere equation
Arxiv
0+阅读 · 2021年3月26日
Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution
Arxiv
0+阅读 · 2021年3月26日
On multi-conditioned conic fitting in Geometric algebra for conics
Arxiv
0+阅读 · 2021年3月25日
Probabilistic Logic Neural Networks for Reasoning
Arxiv
7+阅读 · 2019年6月20日
GQA: A New Dataset for Real-World Visual Reasoning and Compositional Question Answering
Arxiv
3+阅读 · 2019年5月10日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
TOOLS
相关VIP内容
【CIKM2020】神经逻辑推理，Neural Logic Reasoning
【CIKM2020】神经逻辑推理，Neural Logic Reasoning
专知会员服务
51+阅读 · 2020年8月25日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
77+阅读 · 2020年2月8日
【ICLR2020】利用图神经网络进行高效概率逻辑推理，Efficient Probabilistic Logic Reasoning with Graph Neural Networks
【ICLR2020】利用图神经网络进行高效概率逻辑推理，Efficient Probabilistic Logic Reasoning with Graph Neural Networks
专知会员服务
113+阅读 · 2020年1月29日
【斯坦福大学AAAI2020】跨越因果层次的概率推理，Probabilistic Reasoning across the Causal Hierarchy
【斯坦福大学AAAI2020】跨越因果层次的概率推理，Probabilistic Reasoning across the Causal Hierarchy
专知会员服务
46+阅读 · 2020年1月11日
【论文】用于推理的概率逻辑神经网络（Probabilistic Logic Neural Networks for Reasoning）
【论文】用于推理的概率逻辑神经网络（Probabilistic Logic Neural Networks for Reasoning）
专知会员服务
104+阅读 · 2019年12月30日
【ICCV 2019 Workshop】Geometric View of Optimal Transportation and Generative Adversarial Networks ，石溪大学，哈佛大学 顾险峰教授
【ICCV 2019 Workshop】Geometric View of Optimal Transportation and Generative Adversarial Networks ，石溪大学，哈佛大学 顾险峰教授
专知会员服务
26+阅读 · 2019年10月30日
经典书《机器学习：概率视角》（Machine Learning: a Probabilistic Perspective）第二版Python代码，附1098页pdf下载
经典书《机器学习：概率视角》（Machine Learning: a Probabilistic Perspective）第二版Python代码，附1098页pdf下载
专知会员服务
272+阅读 · 2019年10月25日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
35+阅读 · 2019年10月17日
MIT新书《强化学习与最优控制》
MIT新书《强化学习与最优控制》
专知会员服务
279+阅读 · 2019年10月9日
【IJCAI 2019 Tutorials】基于概率图模型的医疗决策分析（Medical decision analysis with probabilistic graphical models）
【IJCAI 2019 Tutorials】基于概率图模型的医疗决策分析（Medical decision analysis with probabilistic graphical models）
专知会员服务
46+阅读 · 2019年8月10日
热门VIP内容
相关资讯
已删除
已删除
将门创投
5+阅读 · 2018年2月28日
相关论文
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
Arxiv
0+阅读 · 2021年3月30日
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems
Arxiv
0+阅读 · 2021年3月30日
Distributions.jl: Definition and Modeling of Probability Distributions in the JuliaStats Ecosystem
Arxiv
0+阅读 · 2021年3月29日
On symmetric higher-dimensional automata and bisimilarity
Arxiv
0+阅读 · 2021年3月28日
Probabilistic Planning with Preferences over Temporal Goals
Arxiv
0+阅读 · 2021年3月26日
The second boundary value problem for a discrete Monge-Ampere equation
Arxiv
0+阅读 · 2021年3月26日
Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution
Arxiv
0+阅读 · 2021年3月26日
On multi-conditioned conic fitting in Geometric algebra for conics
Arxiv
0+阅读 · 2021年3月25日
Probabilistic Logic Neural Networks for Reasoning
Arxiv
7+阅读 · 2019年6月20日
GQA: A New Dataset for Real-World Visual Reasoning and Compositional Question Answering
Arxiv
3+阅读 · 2019年5月10日
Top
微信扫码咨询专知VIP会员
Top