DSI inicio tema 1

2 files changed, 719 insertions, 0 deletions

diff --git a/dsi/n.lyx b/dsi/n.lyx
new file mode 100644
index 0000000..a18639b
--- /dev/null
+++ b/dsi/n.lyx
@@ -0,0 +1,163 @@
+#LyX 2.3 created this file. For more info see http://www.lyx.org/
+\lyxformat 544
+\begin_document
+\begin_header
+\save_transient_properties true
+\origin unavailable
+\textclass book
+\begin_preamble
+\input{../defs}
+\usepackage[x11names, svgnames, rgb]{xcolor}
+%\usepackage[utf8]{inputenc}
+\usepackage{tikz}
+\usetikzlibrary{snakes,arrows,shapes}
+\end_preamble
+\use_default_options true
+\begin_modules
+algorithm2e
+\end_modules
+\maintain_unincluded_children false
+\language spanish
+\language_package default
+\inputencoding auto
+\fontencoding global
+\font_roman "default" "default"
+\font_sans "default" "default"
+\font_typewriter "default" "default"
+\font_math "auto" "auto"
+\font_default_family default
+\use_non_tex_fonts false
+\font_sc false
+\font_osf false
+\font_sf_scale 100 100
+\font_tt_scale 100 100
+\use_microtype false
+\use_dash_ligatures true
+\graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
+\paperfontsize 10
+\spacing single
+\use_hyperref false
+\papersize a5paper
+\use_geometry true
+\use_package amsmath 1
+\use_package amssymb 1
+\use_package cancel 1
+\use_package esint 1
+\use_package mathdots 1
+\use_package mathtools 1
+\use_package mhchem 1
+\use_package stackrel 1
+\use_package stmaryrd 1
+\use_package undertilde 1
+\cite_engine basic
+\cite_engine_type default
+\biblio_style plain
+\use_bibtopic false
+\use_indices false
+\paperorientation portrait
+\suppress_date false
+\justification true
+\use_refstyle 1
+\use_minted 0
+\index Index
+\shortcut idx
+\color #008000
+\end_index
+\leftmargin 0.2cm
+\topmargin 0.7cm
+\rightmargin 0.2cm
+\bottommargin 0.7cm
+\secnumdepth 3
+\tocdepth 3
+\paragraph_separation indent
+\paragraph_indentation default
+\is_math_indent 0
+\math_numbering_side default
+\quotes_style swiss
+\dynamic_quotes 0
+\papercolumns 1
+\papersides 1
+\paperpagestyle empty
+\listings_params "basicstyle={\ttfamily}"
+\tracking_changes false
+\output_changes false
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict false
+\end_header
+
+\begin_body
+
+\begin_layout Title
+Desarrollo de sistemas inteligentes
+\end_layout
+
+\begin_layout Date
+\begin_inset Note Note
+status open
+
+\begin_layout Plain Layout
+
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+def
+\backslash
+cryear{2022}
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\begin_inset CommandInset include
+LatexCommand input
+filename "../license.lyx"
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+Bibliografía:
+\end_layout
+
+\begin_layout Itemize
+Apuntes de clase.
+\end_layout
+
+\begin_layout Chapter
+Ontologías
+\end_layout
+
+\begin_layout Standard
+\begin_inset CommandInset include
+LatexCommand input
+filename "n1.lyx"
+
+\end_inset
+
+
+\end_layout
+
+\end_body
+\end_document
diff --git a/dsi/n1.lyx b/dsi/n1.lyx
new file mode 100644
index 0000000..7927f97
--- /dev/null
+++ b/dsi/n1.lyx
@@ -0,0 +1,556 @@
+#LyX 2.3 created this file. For more info see http://www.lyx.org/
+\lyxformat 544
+\begin_document
+\begin_header
+\save_transient_properties true
+\origin unavailable
+\textclass book
+\begin_preamble
+\input{../defs}
+\end_preamble
+\use_default_options true
+\maintain_unincluded_children false
+\language spanish
+\language_package default
+\inputencoding auto
+\fontencoding global
+\font_roman "default" "default"
+\font_sans "default" "default"
+\font_typewriter "default" "default"
+\font_math "auto" "auto"
+\font_default_family default
+\use_non_tex_fonts false
+\font_sc false
+\font_osf false
+\font_sf_scale 100 100
+\font_tt_scale 100 100
+\use_microtype false
+\use_dash_ligatures true
+\graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
+\paperfontsize default
+\spacing single
+\use_hyperref false
+\papersize default
+\use_geometry false
+\use_package amsmath 1
+\use_package amssymb 1
+\use_package cancel 1
+\use_package esint 1
+\use_package mathdots 1
+\use_package mathtools 1
+\use_package mhchem 1
+\use_package stackrel 1
+\use_package stmaryrd 1
+\use_package undertilde 1
+\cite_engine basic
+\cite_engine_type default
+\biblio_style plain
+\use_bibtopic false
+\use_indices false
+\paperorientation portrait
+\suppress_date false
+\justification true
+\use_refstyle 1
+\use_minted 0
+\index Index
+\shortcut idx
+\color #008000
+\end_index
+\secnumdepth 3
+\tocdepth 3
+\paragraph_separation indent
+\paragraph_indentation default
+\is_math_indent 0
+\math_numbering_side default
+\quotes_style french
+\dynamic_quotes 0
+\papercolumns 1
+\papersides 1
+\paperpagestyle default
+\tracking_changes false
+\output_changes false
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict false
+\end_header
+
+\begin_body
+
+\begin_layout Standard
+La 
+\series bold
+ontología
+\series default
+ es una rama de la metafísica que busca una explicación sistemática de lo
+ que hay, qué entidades existen y cuáles no, y plantea preguntas como qué
+ son las cosas, si existen los conceptos fuera de nuestra mente, cuál es
+ la esencia de las cosas que permanece a través de los cambios o cómo clasificar
+ entidades del mundo real.
+\end_layout
+
+\begin_layout Standard
+Una 
+\series bold
+conceptualización
+\series default
+ es un modelo abstracto de un fenómeno real mediante la identificación de
+ los conceptos relevantes de este.
+ Una 
+\series bold
+ontología
+\series default
+ es un sistema de categorías para sistematizar cierta visión del mundo,
+ y define los términos básicos y relaciones que componen el vocabulario
+ de un cierto tema junto con reglas para combinar términos y relaciones
+ con los que definir extensiones al vocabulario.
+ Es una especificación explícita en un lenguaje formal de una conceptualización
+ compartida y aceptada por un grupo.
+\end_layout
+
+\begin_layout Standard
+Desde los 90, las ontologías se han consolidado como parte de la inteligencia
+ artificial, pues permiten comprender los aspectos básicos del dominio,
+ aseguran que todas las partes implicadas lleguen a un acuerdo sobre cómo
+ describir los conceptos y permiten reutilizar el conocimiento entre distintas
+ aplicaciones al representarlo de forma declarativa.
+\end_layout
+
+\begin_layout Standard
+Según la riqueza de su estructura, las ontologías pueden ser:
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Vocabularios controlados:
+\series default
+ Listas finitas de términos, como un catálogo.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Glosarios:
+\series default
+ Listas de términos junto a sus significados en lenguaje natural.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Taxonomías informales:
+\series default
+ Listas de términos organizados en una relación 
+\begin_inset Quotes cld
+\end_inset
+
+es un
+\begin_inset Quotes crd
+\end_inset
+
+ no estricta.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Tesauros:
+\series default
+ Listas de términos que representan conceptos, temas o contenidos de documentos
+ y mejoran el acceso a los mismos.
+ Pueden incluir 
+\series bold
+relaciones jerárquicas
+\series default
+ a modo de taxonomía informal; 
+\series bold
+de equivalencia
+\series default
+ como sinonimia, homonimia, antonimia y polisemia, y 
+\series bold
+asociativas
+\series default
+, que mejoran las estrategias de recuperación de datos y ayudan a reducir
+ la cantidad de jerarquías entre términos.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Taxonomías formales:
+\series default
+ Incluyen una jerarquía de clases, de modo que si 
+\begin_inset Formula $B$
+\end_inset
+
+ es subclase de 
+\begin_inset Formula $A$
+\end_inset
+
+, toda instancia de 
+\begin_inset Formula $B$
+\end_inset
+
+ lo es también de 
+\begin_inset Formula $A$
+\end_inset
+
+, y puede incluir instancias concretas de las clases.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Basadas en 
+\emph on
+\lang english
+frames
+\emph default
+\lang spanish
+:
+\series default
+ Como taxonomías formales pero las clases tienen propiedades o atributos,
+ que se heredan.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Con restricciones para los valores:
+\series default
+ Como las basadas en 
+\emph on
+\lang english
+frames
+\emph default
+\lang spanish
+ pero pudiendo restringir los valores que pueden adoptar los atributos.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Con restricciones lógicas generales:
+\series default
+ Las más expresivas.
+ Permiten definir restricciones arbitrarias sobre los conceptos e instancias.
+\end_layout
+
+\begin_layout Standard
+Según lo que representan:
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Para la representación del conocimiento,
+\series default
+ como 
+\emph on
+\lang english
+Frame Ontology
+\emph default
+\lang spanish
+, 
+\emph on
+\lang english
+RDF Schema
+\emph default
+\lang spanish
+ u 
+\emph on
+\lang english
+OWL Reference
+\emph default
+\lang spanish
+, que describen primitivas para modelar y formalizar conocimiento siguiendo
+ un paradigma de representación.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+De alto nivel,
+\series default
+ que describen conceptos muy generales e indicaciones para organizar los
+ conceptos raíz en otras ontologías.
+ Algunas son 
+\begin_inset Flex URL
+status open
+
+\begin_layout Plain Layout
+
+ontology4.us
+\end_layout
+
+\end_inset
+
+, 
+\begin_inset Flex URL
+status open
+
+\begin_layout Plain Layout
+
+schema.org
+\end_layout
+
+\end_inset
+
+ y la 
+\emph on
+\lang english
+IEEE Standard Upper Ontology
+\emph default
+\lang spanish
+ (SUO), creada con la idea de consensuar una ontología común y que dio lugar
+ a la 
+\emph on
+\lang english
+Suggested Upper Merged Ontology
+\emph default
+\lang spanish
+ (SUMO).
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+De dominio,
+\series default
+ como las de 
+\emph on
+\lang english
+DERI vocabularies
+\emph default
+\lang spanish
+ y 
+\emph on
+\lang english
+Ontohub Repository
+\emph default
+\lang spanish
+, que representan descripciones reutilizables en un cierto dominio (médico,
+ legal, ingeniería, etc.), con un vocabulario sobre los conceptos, relaciones
+ y actividades del dominio y las teorías y principios que lo rigen.
+ En general sus conceptos son instancias de las ontologías de alto nivel.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+De métodos,
+\series default
+ para describir cómo se resuelve un cierto problema.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+De tareas,
+\series default
+ como 
+\emph on
+\lang english
+Scheduling Task
+\emph default
+\lang spanish
+, con vocabulario sobre una tarea genérica o actividad (diagnóstico, planificaci
+ón, etc.), para describir un problema independiente del dominio.
+ Puede tener asociadas ontologías de métodos.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+De aplicación,
+\series default
+ como las de 
+\emph on
+\lang english
+Ontohub Repository
+\emph default
+\lang spanish
+, con las definiciones necesarias para modelar el conocimiento requerido
+ en una cierta aplicación, y que se suelen crear extendiendo ontologías
+ de dominio y de tareas.
+\end_layout
+
+\begin_layout Standard
+Una 
+\series bold
+clase
+\series default
+ es una descripción formal de un concepto del universo o dominio a representar.
+ Las clases se organizan en jerarquías o taxonomías con la relación 
+\begin_inset Quotes cld
+\end_inset
+
+es un
+\begin_inset Quotes crd
+\end_inset
+
+ de subclase.
+ Para decidir qué clases considerar, se tienen en cuenta los objetivos de
+ la ontología.
+ Una 
+\series bold
+instancia
+\series default
+ es un objeto de una clase.
+ La 
+\series bold
+base de hechos
+\series default
+ es la colección de todas las instancias.
+ Una instancia es 
+\series bold
+indirecta
+\series default
+ respecto a una clase si pertenece a una subclase directa o indirecta de
+ esta.
+ Las 
+\series bold
+clases abstractas
+\series default
+ no pueden tener instancias directas, y se usan para agrupar conceptos e
+ introducir cierto orden en la jerarquía.
+\end_layout
+
+\begin_layout Standard
+Las clases pueden tener 
+\series bold
+propiedades
+\series default
+, 
+\series bold
+atributos
+\series default
+ o 
+\series bold
+\emph on
+\lang english
+slots
+\series default
+\emph default
+\lang spanish
+, que representan características que permiten describir más detalladamente
+ la clase y sus instancias.
+ Los valores de las propiedades pueden ser de tipos básicos como cadenas
+ de caracteres o números.
+\end_layout
+
+\begin_layout Standard
+Una 
+\series bold
+relación
+\series default
+ es una asociación entre conceptos de distintas clases, 
+\begin_inset Formula $R\subseteq C_{1}\times\dots\times C_{n}$
+\end_inset
+
+, donde cada 
+\begin_inset Formula $C_{i}$
+\end_inset
+
+ es el conjunto de instancias directas o indirectas de una clase.
+ Normalmente las ontologías se basan en relaciones binarias, con dos clases
+ llamadas 
+\series bold
+dominio
+\series default
+ y 
+\series bold
+rango
+\series default
+ de la relación.
+ Las relaciones pueden tener atributos y formar parte de taxonomías, y entonces
+ se suelen definir como conceptos.
+ Una 
+\series bold
+función
+\series default
+ 
+\begin_inset Formula $F:C_{1}\times\dots C_{n-1}\to C_{n}$
+\end_inset
+
+ es una relación 
+\begin_inset Formula $F\subseteq C_{1}\times\dots\times C_{n}$
+\end_inset
+
+ que no contiene tuplas que difieran solo en su último elemento.
+\end_layout
+
+\begin_layout Standard
+Una 
+\series bold
+restricción
+\series default
+, 
+\series bold
+faceta
+\series default
+ o 
+\series bold
+\emph on
+facet
+\series default
+\emph default
+ es una propiedad de las relaciones, conceptos y atributos, como cardinalidad,
+ obligatoriedad, valores por defecto, etc.
+\end_layout
+
+\begin_layout Standard
+Un 
+\series bold
+axioma
+\series default
+ es una sentencia lógica que siempre debe ser cierta y no puede ser modelada
+ por los elementos anteriores.
+ Los axiomas sirven para verificar la consistencia de la ontología o del
+ conocimiento almacenado y para inferir nuevo conocimiento.
+\end_layout
+
+\begin_layout Standard
+Algunas ontologías:
+\end_layout
+
+\begin_layout Enumerate
+Las 
+\series bold
+ontologías lingüísticas
+\series default
+ definen estructuras semánticas, y no un dominio específico.
+ 
+\emph on
+\lang english
+WordNet
+\emph default
+\lang spanish
+ es una gran base de datos con información léxica del inglés basada en teorías
+ psicolingüísticas.
+ Organiza la información según el significado de las palabras, aunque teniendo
+ en cuenta inflexiones morfológicas, y consta de unos 70000 conjuntos de
+ sinónimos o 
+\emph on
+synsets
+\emph default
+ y relaciones entre ellos de sinonimia, antonimia, hiperonimia (subclase
+ de), hiponimia (superclase de).
+\begin_inset Note Note
+status open
+
+\begin_layout Plain Layout
+TODO 21
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\end_body
+\end_document