La lógica y sus sistemas computacionales
Páginas: 25 (6106 palabras)
Publicado: 5 de mayo de 2010
LA LOGICA Y SUS SISTEMAS COMPUTACIONALES
El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento intelectual del ser humano. La lógica emerge como mecanismo espontáneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla.
La lógica computacional es la misma lógica matemática aplicada al contexto de las cienciasde la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos. (Entiéndase por algoritmo en matemáticas, ciencias de la computación y disciplinas relacionadas, como un conjunto prescrito de instrucciones o reglas bien definidas, ordenadas y finitas quepermite realizar una actividad mediante pasos sucesivos que no generen dudas a quien lo ejecute. Dados un estado inicial y una entrada, siguiendo los pasos sucesivos se llega a un estado final y se obtiene una solución.)
Circuitos computacionales.
El nivel menos abstracto dentro de una computadora está constituido por circuitos electrónicos que responden a diferentes señales eléctricas, estoes, compuertas lógicas que devuelven un valor dependiendo de las entradas que se le dan al sistema.
Todo sistema computacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un lenguaje binario. La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel.
Programación Lógica.
La programaciónlógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional.
La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia artificial o relacionadas:
▪ Sistemas expertos, donde un sistema de información imita las recomendaciones de un experto sobrealgún dominio de conocimiento.
▪ Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.
▪ Reconocimiento de lenguaje natural, donde un programa es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana.
Fundamentación.
La lógica ocupa un rol central en los estudios de sistemas deinformación tanto en los aspectos ligados al diseño de sistemas como a los aspectos más estrictamente computacionales, ligados a los desarrollos actuales de la informática.
Esta afirmación se funda en los siguientes hechos:
1) La lógica proporciona lenguajes formales para representar y analizar problemas de los campos más diversos y sistemas formales que permiten resolver esos problemas.
2) La lógicaproporciona las herramientas para formalizar diferentes tipos de inferencias que se emplean tanto en la vida cotidiana como en la actividad científica.
3) La lógica posibilita la organización de la información a través de sistemas deductivos y no deductivos.
4) La lógica se aplica en la construcción de sistemas expertos y otro tipo de herramientas informáticas
5) La lógica se aplica en eldesarrollo de lenguajes de programación (programación lógica).
6) La lógica es una de las disciplinas que constituyen la inteligencia artificial y las ciencias cognitivas.
7) Los lenguajes formales que la lógica estudia son aptos para formalizar teorías científicas.
8) La lógica es una condición necesaria para el análisis epistemológico del conocimiento científico.
9) La lógica comparte con la teoríade circuitos estructuras matemáticas, de modo que métodos de aquella pueden aplicarse en esta.
10) La lógica proporciona metodologías para el diseño de sistemas de información.
Aplicación de Los Sistemas Computacionales
1. Aplicaciones de los Sistemas Computacionales.
o Los sistemas computacionales han mejorado nuestra vida de muchas maneras y en varios ámbitos.
o...
El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento intelectual del ser humano. La lógica emerge como mecanismo espontáneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla.
La lógica computacional es la misma lógica matemática aplicada al contexto de las cienciasde la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos. (Entiéndase por algoritmo en matemáticas, ciencias de la computación y disciplinas relacionadas, como un conjunto prescrito de instrucciones o reglas bien definidas, ordenadas y finitas quepermite realizar una actividad mediante pasos sucesivos que no generen dudas a quien lo ejecute. Dados un estado inicial y una entrada, siguiendo los pasos sucesivos se llega a un estado final y se obtiene una solución.)
Circuitos computacionales.
El nivel menos abstracto dentro de una computadora está constituido por circuitos electrónicos que responden a diferentes señales eléctricas, estoes, compuertas lógicas que devuelven un valor dependiendo de las entradas que se le dan al sistema.
Todo sistema computacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un lenguaje binario. La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel.
Programación Lógica.
La programaciónlógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional.
La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia artificial o relacionadas:
▪ Sistemas expertos, donde un sistema de información imita las recomendaciones de un experto sobrealgún dominio de conocimiento.
▪ Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.
▪ Reconocimiento de lenguaje natural, donde un programa es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana.
Fundamentación.
La lógica ocupa un rol central en los estudios de sistemas deinformación tanto en los aspectos ligados al diseño de sistemas como a los aspectos más estrictamente computacionales, ligados a los desarrollos actuales de la informática.
Esta afirmación se funda en los siguientes hechos:
1) La lógica proporciona lenguajes formales para representar y analizar problemas de los campos más diversos y sistemas formales que permiten resolver esos problemas.
2) La lógicaproporciona las herramientas para formalizar diferentes tipos de inferencias que se emplean tanto en la vida cotidiana como en la actividad científica.
3) La lógica posibilita la organización de la información a través de sistemas deductivos y no deductivos.
4) La lógica se aplica en la construcción de sistemas expertos y otro tipo de herramientas informáticas
5) La lógica se aplica en eldesarrollo de lenguajes de programación (programación lógica).
6) La lógica es una de las disciplinas que constituyen la inteligencia artificial y las ciencias cognitivas.
7) Los lenguajes formales que la lógica estudia son aptos para formalizar teorías científicas.
8) La lógica es una condición necesaria para el análisis epistemológico del conocimiento científico.
9) La lógica comparte con la teoríade circuitos estructuras matemáticas, de modo que métodos de aquella pueden aplicarse en esta.
10) La lógica proporciona metodologías para el diseño de sistemas de información.
Aplicación de Los Sistemas Computacionales
1. Aplicaciones de los Sistemas Computacionales.
o Los sistemas computacionales han mejorado nuestra vida de muchas maneras y en varios ámbitos.
o...
Leer documento completo
Regístrate para leer el documento completo.