Random expansions of finite structures with bounded degree
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908636787245056 |
|---|---|
| author | Koponen, Vera |
| author_facet | Koponen, Vera |
| contents | We consider finite relational signatures $τ\subseteq σ$, a sequence of finite base $τ$-structures $(\mathcal{B}_n : n \in \mathbb{N})$ the cardinalities of which tend to infinity and such that, for some number $Δ$, the degree of (the Gaifman graph of) every $\mathcal{B}_n$ is at most $Δ$. We let $\mathbf{W}_n$ be the set of all expansions of $\mathcal{B}_n$ to $σ$ and we consider a probabilistic graphical model, a concept used in machine learning and artificial intelligence, to generate a probability distribution $\mathbb{P}_n$ on $\mathbf{W}_n$ for all $n$. We use a many-valued ``probability logic'' with truth values in the unit interval to express probabilities within probabilistic graphical models and to express queries on $\mathbf{W}_n$. This logic uses aggregation functions (e.g. the average) instead of quantifiers and it can express all queries (on finite structures) that can be expressed with first-order logic since the aggregation functions maximum and minimum can be used to express existential and universal quantifications, respectively. The main results concern asymptotic elimination of aggregation functions (the analogue of almost sure elimination of quantifiers for two-valued logics with quantifiers) and the asymptotic distribution of truth values of formulas, the analogue of logical convergence results for two-valued logics. The structure theory that is developed for sequences $(\mathcal{B}_n : n \in \mathbb{N})$ as above may be of independent interest. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_04802 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Random expansions of finite structures with bounded degree Koponen, Vera Logic 03C13 03C10 03C80 03B70 68T27 60C05 F.4.1; I.2.4; G.3 We consider finite relational signatures $τ\subseteq σ$, a sequence of finite base $τ$-structures $(\mathcal{B}_n : n \in \mathbb{N})$ the cardinalities of which tend to infinity and such that, for some number $Δ$, the degree of (the Gaifman graph of) every $\mathcal{B}_n$ is at most $Δ$. We let $\mathbf{W}_n$ be the set of all expansions of $\mathcal{B}_n$ to $σ$ and we consider a probabilistic graphical model, a concept used in machine learning and artificial intelligence, to generate a probability distribution $\mathbb{P}_n$ on $\mathbf{W}_n$ for all $n$. We use a many-valued ``probability logic'' with truth values in the unit interval to express probabilities within probabilistic graphical models and to express queries on $\mathbf{W}_n$. This logic uses aggregation functions (e.g. the average) instead of quantifiers and it can express all queries (on finite structures) that can be expressed with first-order logic since the aggregation functions maximum and minimum can be used to express existential and universal quantifications, respectively. The main results concern asymptotic elimination of aggregation functions (the analogue of almost sure elimination of quantifiers for two-valued logics with quantifiers) and the asymptotic distribution of truth values of formulas, the analogue of logical convergence results for two-valued logics. The structure theory that is developed for sequences $(\mathcal{B}_n : n \in \mathbb{N})$ as above may be of independent interest. |
| title | Random expansions of finite structures with bounded degree |
| topic | Logic 03C13 03C10 03C80 03B70 68T27 60C05 F.4.1; I.2.4; G.3 |
| url | https://arxiv.org/abs/2401.04802 |