UNIVERSIDAD AUTNOMA DEL ESTADO DE HIDALGO

Instituto de Ciencias Bsicas e Ingeniera

Centro de Investigacin en Tecnologas de Informacin y Sistemas Licenciatura en Sistemas Computacionales Reporte de la Tarea # 8

Cambio de Reglas y En adenamien!o Ha ia a T"as R#le$

In!eligen ia A"!i%i ial

Herrera Robles Raquel Res#men& En es!e !"aba'o m#es!"a la modi%i a i(n de "eglas del sis!ema de en adenamien!o )a ia a delan!e y la adi i(n del algo"i!mo de en adenamien!o )a ia a !"as

Ca!ed"*!i o& D"+ Vi"gilio L(,e- Mo"ales

Reporte de Tarea # 8

Cambio de Reglas y Encadenamiento Hacia a Taras RULE 1. Introduccin

Los sistemas expertos son programas de ordenador que son capaces, mediante la aplicacin de Conocimientos, de resolver problemas en un rea determinada del conocimiento o saber y que ordinariamente requeran de la inteligencia humana. Que esta conformado por La base de conocimientos es la parte de un sistema experto que contiene el conocimiento del dominio en el cual es competente el programa. La base de hechos es el con!unto de informacin que forma el universo del "# y en base a ellos, y mediante la $C el sistema llega a la solucin. "e denominan hechos a la informacin que es invariable de u

.+ METODOLOG/A DE DESARROLLO DE LA SOLUCIN+

#xisten dos formas principales de desarrollar sistemas expertos que son Con encadenamiento hacia a delante y hacia a tras ,se tiene un sistema programado con el algoritmo de encadenamiento hacia delante en el cual se modificaron su base de reglas modificando el n%mero de ruedas y agregando algunos tipos de vehculos, en este traba!o se habla acerca del proceso de encadenamiento hacia a tras el cual consiste en lo siguiente #sta guiado por los ob!etivos o inductivo consiste en comprobar que un ob!etivo es cierto en base a unos hechos que forman el universo del sistema y en base a unos conocimientos, se puede asociar el proceso contrastacin del m&todo cientfico. "e basa en el 'modus ponens( de la lgica formal que dice que '"i conocemos la regla ))"i * entonces $++( y es falso ))*++, entonces podemos deducir que ))$++ es tambi&n falso. #n este modo de encaminamiento las soluciones deben ser conocidas de ante mano, mientras que los datos pueden irse introduciendo a lo largo del programa. Las venta!as del m&todo es su gran potencia, los inconvenientes t&cnicos son la necesidad de emplear procesos recursivos.

0an!alla de salida de los ,"og"amas

-um./uedas.set0alue1num/uedas

Il#s!a" ion de la modi%i a ion de "eglas+ 2uestra de manera grafia las reglas agregadas al sistema

Il#s!a" ion de lo "es#l!ados del en adenamien!o )a i a !"as + 2uestra a traves de varias preguntas el tipo de vehiculo que se esta buscando

1+ E'em,lo de a,li a i(n+

*ctualmente la automati4acin de las empresas necesita ser de manera ptima, gil y de ba!o costo es por ello que los sistemas expertos tiene diversas aplicaciones en ramas como econmica para la prediccin de datos, en medicina para el diagnstico de diversas enfermedades, en educacin para la aplicacin de diversos exmenes.

