{"id":182,"date":"2012-12-04T19:43:57","date_gmt":"2012-12-04T19:43:57","guid":{"rendered":"http:\/\/cibernetica.wordpress.com\/?p=182"},"modified":"2012-12-04T19:43:57","modified_gmt":"2012-12-04T19:43:57","slug":"conceptos-basicos-sobre-sistemas-expertos","status":"publish","type":"post","link":"https:\/\/blogs.sld.cu\/cibernetica\/2012\/12\/04\/conceptos-basicos-sobre-sistemas-expertos\/","title":{"rendered":"Conceptos b\u00e1sicos sobre sistemas expertos"},"content":{"rendered":"

En el art\u00edculo \u00bfQu\u00e9 es un Sistema Experto?<\/a> Vimos que consta de una Base de Conocimientos (BC), una Base de Hechos (BH) y un Motor (o M\u00e1quina) de Inferencias (MI). Y que estos sistemas no se miden por la cantidad de instrucciones o programas sino por la cantidad de reglas que hay contenida en su Base de Conocimientos.<\/p>\n

\"componentese\"<\/a><\/p>\n

Veamos c\u00f3mo se representan las reglas<\/p>\n

Representacion a trav\u00e9s de reglas:<\/p>\n

Si H1 y\/o H2 y\/o H3… entonces H4 y\/o H5…<\/p>\n

Ejemplos:
\nSi H1 y H2 entonces H3 y H4.
\nSi H3 o H4 entonces H5 y H6 o H7.
\nSi H2 y H7 o H6 entonces H9.<\/p>\n

Vimos que en prolog<\/a> las reglas del tipo:
\nSi H1 y H2 y H3,… entonces Hc (Si se cumplen todos los hechos entonces se cumple la conclusi\u00f3n).<\/p>\n

Se representan como:
\nHc si H1 y H2 y H3… (Para que se cumpla la conclusion tienen que cumplirse los siguientes hechos).<\/p>\n

Y la sintaxis es la siguiente:
\nHc :- H1, H2, H3, …<\/p>\n

Donde los hechos son predicados que deben cumplirse.<\/p>\n

R1: Si X>3 y Y=5 entonces Z =3 y A<5.<\/p>\n

En caso que X no sea mayor que 3 la regla falla y se buscara otra regla. En esta caso debe cumplirse ambas condiciones (para la X y la Y)..
\nSi la regla se cumple se ejecuta la acci\u00f3n para Z y A.<\/p>\n

R2: Si X2 entonces Z = 7<\/p>\n

Aqu\u00ed si la primera condici\u00f3n falla (X<5) se pasa la segunda condici\u00f3n. Basta con que se cumpla una de las dos condiciones.<\/p>\n

Los hechos son afirmaciones que se refieren a los conceptos (clases y objetos) y a las relaciones (atributos) entre ellos.<\/p>\n

Ejemplos de representaci\u00f3n de los hechos en diferentes aplicaciones de la IA.<\/p>\n

MYCIN<\/p>\n

el organismo\u00a0\u00a0\u00a0\u00a0 es un\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 bacteroride<\/p>\n

<sujeto>\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <relaci\u00f3n>\u00a0\u00a0 <concepto><\/p>\n

la coloraci\u00f3n\u00a0\u00a0\u00a0\u00a0\u00a0 del organismo\u00a0\u00a0\u00a0\u00a0 es gram+<\/p>\n

<atributo>\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <sujeto>\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0<valor><\/p>\n

DENDRAL<\/p>\n

resonancia espectral con numero at\u00f3mico igual a numero<\/p>\n

<sujeto>\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <atributo>\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <valor><\/p>\n

M1 (shell)<\/p>\n

Mejor color = tinto
\n<expresi\u00f3n> = <valor><\/p>\n

PROLOG<\/p>\n

Gusta (maria, tenis)
\n<relaci\u00f3n> (<concepto>, <concepto>)<\/p>\n

EXSYS (shell)<\/p>\n

<calificador (terminado en verbo)>\u00a0 <valor><\/p>\n

El costo de la computadora es el factor de mayor importancia<\/p>\n

Ejemplos de reglas:<\/p>\n

Regla 1: Si tiene espina dorsal
\nY tiene cola horizontal
\nY tiene un agujero para respirar
\nY tiene sangre caliente.
\nY los peque\u00f1os son alimentandos con leche materna
\nY los hijos nacen directamente vivos
\nEntonces es un cet\u00e1ceo.<\/p>\n

Regla 2: Si es un cet\u00e1ceo
\nY mide mas de 25 pies
\nEntonces es una ballena<\/p>\n

Regla 3: Si es un cet\u00e1ceo
\nY mide aproximadamente 6 pies
\nY tiene la aleta tope vertical
\nY tiene una nariz roma-peque\u00f1a
\nY vive cerca de las costas
\nEntonces es una marsopa<\/p>\n

Regla 4: Si es un cet\u00e1ceo
\nY mide aproximadamente 6 pies
\nY tiene la aleta tope vertical
\nY tiene una nariz en forma de pico
\nY vive en el mar
\nEntonces es un delf\u00edn<\/p>\n

Regla 5: Si tiene espina dorsal
\nY tiene una aleta vertical
\nY respira a trav\u00e9s de branquias
\nEntonces es un pez.<\/p>\n

Regla 6: Si es un pez
\nY tiene la aleta tope triangular
\nY tiene la boca debajo de la cabeza
\nEntonces es un tibur\u00f3n<\/p>\n

Observen que definieron las reglas para los cet\u00e1ceos y a partir de esta se defini\u00f3 al delf\u00edn, la ballena, etc. Igual sucedi\u00f3 para los peces.<\/p>\n

\u00bfC\u00f3mo buscan los sistemas expertos?<\/p>\n

Sabemos dado un estado inicial, se van generando estados a trav\u00e9s de la aplicaci\u00f3n de un conjunto de reglas, las cuales al aplicarse originan un nuevo estado, as\u00ed sucesivamente hasta alcanzar el estado final.<\/p>\n

Habr\u00e1 en consecuencia un estado inicial y un estado final que ser\u00e1n definidos como:<\/p>\n

1. Una base de hechos en la cual aparecer\u00e1 un hecho que satisface ciertas caracter\u00edsticas.
\n2. Una base de hechos en la cual habr\u00e1n desaparecido todos los hechos a establecer.
\n3. Una base de hechos tal que ninguna regla puede aportar una nueva modificaci\u00f3n.<\/p>\n

Los puntos 1 y 3 son com\u00fanmente adoptados por los motores de encadenamiento hacia delante, mientras el 2 es adoptado por motores con encadenamiento hacia atr\u00e1s.<\/p>\n

Ejemplo de b\u00fasqueda primero en profundidad<\/p>\n

Tomemos el ejemplo de las tinas, donde se parte de dos tinas (recipientes para contener agua) y se quiere lograr que la de 4 galones tenga 2 galones. Las tinas no tienes marcas que indiquen la cantidad de galones.<\/p>\n

Vamos a definir algunas reglas de forma general:
\nRestricciones
\n1) \u201cSi una tina se lleno hasta el tope, no llenar la otra\u201d.
\n2) \u201cSi una tina se acaba de llenar hasta el tope, no se puede botar\u201d.
\nOrden de las reglas:
\n1ro. Aplicar reglas para el criterio de soluci\u00f3n.
\n2do. Aplicar reglas para llenar las tinas.
\n3ro. Aplicar reglas para vaciar de una para otra.
\n4to. Aplicar reglas para botar el contenido de una de ella.
\nCriterio de soluci\u00f3n
\nR1: Si (la tina de 4) (tiene) (dos galones) entonces SOLUCION.
\nR2: Si (la tina de 3) (tiene) (dos galones) y (la tina de 4) (esta vacia) entonces (vaciar el contenido) (para) (la tina de 4)
\nR3: Si (la tina de 3) (tiene) (dos galones) y (la tina de 4) (no) (esta vacia) entonces (botar el contenido de) (la tina de 4)<\/p>\n

