La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia valida.
¿QUÉ APLICIONES TIENE?
La lógica encuentra su hábita natural en aplicaciones de inteligencia artificial o relacionadas:
- Sistemas Expertos: Donde un sistema de información, imita las recomendaciones de un experto sobre algún dominio de conocimiento.
- Demostración Automática: De teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.
- Reconocimiento del Lenguaje Natural: Donde un programa artificial es capaz de comprender.
HISTORIA
La lógica comienzo a ser una modelizacion de lo razonamientos, propuesta por los filósofos griegos y posteriormente a evolucionado hacia diversos sistemas formales, relacionados con la teoría. Etimológicamente la palabra lógica derivada del termino griego logikos derivado de logos "razón".Se considera históricamente a Aristoteles el fundador de la lógica, como propedéutica o herramienta básica para todas las ciencias ya que fue el primero en formalizar completamente el campo.
La principal aportación fue la silogística el estudio del procedimiento de raciocinio por medio del silogismo, en el que de dos premisas se deduce una conclusión; también llamadas lógica de las proporciones o lógica clásica.
Los filósofos ulteriores, desarrollaron a fondo la lógica de las proporciones, sistematizando y complementando la silogística aristotélica así como desarrollaron las lógicas modales.
fueron George Boole y Augustus de Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemático para modelas operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática.
Tomado de: http://es.wikipedia.org/wiki/L%c3%b3gica
Tomado de: http://es.wikipedia.org/wiki/L%c3%b3gica
