República Bolivariana de Venezuela

Universidad Fermín Toro

Cabudare - Lara

Representación del Conocimiento

Alumno:

Hernán Salazar

CI. 23039108

Cabudare, Diciembre 2015

Representación de Conocimiento

Una representación del conocimiento en IA es una combinación de estructuras de datos asociadas con mecanismos interpretativos que nos permiten manipular el conocimiento representado a fin de crear soluciones a problemas nuevos. La representación del conocimiento y el razonamiento es un área de la inteligencia artificial cuyo objetivo fundamental es representar el conocimiento de una manera que facilite la inferencia (sacar conclusiones) a partir de dicho conocimiento.

Una buena representación del conocimiento cubre seis características básicas:

Cobertura, que significa que la representación del conocimiento cubre la información en anchura y profundidad. Sin una cobertura amplia, la representación del conocimiento no puede determinar nada ni resolver ambigüedades.

Comprensible por humanos. La representación del conocimiento es vista como un lenguaje natural, así que la lógica debería fluir libremente. Debería soportar la modularidad y la jerarquía de clases (los osos polares son osos, que son animales). Debería además contar con primitivas simples que se combinen de forma compleja.

Consistencia. Si Pedro ha cerrado la puerta, también puede ser interpretado como la puerta ha sido cerrada por Pedro. Siendo consistente, la representación del conocimiento puede eliminar conocimiento redundante o conflictivo.

Eficiencia. Facilidad de modificación y actualización. Soporte de la actividad inteligente que usa la base de conocimiento.

Ontología

• Una ontología es algo análogo a un esquema de base de datos, no al contenido de la base de datos.

• Existen diversos lenguajes para poder representar una ontología

• La definición de una ontología como forma de representar los conceptos de interés de un determinado dominio, permite el entendimiento entre distintos programas.

Es una rama de la metafísica que estudia lo que hay. Intenta responder preguntas generales como: ¿Qué es la materia? ¿Qué es un proceso? ¿Qué es el espacio-tiempo? ¿Hay propiedades emergentes? ¿Se ajustan todos los eventos a alguna(s) ley(es)? ¿Hay especies naturales? ¿Qué hace real a un objeto? ¿Hay causas finales? ¿Es real el azar?

Tipos de Conocimiento

• Elementos básicos u objetos del mundo real.

• Aserciones y definiciones sobre los elementos básicos.

• Conceptos, agrupaciones o generalizaciones de elementos básicos.

• Relaciones, propiedades de los elementos y conceptos.

• Teoremas y reglas de reescritura.

• Algoritmos de resolución.

• Estrategias y heurísticas.

• Meta conocimiento.

Reglas de Producción

if

El paciente sufre dolor muscular, y una tensión se percibe en el área de su pierna, y una masa pulsante es palpada en la pierna.

then

El paciente padece una lesión en sus cuádriceps.

El Problema Marco

(The Frame Problem)

• Representación eficiente de las secuencias de estados que se generan en un proceso de búsqueda.

• El Problema Marco: es el problema de la representación de los hechos que cambian, así como de aquellos que no lo hacen (McCarthy y Hayes, 1969).

• Registrar todos los hechos en cada nodo.

• Inconveniente: muchos hechos serian representados muchas veces, y se emplearía mucho tiempo representándolos. Debajo (suelo, techo).

• No modificar el estado inicial y registrar en cada nodo una representación de los cambios.

• Modificar la descripción del estado pero registrar en cada nodo la información necesaria para deshacer la modificación.

A continuación se darán a conocer los métodos que existen para representar el conocimiento, estos muy importantes porque nos ayuda a clasificar y facilitar el entendimiento.

Declarativos: Separación entre conocimiento y estructura de control

• Lógica: expresiones declarativas (fbf)

• Sistemas de producción: (bh, rp, ec)

• Prolog

Procedurales: Unión entre el conocimiento y la estructura de control.

• Orden dependiente.

• Procedimientos y funciones.

Estructurales: Estructuración del conocimiento.

• Propiedades inferenciales: herencia, transitividad, asociatividad.

• Redes semánticas, frame.

Métodos de Representación Basados en Lógica

Estructuras de representación:

Representación de los hechos del mundo real mediante declaraciones escritas como fórmulas bien formadas (fbf), o estructuras sintácticamente correctas del lenguaje.

Mecanismos de interpretación:

• Obtención de nuevo conocimiento a partir del antiguo (reglas que permitan obtener nuevas fbf a partir de las existentes). Métodos de Representación Basados en Lógica Dr. Wladimir Rodríguez 27 Inteligencia Artificial LÓGICA = SINTAXIS + SEMÁNTICA

• La lógica en sí no es más que sintaxis, semántica y teoría de la demostración. No nos dice en lo más mínimo qué es aquello que deberá expresarse ni tampoco qué vocabulario emplear para ello.

Lógica Proposicional

Para culminar el informe tenemos que La lógica proposicional o lógica de orden cero no es más que un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

En la lógica proposicional, las conectivas lógicas se tratan como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la conectiva lógica «no» es una función que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica la función «no» a una letra que represente una proposición falsa, el resultado será algo verdadero. Si es falso que «está lloviendo», entonces será verdadero que «no está lloviendo».

El significado de las conectivas lógicas no es nada más que su comportamiento como funciones de verdad. Cada conectiva lógica se distingue de las otras por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada conectiva lógica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la función devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.

Negación Conjunción Disyunción Condicional BicondicionalDisyunción excluyente