Veamos c\u00f3mo se va efectuando la b\u00fasqueda paso a paso<\/p>\n

Estado inicial: (0,0) ambas tinas vac\u00edas
\nEstado 1: (0,0) -> (0,4) Se llena una de las tinas (la de 4 galones).
\nEstado 2: (0,4) -> (3,1,) Se vac\u00eda el contenido de la de 4 en la de 3 galones.
\nEstado 3: (3,1) -> (0,1) Se bota el contenido de la tina de 3 galones
\nEstado 4: (0,1) -> (1,0) Se vac\u00eda el contenido de la de 4 en la de 3 galones.
\nEstado 5: (1,0) -> (1,4) Se llena la tina de 4 galones.
\nEstado 6: (1,4) -> (3,2) Se vac\u00eda la tina de 4 en la de 3 galones
\nEstado final (3,2) Se alcanza la soluci\u00f3n al quedar 2 galones en la tina de 4<\/p>\n

Pueden ver ese ejemplo en ejecute un sistema sistema experto en HTML<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

En el art\u00edculo \u00bfQu\u00e9 es un Sistema Experto? Vimos que consta de una Base de Conocimientos (BC), una Base de Hechos (BH) y un Motor (o M\u00e1quina) de Inferencias (MI). Y que estos sistemas no se miden por la cantidad de instrucciones o programas sino por la cantidad de reglas que hay contenida en su […]<\/p>\n","protected":false},"author":109,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[12],"tags":[23,101,124,145,200,226],"_links":{"self":[{"href":"https:\/\/blogs.sld.cu\/cibernetica\/wp-json\/wp\/v2\/posts\/182"}],"collection":[{"href":"https:\/\/blogs.sld.cu\/cibernetica\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.sld.cu\/cibernetica\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.sld.cu\/cibernetica\/wp-json\/wp\/v2\/users\/109"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sld.cu\/cibernetica\/wp-json\/wp\/v2\/comments?post=182"}],"version-history":[{"count":0,"href":"https:\/\/blogs.sld.cu\/cibernetica\/wp-json\/wp\/v2\/posts\/182\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.sld.cu\/cibernetica\/wp-json\/wp\/v2\/media?parent=182"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sld.cu\/cibernetica\/wp-json\/wp\/v2\/categories?post=182"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sld.cu\/cibernetica\/wp-json\/wp\/v2\/tags?post=182"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}