统计 EL 是 ExpTime 完全的
计算机科学中的逻辑
2021-03-08 v5 人工智能
摘要
我们证明了由 Pe{\~{n}}aloza 和 Potyka 定义的统计 EL 本体的一致性问题是 ExpTime 难的。结合已有的 ExpTime 上界，我们得出结论该逻辑是 ExpTime 完全的。我们的证明通过从扩展了原子概念否定的 EL 的一致性问题归约而得。
引用
@article{arxiv.1911.00696,
title = {Statistical EL is ExpTime-complete},
author = {Bartosz Bednarczyk},
journal= {arXiv preprint arXiv:1911.00696},
year = {2021}
}
备注
Major revision of the previous version, extra lemma provided, a few grammar corrections. Under submission to IPL