Skolémisation - Historique des versions

Pitpitt : Remplacement de texte : « ↵ » par «  ==Sources== »

2024-01-28T17:19:33Z

Remplacement de texte : « ↵<small> » par «  ==Sources== »

← Version précédente		Version du 28 janvier 2024 à 13:19
Ligne 11 :		Ligne 11 :


	~~<small>~~		==Sources==

	[https://fr.wikipedia.org/wiki/Skol%C3%A9misation Source : Wikipedia]		[https://fr.wikipedia.org/wiki/Skol%C3%A9misation Source : Wikipedia]

Imeziani le 20 décembre 2020 à 14:22

2020-12-20T14:22:50Z

← Version précédente		Version du 20 décembre 2020 à 10:22
Ligne 2 :		Ligne 2 :
	En logique mathématique, la skolémisation d’une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d’une forme prénexe, consiste à éliminer toutes les occurrences de quantificateur existentiel en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.		En logique mathématique, la skolémisation d’une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d’une forme prénexe, consiste à éliminer toutes les occurrences de quantificateur existentiel en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.

	La terminologie ~~fait référence au~~ logicien Thoralf Skolem et les fonctions introduites, que l’on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem.		La terminologie provient du nom du logicien Thoralf Skolem et les fonctions introduites, que l’on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem.

	== Français ==		== Français ==
	'''Skolémisation'''		'''Skolémisation'''
Ligne 18 :		Ligne 19 :

	[[Catégorie:GRAND LEXIQUE FRANÇAIS]]		[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
	~~[[Catégorie:Scotty2]]~~

Sihem le 14 décembre 2020 à 06:59

2020-12-14T06:59:35Z

← Version précédente		Version du 14 décembre 2020 à 02:59
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==
	En logique mathématique, la skolémisation d’une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d’une forme prénexe, consiste à éliminer toutes les occurrences de ~~quantificateurs existentiels~~ en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.		En logique mathématique, la skolémisation d’une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d’une forme prénexe, consiste à éliminer toutes les occurrences de quantificateur existentiel en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.

	La terminologie fait référence au logicien Thoralf Skolem et les fonctions introduites, que l’on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem.		La terminologie fait référence au logicien Thoralf Skolem et les fonctions introduites, que l’on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem.

Sihem le 14 décembre 2020 à 06:58

2020-12-14T06:58:33Z

← Version précédente		Version du 14 décembre 2020 à 02:58
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==
	En logique mathématique, la skolémisation d’une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d’une forme prénexe, consiste à éliminer toutes les occurrences de ~~quantificateur existentiel~~ en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.		En logique mathématique, la skolémisation d’une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d’une forme prénexe, consiste à éliminer toutes les occurrences de quantificateurs existentiels en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.

	La terminologie fait référence au logicien Thoralf Skolem et les fonctions introduites, que l’on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem.		La terminologie fait référence au logicien Thoralf Skolem et les fonctions introduites, que l’on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem.

Sihem le 14 décembre 2020 à 06:53

2020-12-14T06:53:50Z

← Version précédente		Version du 14 décembre 2020 à 02:53
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==
	En logique mathématique, la skolémisation ~~d'une~~ formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas ~~d'une~~ forme prénexe, consiste à éliminer toutes les occurrences de quantificateur existentiel en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.		En logique mathématique, la skolémisation d’une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d’une forme prénexe, consiste à éliminer toutes les occurrences de quantificateur existentiel en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.

	~~La terminologie fait référence au logicien Thoralf Skolem et les fonctions introduites, que l'on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem~~.

			La terminologie fait référence au logicien Thoralf Skolem et les fonctions introduites, que l’on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem.
	== Français ==		== Français ==
	'''Skolémisation'''		'''Skolémisation'''

Pitpitt : Pitpitt a déplacé la page Skolemization vers Skolémisation

2020-05-21T00:02:25Z

Pitpitt a déplacé la page Skolemization vers Skolémisation

← Version précédente	Version du 20 mai 2020 à 20:02
(Aucune différence)

Pitpitt le 21 mai 2020 à 00:02

2020-05-21T00:02:09Z

← Version précédente		Version du 20 mai 2020 à 20:02
Ligne 2 :		Ligne 2 :
	En logique mathématique, la skolémisation d'une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d'une forme prénexe, consiste à éliminer toutes les occurrences de quantificateur existentiel en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.		En logique mathématique, la skolémisation d'une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d'une forme prénexe, consiste à éliminer toutes les occurrences de quantificateur existentiel en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.

	La terminologie fait référence au logicien Thoralf Skolem et les fonctions introduites, que l'on peut voir comme des fonctions de choix, sont appelées fonctions de ~~Skolem1~~.		La terminologie fait référence au logicien Thoralf Skolem et les fonctions introduites, que l'on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem.

	== Français ==		== Français ==

Pitpitt le 21 mai 2020 à 00:01

2020-05-21T00:01:48Z

← Version précédente		Version du 20 mai 2020 à 20:01
Ligne 12 :		Ligne 12 :

	<small>		<small>

			[https://fr.wikipedia.org/wiki/Skol%C3%A9misation Source : Wikipedia]

	[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary]		[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary]

Pitpitt le 21 mai 2020 à 00:01

2020-05-21T00:01:17Z

← Version précédente		Version du 20 mai 2020 à 20:01
Ligne 1 :		Ligne 1 :
			== Définition ==
			En logique mathématique, la skolémisation d'une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d'une forme prénexe, consiste à éliminer toutes les occurrences de quantificateur existentiel en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.

	~~== en construction ==~~		La terminologie fait référence au logicien Thoralf Skolem et les fonctions introduites, que l'on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem1.
	~~[[Catégorie:Vocabulary]]~~
	~~[[Catégorie:Intelligence artificielle]]~~
	~~[[Catégorie:UTexas]]~~


	~~== Définition ==~~
	~~xxxxxxx~~

	== Français ==		== Français ==
	~~xxxxxxx~~		'''Skolémisation'''

	== Anglais ==		== Anglais ==
	'''Skolemization'''		'''Skolemization'''

	~~the process of eliminating existential quantifiers by replacing them with Skolem constants and Skolem functions.~~


Ligne 21 :		Ligne 14 :

	[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary]		[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary]


			[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
			[[Catégorie:Scotty2]]

Pitpitt : Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... »

2019-09-14T14:38:35Z

Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... »

Nouvelle page

== en construction ==
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:UTexas]]

== Définition ==
xxxxxxx

== Français ==
xxxxxxx

== Anglais ==
'''Skolemization'''

the process of eliminating existential quantifiers by replacing them with Skolem constants and Skolem functions.

<small>

[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary]

Skolémisation - Historique des versions

Pitpitt : Remplacement de texte : « ↵ » par « ==Sources== »

Imeziani le 20 décembre 2020 à 14:22

Sihem le 14 décembre 2020 à 06:59

Sihem le 14 décembre 2020 à 06:58

Sihem le 14 décembre 2020 à 06:53

Pitpitt : Pitpitt a déplacé la page Skolemization vers Skolémisation

Pitpitt le 21 mai 2020 à 00:02

Pitpitt le 21 mai 2020 à 00:01

Pitpitt le 21 mai 2020 à 00:01

Pitpitt : Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... »

Pitpitt : Remplacement de texte : « ↵ » par «  ==Sources== »

Pitpitt : Pitpitt a déplacé la page Skolemization vers Skolémisation

Pitpitt : Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... »