Intel. Artif e Ing. del Conocimiento PRÁCTICAS 1

Transcripción

1 /XJDUHV:(%HURV $OPDFHQ KWWSZZZFVFPXHGXDIVFVFPXHGXSURMHFWDL UHSRVLWRU\DLKWPODLUKWPO $UW,QWHOO$PRGHUQ$SSURDFK KWWSZZZFVEHUNHOH\HGXaUXVVHOODLPDKWPO Intel. Artif e Ing. del Conocimiento PRÁCTICAS 1 3URORJ,QWURGXFFLyQ 'HILQLFLyQGHXQSURJUDPDHQ3URORJ &UHDFLyQGHXQ (MHPSOR %DOGHV 1UHLQDV Intel. Artif e Ing. del Conocimiento PRÁCTICAS 2 1

2 3URORJ,QWURGXFFLyQ 9HUVLyQXWLOL]DGD 9LVXDO3URORJ KWWSZZZSGFGNYLSYLSLQIRIUHHZDUHBGRZQORDGKWP $QWHFHGHQWHV 8WLOL]DFLyQGHODOyJLFDGHSUHGLFDGRV 'LVSRQHGHVXSURSLRPRWRUGHLQIHUHQFLD $OJRULWPRGHXQLILFDFLyQ (VWUDWHJLDGHEDFNWUDFNLQJ (VXQOHQJXDMHGHFODUDWLYR Intel. Artif e Ing. del Conocimiento PRÁCTICAS 3 3URORJ3URJUDPD 8QSURJUDPDWLHQHODVVLJXLHQWHVVHFFLRQHV 'RPLQLRVGRPDLQ (VODGHFODUDFLyQGHORVGRPLQLRVVREUHORVTXHVHH[SUHVDQODV UHODFLRQHV 3UHGLFDGRVSUHGLFDWHV (VODGHFODUDFLyQGHODVUHODFLRQHVSUHGLFDGRVTXHYDQDDSDUHFHU HQODEDVHGHFRQRFLPLHQWRV &ODXVXODVFODXVHV (VODEDVHGHFRQRFLPLHQWRVGRQGHVHH[SUHVDHOFRQRFLPLHQWRVHQ IRUPDGHUHJODV\DVHUFLRQHV 2EMHWLYRVJRDO (VODIyUPXODTXHVHSUHWHQGHKDFHUFLHUWD Intel. Artif e Ing. del Conocimiento PRÁCTICAS 4 2

3 3URORJ3URJUDPD,, predicates gusta(symbol,symbol) clauses gusta(elena, tenis). gusta(juan, fútbol). gusta(tomas, basket). gusta(eric, nadar). gusta(marco, tenis). gusta(bene, Actividad) if gusta(tomas, Actividad). goal:gusta(elena,fútbol) Intel. Artif e Ing. del Conocimiento PRÁCTICAS 5 3URORJ3URJUDPDFLRQ Obtener un programa en Prolog que determine el coche más adecuado domains coche=symbol nombre=symbol gusto=symbol predicates gustos(nombre,coche,gusto) auto(coche) compra(nombre,coche) Intel. Artif e Ing. del Conocimiento PRÁCTICAS 6 3

4 3URORJ3URJUDPDFLRQ clauses compra(persona,coche):- auto(coche), gustos(persona,coche,bueno). gustos(pepe,seat,bueno). gustos(pepe,renault,feo). gustos(pepe,ferrari,caro). gustos(pepe,ford,bueno). gustos(jose,seat,bueno). gustos(juan,seat,malo). gustos(pepe,kawasaki,bueno). Ver que el bactrack no solamente permite encontrar una solución, sino todas. Las reglas principales del bactracking son: -Los subobjetivos han de ser satisfechos en orden de arriba a abajo. -Para satisfacer a estos se testan los predicados de arriba a abajo tal como aparecen en la imagen. -Cuando un subobjetivo se empareja con la cabeza de una regla, el cuerpo de esta se constituye como el siguiente subobjetivo a verificar -Un objetivo ha sido satisfecho cuando se ha conseguido emparejar cada una de sus hojas del árbol de objetivos auto(seat). auto(renault). auto(ferrari). auto(ford). auto(austin). Intel. Artif e Ing. del Conocimiento PRÁCTICAS 7 3URORJ9LVXDO3URORJ Y (WDSDV &UHDFLyQGHOSUR\HFWR&WUO$ 0RGR7H[WR $SOLFDFLyQ:LQ 2SFLRQHV 'HSXUDGRU 1R'HWHUPLQLVWLFR SRUGHIHFWR Intel. Artif e Ing. del Conocimiento PRÁCTICAS 8 4

5 3URORJ9LVXDO3URORJ Y 9HQWDQDGH SUR\HFWR &RQWLHQHXQ ~QLFRPRGXOR GRQGHVH SUHVHQWDHO FyGLJR Intel. Artif e Ing. del Conocimiento PRÁCTICAS 9 3URORJ*HQHUDFLyQGHXQ (MHPSOR 8Q SDVWRUKDDWUDYHVDUXQULR HQXQDEDOVDGHGRVSOD]DVFRPR Pi[LPR9DDFRPSDxDGRGHXQORERXQDRYHMD\XQDFROLIORU 'DGDVODVSUHGLFLRQHVJDVWURQyPLFDVGHORVSDUWLFLSDQWHVVH WUDWDGHUHVROYHUHOSUREOHPDFRQ XQ 6HSDUDFLyQ HQWUHEDVHGHGDWRVUHJODV\VLVWHPDGH FRQWURO %DVHGHGDWRVH3/2%GRQGH 3/2%VRQODVSRVLFLRQHV2HVWHR(VWHGHFDGDXQRGHORV PLHPEURV,PSOHPHQWDFLRQ8WLOL]DQGRIXQFWRUHV)XQFLRQHVGH/332 Intel. Artif e Ing. del Conocimiento PRÁCTICAS 10 5

6 3URORJ*HQHUDFLyQGHXQ,PSOHPHQWDFLRQGHODVUHJODV PRYLPLHQWRVGHFUX]DURULOOD3/323%3 1HFHVLWDGHILQLUXQSUHGLFDGRRSXHVWR 2SXHVWRHR 2SXHVWRRH 6HGHEHLQFOXLUODYHULILFDFLyQGHODSUHFRQGLFLyQ 'HILQLFLyQGHOSUHGLFDGRVHJXUR (MHPSOR,QVHJXURVLHOSDVWRUHVWDHQXQDRULOODGLVWLQWDDODGHO ORER\ODRYHMD 6HGHEHJDUDQWL]DUTXHQRH[LVWHQHVWDGRVUHSHWLGRV 'HILQLFLyQGHOSUHGLFDGRPLHPEUR Intel. Artif e Ing. del Conocimiento PRÁCTICAS 11 3URORJ*HQHUDFLyQGHXQ,PSOHPHQWDFLyQGHODVUHJODV Intel. Artif e Ing. del Conocimiento PRÁCTICAS 12 6

7 3URORJ*HQHUDFLyQGHXQ 6LVWHPDGHFRQWURO3URSRUFLRQDGRSRUHOOHQJXDMH %DFNWUDFNLQJVLQLQIRUPDFLyQ ÃDATOS <--PRIMER(LISTABD)Ã /,67$%'Ã Ã HVÃ XQDÃ OLVWDÃ GHÃ EDVHVÃ GHÃ GDWRV SURGXFLGDVÃHQÃXQÃFDPLQRÃTXHÃ OOHYDÃ KDFLDÃDWUiVÃ KDVWDÃODÃ LQLFLDOÃ'$726ÃHVÃ ODÃ TXH VHÃSURGXMRÃPiVÃUHFLHQWHPHQWH Ãif MIEMBRO(DATOS,SUPR(LISTABD)), return FALLOÃ (OÃ SURFHGLPLHQWRÃ IDOODÃ VL '$726ÃÃKDEtDÃVLGRÃREWHQLGDÃ\DÃDQWHULRUPHQWHÃHQÃHVHÃFDPLQR 3. if TERM(DATOS), return NADA 4. if SINSALIDA(DATOS), return FALLO Ãif LONGITUD(LISTABD) > LIMITE, return FALLOÃ (OÃ SURFHGLPLHQWRÃ IDOODÃ VLÃ VHÃ KDQ DSOLFDGRÃGHPDVLDGDVÃ UHJODVÃ /,0,7(Ã HVÃXQDÃYDULDEOHÃJOREDOÃHVSHFLILFDGDÃ DQWHVÃGH TXHÃVHDÃOODPDGRÃHOÃSURFHGLPLHQWR 6. REGLAS <--APLIREGL(DATOS) 7. CICLO: if NOHAY(REGLAS), return FALLO 8. R <--PRIMER(REGLAS) 9. REGLAS <--SUPR(REGLAS) 10. RDATOS <--R(DATOS) ÃRLISTABD <--CONS(RDATOS,LISTABD)Ã ODÃ OLVWDÃ GHÃ EDVHVÃ GHÃ GDWRVÃ REWHQLGDV KDVWDÃHVHÃSXQWRÃVHÃDPSOtDÃDxDGLpQGROHÃ5'$ CAMINO <--BACKTRACK1(RL/STABD) 13. if CAMINO = FALLO, go CICLO 14. return CONS(R,CAMINO) Objetivos se evalúan de arriba a abajo Intel. Artif e Ing. del Conocimiento PRÁCTICAS 13 3URORJ*HQHUDFLyQGHXQ 'HILQLFLyQGHOREMHWLYR,QFOXLUHQJRDOSULQFLSDO Resultado de la ejecución Intel. Artif e Ing. del Conocimiento PRÁCTICAS 14 7

8 3URORJ'HSXUDFLyQ +HUUDPLHQWDVHSDUDGD Intel. Artif e Ing. del Conocimiento PRÁCTICAS 15 3URORJ (MHUFLFLRV 5HDOL]DUORVSURJUDPDVHQ3URORJTXHUHVXHOYHQORVVLJXLHQWHV SUREOHPDV ³(QFRQWUDUODVHFXHQFLDVGHPRYLPLHQWRVGHXQFDEDOORTXHXQH GRVSRVLFLRQHVFXDOTXLHUD ³&RORFDU1GDPDVHQXQWDEOHUR1[1 ³'DGRVGRVEDOGHVGH\OLWURVLQLFLDOPHQWHYDFtRVHQFRQWUDUOD VHFXHQFLDGHRSHUDFLRQHVTXHKD\TXHUHDOL]DUSDUDTXHHOGH OLWURVWHQJDODPLWDGGHVXFRQWHQLGR 5HDOL]DUXQDLPSOHPHQWDFLyQGHTXH LQFRUSRUHODOLPLWDFLyQHQSURIXQGLGDGGHODE~VTXHGD Intel. Artif e Ing. del Conocimiento PRÁCTICAS 16 8