Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (263kB) | Vista Previa |
Graphoids and separoids in model theory
Cita
Córdoba Sánchez, Irene, Bielza Lozoya, María Concepción 
ORCID: https://orcid.org/0000-0001-7109-2668 and Larrañaga Múgica, Pedro María ORCID: https://orcid.org/0000-0003-0652-9872
(2016).
Graphoids and separoids in model theory.
Monografía (Informe Técnico).
E.T.S. de Ingenieros Informáticos (UPM).
ORCID: https://orcid.org/0000-0001-7109-2668 and Larrañaga Múgica, Pedro María ORCID: https://orcid.org/0000-0003-0652-9872
(2016).
Graphoids and separoids in model theory.
Monografía (Informe Técnico).
E.T.S. de Ingenieros Informáticos (UPM).
Descripción
| Título: | Graphoids and separoids in model theory |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Monográfico (Informe Técnico) |
| Fecha: | 2016 |
| Materias: | |
| ODS: | |
| Palabras Clave Informales: | Graphoid; Separoid; Conditional independence;Mathematical logic |
| Escuela: | E.T.S. de Ingenieros Informáticos (UPM) |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
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.
Más información
| ID de Registro: | 41330 |
|---|---|
| Identificador DC: | https://oa.upm.es/41330/ |
| Identificador OAI: | oai:oa.upm.es:41330 |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 14 Jun 2016 13:33 |
| Ultima Modificación: | 20 Mar 2024 18:37 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
