1
Historia
Las categorías son los bloques de construcción primarios para cualquier esquema de representación del conocimiento.
Las redes semánticas proporcionan:
una ayuda gráfica para visualizar una base de conocimiento
algoritmos eficientes para inferir propiedades de un objeto en base a su pertenencia a una categoría.
Charles S. Peirce (1909) desarrolló los grafos existenciales como el primer formalismo de redes semánticas usando lógica moderna.
2
Historia
Ross Quillian (1961) inició el trabajo con las redes semánticas dentro del campo de la IA.
Un artículo influyente de Marvin Minsky (1975) presentó una nueva versión de las redes semánticas: los marcos.
Un marco era una representación de un objeto o categoría o concepto, con atributos y relaciones con otros objetos o categorías o conceptos.
El artículo fue criticado por ser un conjunto de ideas recicladas desarrolladas en el campo de la programación orientada a objetos, como la herencia y el uso de valores por defecto.
3
Historia
En los años ‘90, en el campo de la IA, se adoptó el termino ontología para los esquemas de representación del conocimiento basados en redes semánticas o marcos.
Una ontología es una especificación formal y explícita de una conceptualización compartida, que puede ser leída por un ordenador (Gruber, 1993; Borst, 1997; Studer et al., 1998; Ceccaroni, 2001).
4
Redes semánticas
Una red semántica es un grafo donde:
los nodos representan conceptos
los arcos (dirigidos) representan relaciones entre conceptos
Mecanismos de razonamiento específicos permiten responder a preguntas sobre la representación:
¿Están relacionados dos conceptos?
¿Que relaciona dos conceptos?
¿Cuál es el concepto mas cercano que relaciona dos conceptos?
5
Marcos
A los marcos se asocia normalmente una parte procedimental.
Las relaciones y atributos, y no solo las categorías, tienen una estructura que permite describir su semántica.
Ejemplo de marco:
Arteria
superclases: Vaso sanguíneo
pared: Muscular
forma:
6
Marcos
Un marco está generalmente dividido en:
una parte declarativa (atributos o slots)
una procedimental (métodos o demons)
La parte procedimental permite obtener más información o hacer cálculos sobre sus características o las relaciones que pueda tener con otros marcos.
La descripción de los atributos también está estructurada: un atributo puede tener propiedades (facets).
En el caso más general se pueden tener taxonomías de atributos.
7
Marcos
Las relaciones poseen una descripción formal que establece su semántica y su funcionamiento.
Dividimos las relaciones en dos simples clases:
taxonómicas:
enlace ES-UN (subclase/clase)
enlace INSTANCIA-DE (instancia/clase)
no taxonómicas
8
Marcos
Los atributos poseen un conjunto de propiedades que permiten establecer su semántica:
dominio
rango
cardinalidad
valor por defecto
métodos
…
Permiten definir procedimientos de manera que se realicen cálculos bajo ciertos eventos (a través de los métodos).
9
Marcos
Los métodos pueden ser:
if-needed (se activan al consultar el atributo);
if-added (se activan al asignar valor al atributo);
if-removed (se activan al borrar el valor del atributo);
if- modified (se activan al modificar el valor del atributo).
Se puede declarar como el mecanismo de herencia afecta a los atributos.
9
10
Marcos: atributos
Etiqueta
nombre:
valor:
dominio: lista de marcos donde puede aparecer
rango (tipo de valores que admite): lista, clase…
cardinalidad máxima:
cardinalidad mínima (si es = 1, el atributo es obligatorio):
valor-por-defecto (a usar si no hay valor):
función para calcular valor:
métodos (funciones con activación condicionada):
condiciones de herencia (atributo + valor): sí/no (por defecto: relaciones taxonómicas = sí; otras = no)
Para acceder al valor de un atributo se usa la sintaxis:
< nombre marco>.< nombre atributo> (valor o lista de valores)
11
Marcos: ejemplo de atributo
owl:edad
nombre: Edad
valor:
dominio (lista de marcos donde puede aparecer): clase Persona
rango (tipo de valores que admite): entero [0..140]; joven/viejo
cardinalidad máxima: 1
cardinalidad mínima (si es = 1, el atributo es obligatorio): 0
valor-por-defecto (a usar si no hay valor):
función para calcular valor:
métodos (funciones con activación condicionada):
condiciones de herencia (atributo + valor): sí/no (por defecto: relaciones taxonómicas = sí; otras = no)
Para acceder al valor del atributo se usa la sintaxis:
Persona.edad
11
12
Marcos: métodos
Son acciones o funciones que permiten obtener información sobre el mismo marco u otros marcos.
Los métodos pueden invocarse desde marcos abstractos (clases) o marcos concretos (instancias).
Pueden ser heredables (se permite invocarlos en los descendientes) o no heredables (exclusivos del marco donde están definidos).
A veces, pueden ser invocados con parámetros.
Ejemplo de método if-modified:
Si Deunan.edad tenía valor 28 y se modifica a 32, se activa un método que cambia el valor del atributo Deunan.ganas-de-casarse de 1 a 5.
12
Página siguiente  |