La teoría de Olog es un intento de proporcionar un marco matemático riguroso para la representación del conocimiento, la construcción de modelos científicos y el almacenamiento de datos utilizando la teoría de categorías, herramientas lingüísticas y gráficas. La teoría de Olog fue introducida en 2010 por David Spivak,[1] un científico investigador en el Departamento de Matemáticas, MIT.
Esquema de la teoría de Olog.
Etimología
El término "olog" es abreviatura de "registro de ontología". "Ontología" deriva del griego ὤν , ὄντος "ser", que es ", participio presente del verbo εἰμί " ser ", y -λογία , -logia : ciencia , estudio , teoría.
El formalismo matemático
En el nivel básico un olog es una categoría cuyos objetos están representados como cajas que contienen oraciones y cuyos morfismos están representados como flechas etiquetadas dirigidas entre cajas. Las estructuras de las oraciones tanto para los objetos como para los morfismos de deben ser compatibles con la definición matemática de . Esta compatibilidad no puede ser verificada matemáticamente, porque se encuentra en la correspondencia entre las ideas matemáticas y el lenguaje natural.
Cada olog tiene una categoría objetivo , que se considera (Categoría de conjuntos), la categoría de conjuntos y funciones, a menos que se indique lo contrario. En ese caso, estamos viendo un conjunto de aminoácidos, un conjunto de grupos amina, y una función que asigna a cada aminoácido su grupo amina. En este artículo usualmente nos atenemos a , Aunque a veces usando la categoría de Kleisli de la mónada de conjunto de potencia. Otra posibilidad, aunque no se utilice aquí, sería utilizar la categoría de Kleisli de las distribuciones de probabilidad (mónada de Giry), por ejemplo, para obtener una generalización de los procesos de decisión de Markov.
Las casillas del ejemplo anterior se refieren a objetos de . Por ejemplo, la caja que contiene la frase "un aminoácido" se refiere al conjunto de todos los aminoácidos y la caja que contiene la frase "una cadena lateral" se refiere al conjunto de todas las cadenas laterales. La flecha marcada con "tiene" cuya fuente es "un aminoácido" y cuyo objetivo es "una cadena lateral" se refiere a un morfismo entre dos objetos de y por lo tanto necesita ser una función entre dos conjuntos. De hecho, cada aminoácido tiene una cadena lateral única por lo que la flecha es un morfismo válido de . La naturaleza funcional de los morfismos se expresa en un olog marcando flechas con oraciones apropiadas (por ejemplo, "has").
Referencias
Spivak (2011). «Ologs: A categorical framework for knowledge representation». arXiv:1102.1889v1 [cs.LO].
Datos:Q7088492
Agosto 10, 2021
olog, teoría, intento, proporcionar, marco, matemático, riguroso, para, representación, conocimiento, construcción, modelos, científicos, almacenamiento, datos, utilizando, teoría, categorías, herramientas, lingüísticas, gráficas, teoría, introducida, 2010, da. La teoria de Olog es un intento de proporcionar un marco matematico riguroso para la representacion del conocimiento la construccion de modelos cientificos y el almacenamiento de datos utilizando la teoria de categorias herramientas linguisticas y graficas La teoria de Olog fue introducida en 2010 por David Spivak 1 un cientifico investigador en el Departamento de Matematicas MIT Esquema de la teoria de Olog Etimologia EditarEl termino olog es abreviatura de registro de ontologia Ontologia deriva del griego ὤn ὄntos ser que es participio presente del verbo eἰmi ser y logia logia ciencia estudio teoria El formalismo matematico EditarEn el nivel basico un olog C displaystyle C es una categoria cuyos objetos estan representados como cajas que contienen oraciones y cuyos morfismos estan representados como flechas etiquetadas dirigidas entre cajas Las estructuras de las oraciones tanto para los objetos como para los morfismos de C displaystyle C deben ser compatibles con la definicion matematica de C displaystyle C Esta compatibilidad no puede ser verificada matematicamente porque se encuentra en la correspondencia entre las ideas matematicas y el lenguaje natural Cada olog tiene una categoria objetivo que se considera C o n j u n t o displaystyle Conjunto Categoria de conjuntos la categoria de conjuntos y funciones a menos que se indique lo contrario En ese caso estamos viendo un conjunto de aminoacidos un conjunto de grupos amina y una funcion que asigna a cada aminoacido su grupo amina En este articulo usualmente nos atenemos a C o n j u n t o displaystyle Conjunto Aunque a veces usando la categoria de Kleisli C p displaystyle Cp de la monada de conjunto de potencia Otra posibilidad aunque no se utilice aqui seria utilizar la categoria de Kleisli de las distribuciones de probabilidad monada de Giry por ejemplo para obtener una generalizacion de los procesos de decision de Markov Las casillas del ejemplo anterior se refieren a objetos de C o n j u n t o displaystyle Conjunto Por ejemplo la caja que contiene la frase un aminoacido se refiere al conjunto de todos los aminoacidos y la caja que contiene la frase una cadena lateral se refiere al conjunto de todas las cadenas laterales La flecha marcada con tiene cuya fuente es un aminoacido y cuyo objetivo es una cadena lateral se refiere a un morfismo entre dos objetos de C o n j u n t o displaystyle Conjunto y por lo tanto necesita ser una funcion entre dos conjuntos De hecho cada aminoacido tiene una cadena lateral unica por lo que la flecha es un morfismo valido de C o n j u n t o displaystyle Conjunto La naturaleza funcional de los morfismos C o n j u n t o displaystyle Conjunto se expresa en un olog marcando flechas con oraciones apropiadas por ejemplo has Referencias Editar Spivak 2011 Ologs A categorical framework for knowledge representation arXiv 1102 1889v1 cs LO Datos Q7088492Obtenido de https es wikipedia org w index php title Olog amp oldid 117509138, wikipedia, wiki, leyendo, leer, libro, biblioteca,
