PARADIGMA LOGICO
Descargar como PPTX, PDF1 recomendación8,000 vistas
Este documento presenta una introducción a la programación lógica y al lenguaje Prolog. Explica que la programación lógica se basa en la lógica de primer orden y que Prolog es un lenguaje de programación lógico. También describe conceptos básicos como constantes individuales, símbolos de predicado, enunciados atómicos y lenguajes generales de primer orden.
PARADIGMA LOGICO
- 1. UNIMINUTO PROGRAMACION BASICA PRIMER SEMESTRE ALEJANDRO ZABALA D. ELABORADO: JENNY VELASCO OSCAR VIZCAYA 2014
- 3. INTRODUCCION A LA PROGRAMACION LOGICA ES UNA FORMA DE RAZONAR PARA RESOLVER PROBLEMAS EN MATEMATICAS Y SE FUNDAMENTA EN LA LOGICA DE PRIMER ORDEN. EL CONOCIMIENTO BASICO DE LAS MATEMATICAS SE PUEDE REPRESENTAR EN LA LOGICA EN FORMA DE AXIOMAS, A LOS CUALES SE AÑADEN REGLAS FORMALES PARA DEDUCIR COSAS VERDADERAS (TEOREMAS) A PARTIR DE LOS AXIOMAS. GRACIAS AL TRABAJO DE ALGUNOS MATEMATICOS DE FINALES DEL SIGLO PASADO Y PRINCIPIOS DE ESTE, SE ENCONTRO LA MANERA DE AUTOMATIZAR COMPUTACIONALMENTE EL RACIONAMIENTO LOGICO PARTICULARMENTE PARA UN CONJUNTO SIGNIFICATIVO DE LA LOGICA DEL PRIMER ORDEN .
- 4. EN LA LOGICA MATEMATICA SE DIO ORIGEN A OTROS TIPOS DE LENGUAJE DE PROGRAMACION , CONOCIDOS COMO LENGUAJE LOGICOS. TAMBIEN SE CONOCE COMO LENGUAJES DECLARATIVOS POR QUE TODO LO QUE EL PROGRAMADOR TIENE QUE HACER PARA SOLUCIONAR UN PROBLEMA ES DESCRIBIRLO VIA AXIOMAS Y REGLAS DE DEDUCION.
- 5. LOGICA PROPORCIONAL • LA PROGRAMACION LOGICA TIENE SUS ORIGENES EN LOS TRABAJOS DE PRUEBA AUTOMATICA DE TEOREMAS, PARA ESTO SE UTILIZA UNA UNICA REGLA DE INFERENCIA LLAMADA PRINCIPIO DE RESOLUCION , MEDIANTE LA CUAL PRUEBA UN TEOREMA QUE PUEDE SER LLEVADO ACABO DE FORMA AUTOMATICA , ESTA REGLA SE APLICA SOBRE LAS FORMULAS SURGIDAS DE LA LOGICA DE PRIMER ORDEN.
- 6. CONSTANTES INDIVIDUALES SON SIMPLEMENTE SIMBOLOS (NOMBRES) QUE SE USAN PARA REFERIR A ALGUN OBJETO INDIVIDUAL FIJO . POR EJEMPLO: USA JUAN COMO UN CONSTANTE INDIVIDUAL PARA DENOTAR UNA PERSONA EN PARTICULAR O 1 COMO UNA CONSTANTE INDIVIDUAL PARA DENOTAR UN NUMERO EN PARTICULAR. EN AMBOS CASOS, FUNCIONA EXACTAMENTE COMO LOS NOMBRES FUNCIONAN EN ESPAÑOL.
- 7. SIMBOLOS DE PREDICADO SON UTILIZADOS PARA DENOTAR ALGUNA PROPIEDAD DE OBJETOS O ALGUNA RELACION ENTRE ELLOS, CON EXPRESIONES COMBINADAS DE NOMBRES QUE FORMAN ENUNCIADOS ATOMICOS , PERO NO CORRESPONDEN EXACTAMENTE A LOS PREDICADOS DE LA GRAMATICA ESPAÑOLA. EJEMPLO: JUAN ES PADRE DE ANA
- 8. ENUNCIADOS ATOMICOS SON AQUELLAS QUE SON UTILIZADAS CON UN PREDICADO SIMPLE Y EL NUMERO APROPIADO DE CONTANTES INDIVIDUALES. UN ENUNCIADO FORMADO POR UN PREDICADO SEGUIDO POR EL NUMERO CORRECTO DE NOMBRES ES LLAMADO UN ENUNCIADO ATOMICO. EJEMPLO: MUJER (ANA) MAYOR (JUAN, ANA) = JUAN ES MAYOR QUE ANA
- 9. ENUNCIADOS ATOMICOS COMBINADO LOS PREDICADOS CONSTITUYEN FUNCIONES QUE TRANSFORMAN LOS ARGUMENTOS DE OBJETOS (CONSTANTES INDIVIDUALES) EN VALORES VERDADEROS O FALSOS. POR EJEMPLO : INTERPRETAR EL OBJETO ALBATROS Y EL PREDICADOS PLUMAS Y PAJARO SE PUEDE DECIR DE MANERA INFORMAL. PLUMAS (ALBATROS) PAJARO (ALBATROS)
- 10. LENGUAJES GENERALES DE PRIMER ORDEN ES DETERMINADO FIJANDO LOS NOMBRES Y PREDICADOS QUE CONTIENE, CADA PREDICADO VIENE CON UNA ARIDAD ESPECIFICADA. UN LENGUAJE DE PRIMER ORDEN DEBE TENER AL MENOS UN SIMBOLO DE PREDICADO. EJEMPLO: ANA ES MUJER Y MAYOR (MARIA,JUAN) EN TRADUCCION SERIA MARIA ES MAYOR QUE JUAN.
- 11. PREDICADOS CON CONSECUENTE UNA DE LAS MAYORES PREUCAPACIONES DE LA LOGICA ES EL CONCEPTO DE CONSECUENCIA LOGICA. CUANDO UNA ORACION, ENUNCIADO O AFIRMACION SE SIGUE LOGICAMENTE DE OTRAS EVITANDO LA COMPLEJIDAD Y LA AMBIGÜEDAD DEL LENGUAJE ORDINARIO, ESPERAMOS QUE LAS CONSECUENCIAS DE NUESTRAS AFIRMACIONES SEAN MAS FACILMENTE RECONOCIBLES
- 12. INTRODUCCION A PROLOG EL PROLOG (O PROLOG), PROVENIENTE DEL FRANCÉS PROGRAMMATION EN LOGIQUE, ES UN LENGUAJE PARA PROGRAMAR ARTEFACTOS ELECTRÓNICOS MEDIANTE EL PARADIGMA LÓGICO CON TÉCNICAS DE PRODUCCIÓN FINAL INTERPRETADA. ES BASTANTE CONOCIDO EN EL ÁREA DE LA INGENIERÍA INFORMÁTICA PARA INVESTIGACIÓN EN INTELIGENCIAARTIFICIAL.
- 13. SU LENGUAJE APARTIR DE UN ALFABETO CONTIENE DOS TIPOS DE SIMBOLOS: SIMBOLOS LOGICOS: ENTRE LOS QUE SE ENCUENTRAN LOS SIMBOLOS DE CONTANTES PROPORCIONES (VERDADERO Y FALSO) PARA LA NEGACION, LA CONJUCION,LA DISYUNCION Y LA APLICACIÓN. SIMBOLOS NO LOGICOS: ESTAN AGRUPAOS EN EL CONJUNTO DE SIMBOLOS CONSTANTES , EL CONJUNTO DE SIMBOLOS DE VARIABLES INDIVIDUALES (IDENTIFICADORES) , LA CUAL SE DIVIDE EN SIMBOLOS DE RELACIONES Y SIMBOLOS DE FUNCIONES.
- 14. CALCULO DE RELACIONES LA PROGRAMACION LOGICA TRABAJA MAS CON RELACIONES QUE CON FUNCIONES SE BASA EN LA PREMISA DE QUE PROGRAMAR CON RALACIONES ES MAS FLEXIBLES QUE PROGRAMAR CON FUNCIONES DEBIDO A QUE LAS RELACIONES TRATAN DE FORMA UNIFORME A LOS ARGUMENTOS Y A LOS RESULTADOS . DE MANERA INFORMAL, LAS RELACIONES NO TIENE SENTIDO DE DIRRECION NI PREJUICIO ALGUNO A CERCA DE QUE SE CALCULA A PARTIR DE QUE.