This paper considers KLM-style preferential non-monotonic reasoning in the
setting of propositional team semantics. We show that team-based propositional
logics naturally give rise to cumulative non-monotonic entailment relations.
Motivated by the non-classical interpretation of disjunction in team semantics,
we give a precise characterization for preferential models for propositional
dependence logic satisfying all of System P postulates. Furthermore, we show
how classical entailment and dependence logic entailment can be expressed in
terms of non-trivial preferential models.

该论文探讨了命题团队语义中的 KLM 风格的偏好非单调推理，在非单调推理中，基于团队的命题逻辑自然地产生了累积性非单调蕴含关系。受团队语义中析取的非经典解释的启发，我们给出了满足所有 System P 公理的命题依赖逻辑的偏好模型的精确刻画。此外，我们展示了如何用非平凡的偏好模型表达经典蕴含和依赖逻辑蕴含。

优先非单调命题团队逻辑入门

A Primer for Preferential Non-Monotonic Propositional Team Logics

It is shown that disjunction of two switch-lists can blow up the
representation size exponentially. Since switch-lists can be negated without
any increase in size, this shows that conjunction of switch-lists also leads to
an exponential blow-up in general.

本文研究了两个开关列表的析取可能会导致表示大小呈指数级增长，而由于开关列表可以否定而不增加大小，因此证明了开关列表的合取在一般情况下也会导致指数级爆炸。

开关列表无法高效进行析取和合取操作

No Efficient Disjunction or Conjunction of Switch-Lists

We elaborate a theory for the modeling of concepts using the mathematical
structure of quantum mechanics. Concepts are represented by vectors in the
complex Hilbert space of quantum mechanics and membership weights of items are
modeled by quantum weights calculated following the quantum rules. We apply
this theory to model the disjunction of concepts and show that experimental
data of membership weights of items with respect to the disjunction of concepts
can be modeled accurately. It is the quantum effects of interference and
superposition, combined with an effect of context, that are at the origin of
the effects of overextension and underextension observed as deviations from a
classical use of the disjunction. We put forward a graphical explanation of the
effects of overextension and underextension by interpreting the quantum model
applied to the modeling of the disjunction of concepts.

利用量子力学的数学结构来建模概念，将概念通过量子态空间中的向量进行表示，利用量子规则计算量子权重来建模项目的成员权重，然后将该理论应用于模拟概念或关系的分离，并证明这种方法在实验数据上可以准确地建模，这种超杂化和欠杂化的现象是由于量子干涉和叠加效应，结合了上下文的效应而导致的，该论文为这些效应提供了图形解释。