2000 character limit reached
A Primer for Preferential Non-Monotonic Propositional Team Logics (2405.06973v1)
Published 11 May 2024 in cs.AI and cs.LO
Abstract: 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.
- 2023. Unified foundations of team semantics via semirings. In KR, 75–85.
- 1997. Nonmonotonic Reasoning: An Overview, volume 73 of CSLI Lecture Notes. CSLI Publications, Stanford, CA.
- 2020. Questions and Dependency in Intuitionistic Logic. Notre Dame Journal of Formal Logic 61(1):75 – 115.
- 2018a. Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell. 83(3-4):297–320.
- 2018b. Probabilistic team semantics. In Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings, 186–206.
- 1993. Handbook of Logic in Artificial Intelligence and Logic Programming.
- Gabbay, D. M. 1984. Theoretical foundations for non-monotonic reasoning in expert systems. In Apt, K. R., ed., Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, volume 13 of NATO ASI Series, 439–457. Springer.
- Galliani, P. 2012. Inclusion and exclusion dependencies in team semantics: On some logics of imperfect information. Annals of Pure and Applied Logic 163(1):68 – 84.
- Galliani, P. 2015. The doxastic interpretation of team semantics. In Logic Without Borders, volume 5 of Ontos Mathematical Logic. De Gruyter. 167–192.
- 1994. Nonmonotonic inference based on expectations. Artif. Intell. 65(2):197–245.
- 2022. Temporal team semantics revisited. In Baier, C., and Fisman, D., eds., LICS ’22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, 44:1–44:13. ACM.
- 2016. A finite axiomatization of conditional independence and inclusion dependencies. Inf. Comput. 249:121–137.
- 2018. Complexity of propositional logics in team semantic. ACM Trans. Comput. Log. 19(1):2:1–2:14.
- 2020. Descriptive complexity of real computation and probabilistic independence logic. In Hermanns, H.; Zhang, L.; Kobayashi, N.; and Miller, D., eds., LICS ’20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020, 550–563. ACM.
- 2020. Polyteam semantics. J. Log. Comput. 30(8):1541–1566.
- 1990. Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1-2):167–207.
- 1991. Relations between the logic of theory change and nonmonotonic logic. In Fuhrmann, A., and Morreau, M., eds., The Logic of Theory Change, 183–205. Berlin, Heidelberg: Springer.
- Pearl, J. 1989. Probabilistic reasoning in intelligent systems - networks of plausible inference. Morgan Kaufmann series in representation and reasoning. Morgan Kaufmann.
- 2020. Cognitive logics - features, formalisms, and challenges. In Giacomo, G. D.; Catalá, A.; Dilkina, B.; Milano, M.; Barro, S.; Bugarín, A.; and Lang, J., eds., Proceedings of the 24nd European Conference on Artificial Intelligence (ECAI 2020), volume 325 of Frontiers in Artificial Intelligence and Applications, 2931–2932. IOS Press.
- Väänänen, J. 2007. Dependence Logic. Cambridge University Press.
- 2016. Propositional logics of dependence. Ann. Pure Appl. Logic 167(7):557–589.