会员服务
统计量 · Atom（文本编辑器） · 人工智能 ·
2021 年 3 月 5 日
Statistical EL is ExpTime-complete
翻译：统计EL
Bartosz Bednarczyk
Bartosz Bednarczyk
from arxiv, Major revision of the previous version, extra lemma provided, a few grammar corrections. Under submission to IPL

We show that the consistency problem for Statistical EL ontologies, defined by Pe{\~{n}}aloza and Potyka, is ExpTime-hard. Together with existing ExpTime upper bounds, we conclude ExpTime-completeness of the logic. Our proof goes via a reduction from the consistency problem for EL extended with negation of atomic concepts.


翻译：我们发现,由Pe ⁇ n ⁇ aloza和Potyka定义的统计EL内核学的连贯性问题非常严重。 与现有的Extrame Times上限一起,我们得出了逻辑的耗时性。 我们的证据是通过减少EL内核的连贯性问题和对原子概念的否定来证明的。
0
下载
关闭预览

相关内容

【哈佛大学干货书】概率导论，589页pdf，Introduction to Probability
【哈佛大学干货书】概率导论，589页pdf，Introduction to Probability
专知会员服务
133+阅读 · 2021年1月24日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
专知会员服务
119+阅读 · 2020年5月30日
【UIUC硬核书】统计学习理论，Statistical Learning Theory，213页pdf
【UIUC硬核书】统计学习理论，Statistical Learning Theory，213页pdf
专知会员服务
133+阅读 · 2020年4月14日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
统计学习理论之父Vapnik-MIT2020报告《完全学习统计理论Statistical Theory of Learning》
统计学习理论之父Vapnik-MIT2020报告《完全学习统计理论Statistical Theory of Learning》
专知会员服务
84+阅读 · 2020年2月16日
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
专知会员服务
15+阅读 · 2019年11月30日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
专知
18+阅读 · 2020年5月30日
计算机 | 国际会议信息5条
计算机 | 国际会议信息5条
Call4Papers
3+阅读 · 2019年7月3日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
Call4Papers
6+阅读 · 2019年4月1日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
Disentangled的假设的探讨
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
已删除
已删除
将门创投
5+阅读 · 2018年6月7日
Linguistically Regularized LSTMs for Sentiment Classification
Linguistically Regularized LSTMs for Sentiment Classification
黑龙江大学自然语言处理实验室
8+阅读 · 2018年5月4日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
计算机类 | 期刊专刊截稿信息9条
计算机类 | 期刊专刊截稿信息9条
Call4Papers
4+阅读 · 2018年1月26日
On the $Φ$-Stability and Related Conjectures
Arxiv
0+阅读 · 2021年4月29日
Probabilistic Safety-Assured Adaptive Merging Control for Autonomous Vehicles
Arxiv
0+阅读 · 2021年4月29日
Vertex Deletion Parameterized by Elimination Distance and Even Less
Arxiv
0+阅读 · 2021年4月28日
Local Algorithms for Sparse Spanning Graphs
Arxiv
0+阅读 · 2021年4月27日
An FPTAS for the $Δ$-modular multidimensional knapsack problem
Arxiv
0+阅读 · 2021年4月27日
Evolutionary Diversity Optimization and the Minimum Spanning Tree Problem
Arxiv
0+阅读 · 2021年4月27日
Statistical significance revisited
Arxiv
0+阅读 · 2021年4月27日
Consistency issues in Gaussian Mixture Models reduction algorithms
Arxiv
0+阅读 · 2021年4月26日
Products of Euclidean metrics and applications to proximity questions among curves
Arxiv
3+阅读 · 2020年4月13日
The Search Problem in Mixture Models
Arxiv
3+阅读 · 2018年2月24日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
统计量
Atom（文本编辑器）
人工智能
相关VIP内容
【哈佛大学干货书】概率导论，589页pdf，Introduction to Probability
【哈佛大学干货书】概率导论，589页pdf，Introduction to Probability
专知会员服务
133+阅读 · 2021年1月24日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
专知会员服务
119+阅读 · 2020年5月30日
【UIUC硬核书】统计学习理论，Statistical Learning Theory，213页pdf
【UIUC硬核书】统计学习理论，Statistical Learning Theory，213页pdf
专知会员服务
133+阅读 · 2020年4月14日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
统计学习理论之父Vapnik-MIT2020报告《完全学习统计理论Statistical Theory of Learning》
统计学习理论之父Vapnik-MIT2020报告《完全学习统计理论Statistical Theory of Learning》
专知会员服务
84+阅读 · 2020年2月16日
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
专知会员服务
15+阅读 · 2019年11月30日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
专知
18+阅读 · 2020年5月30日
计算机 | 国际会议信息5条
计算机 | 国际会议信息5条
Call4Papers
3+阅读 · 2019年7月3日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
Call4Papers
6+阅读 · 2019年4月1日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
Disentangled的假设的探讨
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
已删除
已删除
将门创投
5+阅读 · 2018年6月7日
Linguistically Regularized LSTMs for Sentiment Classification
Linguistically Regularized LSTMs for Sentiment Classification
黑龙江大学自然语言处理实验室
8+阅读 · 2018年5月4日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
计算机类 | 期刊专刊截稿信息9条
计算机类 | 期刊专刊截稿信息9条
Call4Papers
4+阅读 · 2018年1月26日
相关论文
On the $Φ$-Stability and Related Conjectures
Arxiv
0+阅读 · 2021年4月29日
Probabilistic Safety-Assured Adaptive Merging Control for Autonomous Vehicles
Arxiv
0+阅读 · 2021年4月29日
Vertex Deletion Parameterized by Elimination Distance and Even Less
Arxiv
0+阅读 · 2021年4月28日
Local Algorithms for Sparse Spanning Graphs
Arxiv
0+阅读 · 2021年4月27日
An FPTAS for the $Δ$-modular multidimensional knapsack problem
Arxiv
0+阅读 · 2021年4月27日
Evolutionary Diversity Optimization and the Minimum Spanning Tree Problem
Arxiv
0+阅读 · 2021年4月27日
Statistical significance revisited
Arxiv
0+阅读 · 2021年4月27日
Consistency issues in Gaussian Mixture Models reduction algorithms
Arxiv
0+阅读 · 2021年4月26日
Products of Euclidean metrics and applications to proximity questions among curves
Arxiv
3+阅读 · 2020年4月13日
The Search Problem in Mixture Models
Arxiv
3+阅读 · 2018年2月24日
Top
微信扫码咨询专知VIP会员
Top