C(digo de ,"og"ama en 2AVA3Ma!Lab3C443E! +

Modificaciones realizadas en el cdigo Base de Regasl.java creacion de reglas de validacion 1$ase de /eglas5 /ule Cycle 6 ne7 /ule1br, 8Cycle8, ne7 Clause1-um./uedas, menor, 8985, ne7 Clause1:ipo0ehiculo, igual, 8cycle855, /ule *utomobile 6 ne7 /ule1br, 8*utomobile8, ne7 Clause;<=ne7 Clause1-um./uedas, igual, 8985, ne7 Clause12otor, igual, 8yes85>, ne7 Clause1:ipo0ehiculo, igual, 8automobile855, /ule trest 6 ne7 /ule1br, 8:res :oneladas8, ne7 Clause;<=ne7 Clause1-um./uedas, igual, 8?85, ne7 Clause12otor, igual, 8yes85>, ne7 Clause1:ipo0ehiculo, igual, 8tres toneladas855, /ule die4t 6 ne7 /ule1br, 8@ie4 :oneladas 1:orton58, ne7 Clause;<=ne7 Clause1-um./uedas, igual, 8AB85, ne7 Clause12otor, igual, 8yes85>, ne7 Clause1:ipo0ehiculo, igual, 8die4 toneladas855, /ule 2ono 6 ne7 /ule1br, 82onociclo8, ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8cycle85, ne7 Clause1-um./uedas, igual, 8A85, ne7 Clause12otor, igual, 8no85 >, ne7 Clause10ehiculo, igual, 82onociclo855, /ule $oogie 6 ne7 /ule1br, 8$oogie8,

ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8cycle85, ne7 Clause1-um./uedas, igual, 8C85, ne7 Clause12otor, igual, 8yes85 >, ne7 Clause10ehiculo, igual, 8$oogie855, /ule tC 6 ne7 /ule1br, 8C :oneladas8, ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8tres toneladas85, ne7 Clause1"i4e, igual, 8Drande85, ne7 Clause1-um.Euertas, igual, 8385 >, ne7 Clause10ehiculo, igual, 8C :oneladas855, /ule tAB 6 ne7 /ule1br, 8AB :oneladas8, ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8die4 toneladas85, ne7 Clause1"i4e, igual, 8Drande85, ne7 Clause1-um.Euertas, igual, 8385 >, ne7 Clause10ehiculo, igual, 8AB :oneladas855, /ule $icycle 6 ne7 /ule1br, 8bicycle8, ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8cycle85, ne7 Clause1-um./uedas, igual, 8385, ne7 Clause12otor, igual, 8no85 >, ne7 Clause10ehiculo, igual, 8$icycle855, /ule :ricycle 6 ne7 /ule1br, 8tricycle8, ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8cycle85, ne7 Clause1-um./uedas, igual, 8C85, ne7 Clause12otor, igual, 8no85 >, ne7 Clause10ehiculo, igual, 8:ricycle855, /ule 2otorcycle 6 ne7 /ule1br, 8motorcycle8, ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8cycle85, ne7 Clause1-um./uedas, igual, 8385, ne7 Clause12otor, igual, 8yes85 >, ne7 Clause10ehiculo, igual, 82otorcycle855, /ule "portsCar 6 ne7 /ule1br, 8sportsCar8, ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8automobile85, ne7 Clause1"i4e, igual, 8EequeFo85, ne7 Clause1-um.Euertas, igual, 8385 >, ne7 Clause10ehiculo, igual, 8"ports.Car855, /ule "edan 6 ne7 /ule1br, 8sedan8, ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8automobile85, ne7 Clause1"i4e, igual, 82ediano85, ne7 Clause1-um.Euertas, igual, 8985 >, ne7 Clause10ehiculo, igual, 8"edan855, /ule 2ini0an 6 ne7 /ule1br, 8mini0an8, ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8automobile85, ne7 Clause1"i4e, igual, 82ediano85, ne7 Clause1-um.Euertas, igual, 8C85 >, ne7 Clause10ehiculo, igual, 82ini0an855, /ule "G0 6 ne7 /ule1br, 8"G08, ne7 Clause;<=ne7 Clause1:ipo0ehiculo, igual, 8automobile85, ne7 Clause1"i4e, igual, 8Drande85, ne7 Clause1-um.Euertas, igual, 8985 >, ne7 Clause10ehiculo, igual, 8"ports.Gtility.0ehicle855,

5+ Con l#siones de 0an!allas Gene"adas

"e pueden obtener diferentes paramentos a trav&s del cambio de reglas para tener una base de conocimiento ms extensa y de igual forma con base de determinadas preguntas llegar a la meta u ob!etivo que se necesita. .

Con l#siones gene"ales+

Los sistemas expertos son tecnologas que auxilian a la reali4acin de diversas tareas dadas sus caractersticas de reglas en las cuales se almacena todo el conocimiento, as como los tipos de encadenamiento que presenten las cuales tiene sus particularidades individuales, es decir, el encadenamiento hacia a delante tiene los antecedentes como consecuencia mientras que el encadenamiento hacia a tras tiene un control de ob!etivos utili4ando un ra4onamiento de arriba hacia aba!o en pocas palabras los sistemas expertos pueden llegar a conclusiones de informacin de lo general a lo particular o viceversa Re%e"en ias 1) Notas de clase. 2) Disco de Trabajo RuleTest