A Primer for Preferential Non-Monotonic Propositional Team Logics
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929340627812352 |
|---|---|
| author | Sauerwald, Kai Kontinen, Juha |
| author_facet | Sauerwald, Kai Kontinen, Juha |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_06973 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Primer for Preferential Non-Monotonic Propositional Team Logics Sauerwald, Kai Kontinen, Juha Artificial Intelligence Logic in Computer Science 03B60 I.2.3; F.4.1 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. |
| title | A Primer for Preferential Non-Monotonic Propositional Team Logics |
| topic | Artificial Intelligence Logic in Computer Science 03B60 I.2.3; F.4.1 |
| url | https://arxiv.org/abs/2405.06973 |