基于半环的团队语义统一基础
计算机科学中的逻辑
2023-03-15 v1 数据库
摘要
一阶逻辑的半环语义提供了一种追踪模型所表示的事实如何被用于推导公式满足性的方式。团队语义是通过用描述变量间依赖关系的原子扩展一阶逻辑，从而在数据库、量子力学和统计学等不同语境中研究依赖与独立逻辑的一个框架。将二者结合，我们提出了一种通过新颖的半环团队语义来分析依赖与独立概念的统一方法，它涵盖了先前考虑的所有一阶团队语义变体。特别地，我们研究了不同半环之间依赖关系与公式满足性的保持。此外，我们建立了与溯源、计数和修复等推理任务的联系。
引用
@article{arxiv.2303.07926,
title = {Unified Foundations of Team Semantics via Semirings},
author = {Timon Barlag and Miika Hannula and Juha Kontinen and Nina Pardal and Jonni Virtema},
journal= {arXiv preprint arXiv:2303.07926},
year = {2023}
}