logique temporelle
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique selon laquelle une même proposition peut avoir différentes valeurs de vérité à des instants différents.
Note :
La logique temporelle permet de formaliser des raisonnements introduisant les concepts de : « parfois », « toujours », ainsi que leurs négations « souvent » et « jamais ».
Terme privilégié :
- logique temporelle n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
Temporal logic is the logic of time and tense and thus has special "operators" meaning, for example, "It was the case that..." or "It was always the case that...". There are parallels with "modal logic" and the kind of "formal semantics" that has been developed is similar. In place of "possible worlds" there is a set of structures representing the world at different moments of time.
Terme :
- temporal logic
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- lògica temporal n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- lógica temporal s. f.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Terme :
- lógica temporal s. f.