Définition - Que signifie la logique temporelle?
La logique temporelle est une branche de la logique symbolique qui s'intéresse aux problèmes sur des propositions dont les valeurs de vérité dépendent du temps. La logique temporelle est considérée comme une variante de la logique modale, qui est une branche de la logique traitant des propositions qui peuvent être exprimées comme un ensemble de mondes possibles. La logique temporelle est utilisée pour toucher toutes les approches de raisonnement et de représentation basées sur le temps.
Les applications de la logique temporelle comprennent l'utilisation dans le raisonnement dans des questions philosophiques basées sur le temps, comme langage en langage artificiel pour coder les connaissances temporelles et comme outil pour l'analyse formelle, la spécification et la vérification des exigences matérielles et logicielles des applications et des systèmes informatiques.
Definir Tech explique la logique temporelle
L'une des principales caractéristiques des propositions temporelles est qu'elles comportent principalement des références implicites ou explicites aux conditions de temps. Cela contraste avec la logique classique, qui se concentre sur des propositions intemporelles. La logique temporelle est l'un des moyens les meilleurs et les plus appropriés pour raisonner avec des propositions liées au temps, grâce aux quantificateurs temporels. Bien que la logique classique puisse traiter des propriétés temporelles, les formules ont souvent tendance à être compliquées car des points de temps doivent être représentés.
Le concept de logique temporelle a été introduit pour la première fois par Arthur Prior en 1960 sous la «logique tendue» qui a été élargie par d'autres informaticiens et logiciens. La logique temporelle ne se concentre pas sur la vérité ou la fausseté des formules, mais plutôt sur les formules qui restent vraies au fil du temps, même si l'évaluation est modifiée.
La logique temporelle a deux types d'opérateurs: les opérateurs modaux et les opérateurs logiques. Les opérateurs de modèle sont largement utilisés dans la logique d'arbre de calcul et la logique temporelle linéaire, tandis que les opérateurs logiques sont principalement des opérateurs fonctionnels de vérité. La logique temporelle du signal, la logique temporelle d'intervalle, la logique temporelle d'intervalle métrique, la logique temporelle linéaire, la logique d'arbre de calcul et d'autres font partie de la logique temporelle.