Hispanopedia WikiLa lógica temporal de intervalos (también llamada lógica de intervalos ) es una lógica temporal que permite representar tanto el razonamiento lógico proposicional como el de primer orden sobre periodos de tiempo, y que es capaz de manejar composiciones tanto secuenciales como paralelas. En lugar de trabajar con secuencias infinitas de estados, las lógicas temporales de intervalos trabajan con secuencias finitas.
La lógica temporal de intervalos encuentra aplicación en ciencias de la computación , inteligencia artificial y lingüística . La lógica temporal de intervalos de primer orden se desarrolló inicialmente en la década de 1980 para la especificación y verificación de protocolos de hardware . La lógica temporal de intervalos ( LTI ) es una forma específica de lógica temporal , desarrollada originalmente por Ben Moszkowski para su tesis en la Universidad de Stanford . [ 1 ] Es útil en la descripción formal de hardware y software para sistemas basados en computadoras. Hay herramientas disponibles para ayudar en este proceso. Tempura proporciona un marco de trabajo LTI ejecutable . La composicionalidad es un tema y consideración significativos en el diseño de LTI.
Entre las derivaciones más notables de la lógica temporal de intervalos se encuentran la lógica gráfica de intervalos , la lógica de intervalos con signo y la lógica de intervalos futuros .
Véase también
Referencias
- ↑ "Lógica temporal de intervalos" .
- Lógica temporal
- Lógica básica
- Métodos formales esbozos
