¿Cuáles son algunas aplicaciones de la lógica simbólica? Intenté usar Google y Bing pero sólo obtuve un montón de recomendaciones de libros, y enlaces a artículos que no entendí.
Respuestas
¿Demasiados anuncios?
dtldarek
Puntos
23441
Entre otras cosas, la lógica tiene aplicación en
- procesamiento del lenguaje natural por ejemplo, en formalismos como HPSG o CCG ;
- lenguajes de programación, donde teoría de los tipos juega un papel importante;
- corrección, verificación y concurrencia en informática, por ejemplo La lógica de Hoare pero también cosas como CTL .
- varios modelos de datos relacionados con la semántica como ontologías o el RDF o OWL formatos de archivo, incluso algunas bases de datos podrían encajar aquí;
- procesamiento de árboles (como autómatas de árbol ), por ejemplo cosas como XSLT se basan mucho en la lógica.
Por supuesto, no es sólo simbólico lógica (seguro que hay otras técnicas), pero la lógica simbólica hace tienen voz en todos los puntos anteriores (aunque no sea ni mucho menos el aspecto más importante).
Espero que esto ayude ;-)
Njax3SmmM2x2a0Zf7Hpd
Puntos
146
Algunos dirán que la lógica simbólica, por su naturaleza, sólo es una rama de las matemáticas aplicables ya, desde el principio.
Comparemos: la mecánica clásica, por ejemplo, es esa rama de las matemáticas aplicadas (¡y por tanto aplicables!) que construye modelos (muy idealizados pero útiles) de diversas clases de fenómenos físicos. La lógica simbólica es la rama de la matemática aplicada que construye modelos (muy idealizados pero útiles) de razonamiento matemático.
A continuación, como señala @dtlarek, podemos utilizar estos modelos formales de razonamiento matemático en diversas aplicaciones formales de las ciencias de la computación. Pero podría decirse que estas son, en buen sentido, aplicaciones secundarias.
Chan Le
Puntos
282
Además de los usos directos que todos mencionan, el aprendizaje de la lógica simbólica tiene beneficios indirectos. Indirectamente, entender la lógica simbólica ayuda a comprender en qué se equivoca la gente en sus conversaciones cotidianas. Por ejemplo, los políticos suelen utilizar trucos para convencer a la gente de que su punto de vista es correcto. Entender la lógica te ayuda a desmontar rápidamente los malos argumentos.
krasnaya
Puntos
494
Ayuda a los matemáticos a explicar o describir algo, es decir, un enunciado específico, de tal manera que otros matemáticos lo entiendan, también hace que el enunciado esté abierto a la manipulación, además consume menos tiempo escribir una ecuación que el enunciado completo. Además, es un lenguaje universal que todos entienden y no hay errores al traducir el texto y, por último, se puede centrar en la parte importante del enunciado.
