刻画逻辑的存在性及论证语义的基本性质
人工智能
2020-03-04 v1 计算机科学中的逻辑
摘要
鉴于现有逻辑形式体系的种类繁多，为特定目的选取最合适的一种至关重要，例如用于表示某一特定应用相关的知识，或将形式体系用作问题求解的建模工具。意识到一种逻辑形式体系的性质，换言之，其根本的内在属性，是不可或缺的，并为知情选择提供基础。在本论文中，我们考虑抽象论证领域中刻画逻辑的存在性，以及存在性、唯一性、可表达性、可替换性与可验证性等性质。
引用
@article{arxiv.2003.00767,
title = {On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics},
author = {Ringo Baumann},
journal= {arXiv preprint arXiv:2003.00767},
year = {2020}
}
备注
Treatise