A Primer for Preferential Non-Monotonic Propositional Team Logics
This work addresses foundational issues in logic and AI for researchers in non-monotonic reasoning and team semantics, but it appears incremental as it adapts existing frameworks to a specific logical setting.
The paper tackles the problem of extending KLM-style preferential non-monotonic reasoning to propositional team semantics, showing that team-based logics yield cumulative non-monotonic entailment relations and providing a characterization for preferential models in propositional dependence logic that satisfy System P postulates.
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.