La lógica híbrida se refiere a una serie de extensiones de la lógica modal proposicional con más poder expresivo, aunque todavía menos que la lógica de primer orden . En la lógica formal , hay un equilibrio entre expresividad y manejabilidad computacional (qué fácil es calcular / razonar con lenguajes lógicos). La historia de la lógica híbrida comenzó con el trabajo de Arthur Prior en lógica tensa . [1]
A diferencia de la lógica modal ordinaria, la lógica híbrida permite hacer referencia a estados (mundos posibles) en fórmulas. Esto se logra mediante una clase de fórmulas llamadas nominales , que son verdaderas en exactamente un estado, y mediante el uso del operador @, que se define de la siguiente manera:
- @ i p es verdadero si y solo si p es verdadero en el estado único nombrado por la i nominal (es decir, el estado donde i es verdadero).
Existen lógicas híbridas con operadores adicionales o de otro tipo, pero @ es más o menos "estándar".
Las lógicas híbridas tienen muchas características en común con las lógicas temporales (que utilizan construcciones de tipo nominal para denotar puntos específicos en el tiempo) y son una rica fuente de ideas para los investigadores de la lógica modal moderna. También tienen aplicaciones en las áreas de lógica de características , teoría de modelos , teoría de pruebas y análisis lógico del lenguaje natural . También está profundamente conectado con la lógica de la descripción porque el uso de nominales permite realizar un razonamiento ABox asertivo , así como el razonamiento TBox terminológico más estándar .
Referencias
- ^ Torben Braüner (2008). "Lógica híbrida" . Enciclopedia de Filosofía de Stanford . Consultado el 1 de febrero de 2011 .
Otras lecturas
- P. Blackburn. 2000. Representación, razonamiento y estructuras relacionales: un manifiesto lógico híbrido. Revista lógica de la IGPL , 8 (3): 339-365.
enlaces externos
- Página de inicio de Hybrid Logics
- Entrada de la Enciclopedia de Filosofía de Stanford sobre lógica híbrida