论文标题
经典Stit逻辑的战略片段的邻里语义和公理
Neighbourhood semantics and axioms for strategic fragment of classical stit logic
论文作者
论文摘要
Stit（认为这是）语义是代理模态逻辑中最突出的工具之一，在哲学家和负责任的AI学者中广泛使用。 Stit逻辑调查了某些事务状态所保持的代理商的特性，而没有指定保证该状态的具体行动。与其他多代理模态逻辑相比，Stit理论的主要优点是表达力。 Stit逻辑不仅允许研究代理能力执行某些动作的能力（就像是在联盟逻辑或命题动态逻辑的变化中一样），而且还涉及他们做出了什么选择以及他们获得的选择也是如此。 然而，在某些情况下，这种表达性可能是多余的。本文调查了经典Stit逻辑的特定片段，该逻辑只有战略模态操作员，这是代表代理人有能力看到某些事务状态所拥有的事实。提出了片段的邻域语义，并伴随着稳健性，因此结实的结果。此外，本文提出了有关所提出片段的认知扩展的基本考虑。
STIT (sees to it that) semantics is one of the most prominent tools in modal logic of agency, widely used among both philosophers and responsible AI scholars. STIT logic surveys the properties of agents seeing to it that some state of affairs holds without specifying concrete actions by which that state of affairs is guaranteed. In comparison with other multi-agent modal logics, the main advantage of STIT theories is expressive power. STIT logic allows to study not only statements about agents abilities to perform certain actions (as it is in variations of Coalition Logic or Propositional Dynamic Logic), but about what choices they make and what they de-facto achieve as well. Nevertheless, in some occasions such expressivity may be redundant. This paper surveys a specific fragment of classical STIT logic, which has only strategic modal operator, standing for the fact that agent has an ability to see to it that some state of affairs holds. The neighbourhood semantics for the fragment is presented, accompanied with the soundness, canoniciy hence strong completeness results. Furthermore, the paper presents basic considerations on epistemic extension of the presented fragment.
