Table des matières:
Définition - Que signifie la logique temporelle?
La logique temporelle est une branche de la logique symbolique qui s'intéresse aux problèmes 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 de propositions qui peuvent être exprimées comme un ensemble de mondes possibles. La logique temporelle est utilisée pour toucher toutes les approches du raisonnement et de la représentation en fonction du temps.
Les applications de la logique temporelle incluent l'utilisation dans le raisonnement des questions philosophiques basées sur le temps, comme langage dans un langage artificiel pour coder les connaissances temporelles, et comme outil d'analyse formelle, de spécification et de vérification des exigences matérielles et logicielles des applications et des systèmes informatiques.
Techopedia explique la logique temporelle
L'une des caractéristiques saillantes des propositions temporelles est qu'elles contiennent principalement des références implicites ou explicites aux conditions temporelles. 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 temporelles, 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 dans le cadre de la «logique tendue» qui a été élargie par d'autres informaticiens et logiciens. La logique temporelle n'est pas centrée 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.
