Resumen

Especificar e interpretar restricciones temporales son elementos clave de la representación del conocimiento y el razonamiento, con aplicaciones en bases de datos temporales, programación de agentes e inteligencia ambiental. Presentamos y caracterizamos formalmente el lenguaje , que aborda este problema. En , los usuarios pueden desarrollar programas dependientes del tiempo de manera flexible y sencilla. Estos programas pueden, a su vez, ser acoplados con entornos en evolución, permitiendo a los usuarios controlar la evolución de los entornos. se basa en una estructura para almacenar información temporal, junto con un mecanismo de consulta dedicado. Por lo tanto, exploramos la complejidad computacional de nuestro problema de satisfacción de consultas. Discutimos intentos de implementación previos de e introducimos un nuevo prototipo que se basa en la programación lógica. Finalmente, abordamos el problema de la consistencia y corrección de la ejecución del programa , utilizando el enfoque de modelado Event-B.

• Materias:Internet de las cosas Inteligencia artificial Contaminantes atmosféricos Sistema biométrico Aplicaciones
• Subjects:Internet of things Artificial intelligence Air pollutants Biometric system Applications
• Palabras claves:Especificación; Interpretación; Restricciones temporales; Representación del conocimiento; Razonamiento; Bases de datos temporales
• Keywords:Specifying; Interpreting; Temporal constraints; Knowledge representation; Reasoning; Temporal databases