论文标题
关于论证语义的表征逻辑和基本属性的存在
On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics
论文作者
论文摘要
鉴于现有的逻辑形式主义种类繁多，为特定目的选择最适当的形式至关重要，例如代表与特定应用程序相关的知识或将形式主义作为解决问题的建模工具。换句话说，对逻辑形式主义的本质的意识是必不可少的，并提供了知情选择的基础。在这本论文中，我们考虑存在的存在逻辑以及诸如存在和唯一性，表达性，替代性和可验证性的属性
Given the large variety of existing logical formalisms it is of utmost importance to select the most adequate one for a specific purpose, e.g. for representing the knowledge relevant for a particular application or for using the formalism as a modeling tool for problem solving. Awareness of the nature of a logical formalism, in other words, of its fundamental intrinsic properties, is indispensable and provides the basis of an informed choice. In this treatise we consider the existence characterization logics as well as properties like existence and uniqueness, expressibility, replaceability and verifiability in the realm of abstract argumentation
