Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (263kB) | Preview |
Graphoids and separoids in model theory
Citation
Córdoba-Sánchez, Irene and Bielza Lozoya, María Concepción and Larrañaga Múgica, Pedro (2016). Graphoids and separoids in model theory. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM).
Description
| Title: | Graphoids and separoids in model theory |
|---|---|
| Author/s: |
|
| Item Type: | Monograph (Technical Report) |
| Date: | 2016 |
| Subjects: | |
| Freetext Keywords: | Graphoid; Separoid; Conditional independence;Mathematical logic |
| Faculty: | E.T.S. de Ingenieros Informáticos (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Abstract
We treat graphoid and separoid structures within the mathematical framework of model theory, specially suited for representing and analysing axiomatic systems with multiple semantics. We represent the graphoid axiom set in model theory, and translate algebraic separoid structures to another axiom set over the same symbols as graphoids. This brings both structures to a common, sound theoretical ground where they can be fairly compared. Our contribution further serves as a bridge between the most recent developments in formal logic research, and the well-known graphoid applications in probabilistic graphical modelling.
More information
| Item ID: | 41330 |
|---|---|
| DC Identifier: | https://oa.upm.es/41330/ |
| OAI Identifier: | oai:oa.upm.es:41330 |
| Deposited by: | Biblioteca Facultad de Informatica |
| Deposited on: | 14 Jun 2016 13:33 |
| Last Modified: | 14 Jun 2016 13:33 |
