REPRESENTACIN DEL CONOCIMIENTO MEDIANTE REGLAS DE PRODUCCIN Y PROLOG Hemos estudiado ya dos formas de representacin de los conocimientos: Redes

s semnticas Marcos (Frames). Ahora revisaremos una ltima t cnica !ue son las re"las de produccin o sistemas de produccin# !ue es la forma de representacin de conocimientos ms usada. $as re"las de produccin tam%i n son llamadas re"las de inferencias. &asi todos los sistemas e'pertos estn %asados en este tipo de representacin. (n sistema e'perto es un sistema de procesamiento automtico del conocimiento de cierta rea de inter s. )ara crear el sistema se seleccionan los e'pertos# !ue son los especialistas capaces de resolver los pro%lemas en dicha rea. (na ve* seleccionado al e'perto o a los e'pertos y !ue stos est n de acuerdo en dar sus conocimientos# el +,n"eniero de &onocimientos+# e'traer los conocimientos al e'perto y los representar usando al"una de las t cnicas de representacin arri%a mencionadas. -stas t cnicas permiten le procesamiento automtico de los conocimientos. $os conocimientos as. representados se conocen como la base de conocimientos del sistema e'perto. (na re"la de produccin tiene el formato si"uiente: /, (premisas) 01231&0/ (conclusin). 4onde las las premisas y la conclusin# son una cadena de hechos conectados por operaciones l"icas de con5uncin +6+ o disyuncin +3+. 4e forma !ue una re"la de produccin se e'presar.a como: /, (hecho7) 683 (hecho9) 683......(hecho1) 01231&0/ (hecho7) 683 .....(hecho1). $os hechos son afirmaciones !ue sirven para representar conceptos# datos# o%5etos# etc. 0s decir# conocimientos declarativos. )or e5emplo: 7. :uan es un estudiante 9. :uan tiene ; a<os =. 0l perro es %lanco >. 0l nom%re del perro es Fido ?. A Mar.a le "usta el cine @. )edro prefiere ver pel.culas A. $uis tiene 9? a<os ;. )edro tiene un salario de 9BB pesos 0n prolo" representamos estos hechos como predicados: estudiante(5uan). edad(5uan#;). color(perro#%lanco). nom%re(perro#fido). "usta(maria#cine). prefiere(pedro#peliculas). edad(luis#9?). salario(pedro#9BB). (na re"la es una com%inacin de hechos !ue permite representar conocimientos y sacar inferencias de los mismos. )or e5emplo: Re"la 7: /, (:uan es un estudiante) 6 (:uan tiene ; a<os) 01231&0/ (:uan estudia en la primaria). Re"la 9: /, (el perro es %lanco) 6 (el perro se llama Fido) 01231&0/ (el perro es de :uan). Re"la =: /, (a Mar.a le "usta el cine) 6 ()edro prefiere ver pel.culas) 01231&0/ ( )edro es novio de Mar.a)

3%serve como partiendo de hechos conocidos !ue descri%en al"n conocimiento se pueden inferir nuevos hechos (nuevos conocimientos)# aun!ue las re"las representadas no tienen por!u ser totalmente ciertas# recordemos !ue estamos representando los conocimientos de un e'perto y esto puede involucrar su e'periencia y errores humanos o de apreciacin. )or e5emplo# no todo perro %lanco llamado Fido pertenece a :uan# por lo cual las re"las son sucepti%les a tener valores de certe*a# !ue es un tema !ue estudiaremos ms adelante. )or ltimo# la re"la = es muy su%5etiva# ya !ue el compartir un "usto no es condicin suficiente para esta%lecer una relacin de novia*"o. Ceneralmente una %ase de conocimientos representa los conocimientos del dominio de e'perto de forma !ue cada re"la aisladamente ten"a si"nificado propio. 1ormalmente los conocimientos son de tipo declarativo y se re!uerir de al"n mecanismo !ue o%ten"a las inferencias adecuadas para resolver el pro%lema# por e5emplo las re"las de la l"ica proposicional. 0stas rte"las de%ern ser aplicadas por al"n sistema capa* de seleccionarlas y e5ecutarlas. 0ste sistema se llama motor de inferencias y el len"ua5e )rolo" es muy adecuado para tal efecto. 0n len"ua5e )rolo" las re"las de produccin del e5emplo se pueden representar como si"ue: 7. )rimero ele"imos predicados !ue representen las conclusiones: estudia(D#primaria) 88 D estudia el nivel primaria due<o(D#6) 88 D es due<o de 6 novio(D#6) 88 D es novio de 6 9. Cenerali*amos las re"las# representando primero el predicado de conclusin se"uido del s.m%olo E:FG y a continuacin las premisas. (los conectores l"icos son E # G para con5uncin y E H G para disyuncin. 88 Cenerali*acin a Etodo estudiante de ; a<os de edad va en la primariaG estudia(D#primaria):F estudiante(D) # edad(D#;). 8 88 Cenerali*acin a Etodo 6 de color %lanco llamado fido pertenece a 5uanG due<o(5uan#6):Fcolor(6#%lanco) # nom%re(6# fido). 88 Cenerali*acin a Etodo D !ue prefiere pel.culas es novio de todo 6 !ue le "uste el cineG novio(D#6):Fprefiere(D#peliculas) # "usta(6# cine). R0F0R01&,A/: (Ale5andro=7=) http:88sa%erFia.%lo"spot.com89BB;8B78representacionFdeFlosFconocimientosFen.html I&onsultado el 7B de mar*o de 9B77J Actualmente el documento no est en l.nea. Manual de /KiF)rolo" en l.nea. http:88KKK.sKiFprolo".or"8pldoc8refman8 I&onsultado el 7A de octu%re de 9B7=J