PARADIGMAS LÓGICOS

PARADIGMAS LÓGICOS

LÓGICA PROPORCIONAL: SUS ORÍGENES EN LOS TRABAJOS DE PRUEBA AUTOMÁTICA DE TEOREMAS, PARA ESTO SE UTILIZA UNA ÚNICA REGLA DE INFERENCIA LLAMADA PRINCIPIO DE RESOLUCIÓN, MEDIANTE LA CUAL SE PRUEBA UN TEOREMA QUE PUEDE SER LLEVADO EN FORMA AUTOMÁTICA.

SÍMBOLOS DE PREDICADO

SON UTILIZADOS PARA DENOTAR ALGUNAS PROPIEDAD DE OBJETOS O ALGUNA RELACIÓN ENTRE ELLOS.

ENUNCIADOS ATÓMICOS COMBINADO:TRANSFORMAN LOS ARGUMENTOS DE OBJETOS EN VALORES VERDADEROS O FALSOS.

EJEMPLO:PLUMAS (ALBATROS)

              PÁJARO (ALBATROS)

PREDICADO CON CONSECUENTE

CUANDO UNA ORACIÓN,ENUNCIADO O AFIRMACIÓN SE SIGUE DE OTRAS EVITANDO LA COMPLEJIDAD,ESPERANDO QUE LA AFIRMACIÓN SEA MAS FÁCILMENTE RECONOCIBLES.

INTRODUCCIÓN 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 INTELIGENCIA ARTIFICIAL..