Open AccessApproximation and dependence via multiteam semantics
Author(s) -
Arnaud Durand,
Miika Hannula,
Juha Kontinen,
Arne Meier,
Jonni Virtema
Publication year - 2018
Publication title -
annals of mathematics and artificial intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.369
H-Index - 55
eISSN - 1573-7470
pISSN - 1012-2443
DOI - 10.1007/s10472-017-9568-4
Subject(s) - semantics (computer science) , probabilistic logic , independence (probability theory) , mathematics , complex system , discrete mathematics , theoretical computer science , algebra over a field , computer science , pure mathematics , artificial intelligence , programming language , statistics
We define a variant of team semantics called based on multisets and study the properties of various logics in this framework. In particular, we define natural probabilistic versions of inclusion and independence atoms and certain approximation operators motivated by approximate dependence atoms of Väänänen.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom