SISTEMAS BASADOS

EN CONOCIMIENTO.
CIH MARTINEZ ARACELY
LEAL BARRAGN SANTIAGO
PINACHO LPEZ GABRIELA JANET

SISTEMAS BASADOS EN
CONOCIMIENTO.

Los sistemas expertos son el primer resultado de la

inteligencia artificial, porque logran resolver
problemas a travs del conocimiento y raciocinio al
igual que lo hace el experto humano.

SISTEMAS BASADOS EN
CONOCIMIENTO.
Un Sistema
Experto (SE), es bsicamente un programa de
computadora basado en conocimientos y raciocinio que
lleva a cabo tareas que generalmente slo realiza un
experto humano; es decir, es un programa que imita el
comportamiento humano en el sentido de que utiliza la
informacin que le es proporcionada para poder dar una
opinin sobre un tema en especial.

Un Sistema Experto es un programa de computadora

interactivo que contiene la experiencia, conocimiento y
habilidad propios de una persona o grupos de personas
especialistas en un rea particular del conocimiento
humano, de manera que permitan resolver problemas
especficos de se rea de manera inteligente y
satisfactoria. La tarea principal de un SE es tratar de
aconsejar al usuario.

CARACTERSTICAS.
Las caractersticas principales de
este tipo de problemas son:
Utilizan normas o estructuras que
contengan
conocimientos
y
experiencias
de
expertos
especializados.
Se obtienen conclusiones a
travs de deducciones lgicas.
Contienen datos ambiguos.
Contienen datos afectados por
factores de probabilidad.

Tener un amplio conocimiento especfico del rea de

especializacin.
Aplicar tcnicas de bsqueda.
Tener soporte para Anlisis Heurstico.
Poseer habilidad para inferir nuevos conocimientos ya
existentes.
Tener la capacidad de procesar smbolos.
Tener la capacidad para explicar su propio razonamiento

CONCEPTO DE CONOCIMIENTO

El conocimiento es la capacidad que posee el

hombre de aprehender.
El conocimiento es un conjunto de informacin
almacenada mediante la experiencia o el
aprendizaje.

TIPOS DE CONOCIMIENTO

Conocimiento Declarativo

Conocimiento Procedimental

Conocimiento Heurstico

Conocimiento Declarativo

Es conocimiento pasivo, expresado como sentencias acerca de los

hechos del mundo que nos rodea.

Conocimiento Procedimental

Es el conocimiento compilado, que se refiere a la forma de realizar

una cierta tarea.
Los modelos procedimentales y sus esquemas de representacin
almacenan conocimiento en la forma de como hacer las cosas.

10

Conocimiento Heurstico
Es el tipo de conocimiento usado por los humanos para resolver
problemas complejos.
Se entiende por heurstico a un criterio, estrategia, mtodo o truco
para simplificar la solucin de problemas.

11

LENGUAJES DE REPRENTACION DEL

CONOCIMIENTO

REQUISITOS

Sintaxis formalizada, para poder disear adecuadamente un

procesador (motor de inferencias)

Semntica bien definida y que permita la implementacin en

el procesador de algoritmos de razonamiento eficientes

Representar el conocimiento lo menos forzadamente posible

Cada lenguaje suele estar soportado por una herramienta

12

LENGUAJES DE REPRENTACION DEL

CONOCIMIENTO

Triplas OAV

Redes semnticas

Marcos

Lgica de predicados (de primer orden)

13

LENGUAJES DE REPRENTACION DEL

CONOCIMIENTO

Triplas objeto-atributo-valor

14

Redes semnticas

Lenguaje grfico fcilmente traducible a forma simblica, muy til

para representar conocimiento taxonmico (aqul que permite
agrupar los elementos del universo en una jerarqua de clases y
subclases entre las cuales existe una relacin de herencia)
Permite una representacin estructurada del conocimiento
factual y de ciertos tipos de conocimiento normativo, y de
expresar de manera muy fcil las excepciones en los valores de
propiedades heredadas

15

16

Marcos (frames)

Forma de expresar las redes semnticas textualmente pero

adems pueden incluir representaciones de conocimiento
procedimental
Cada nodo correspondiente a un objeto o a una clase se
convierte en un marco, que consta de una primera lnea con el
nombre del marco y una sucesin de lneas, llamadas ranuras
(slots)

17

marco_avestruz
descripcion: caracterizacin bsica de un avestruz
autor

: Prof. Ornito

fecha

: 31/12/2000

tipo_de : ave
patas

: largas

vuela

: (excl) no_puede

detalles : if (necesario) {buscar en enciclopedia}

18

Lgica de predicados (de primer orden)

La lgica de predicados de primer orden estudia razonamientos de tipo

deductivo, exactos (verdadero/falso) y basados en predicados de primer
orden
hijo(X,Y) :- padre(Y,X), hombre(X).
hijo(X,Y) :- madre(Y,X), hombre(X).
hija(X,Y) :- padre(Y,X), mujer(X).
hija(X,Y) :- madre(Y,X), mujer(X).
abuelo(X,Y) :- padre(X,Z), padre(Z,Y), hombre(X).
abuela(X,Y)

19