« Calcul de situation » : différence entre les versions

Dernière version du 29 janvier 2024 à 11:30

Définition

Le calcul de situation est un formalisme logique conçu pour représenter et raisonner sur des domaines dynamiques. Il a été introduit par John McCarthy en 1963. Les concepts de base du calcul de situation sont les situations, les actions et les fluides. En bref, ce sont les actions qui font passer le monde dynamique d'une situation à une autre lorsqu'elles sont effectuées par des agents. Les fluides sont des fonctions dépendantes de la situation, utilisées pour décrire les effets des actions.

Français

calcul de situation

calcul des situations

Anglais

Situation calculus

Sources

Source: Fangzhen Lin, Handbook of Knowledge Representation, Situation Calculus.

Source: Wikipedia, Calcul des situations.

@@ Ligne 1 : / Ligne 1 : @@
+==Définition==
+Le calcul de situation est un formalisme logique conçu pour représenter et raisonner sur des domaines dynamiques. Il a été introduit par John McCarthy en 1963. Les concepts de base du calcul de situation sont les ''situations'', les ''actions'' et les ''fluides''. En bref, ce sont les actions qui font passer le monde dynamique d'une situation à une autre lorsqu'elles sont effectuées par des agents. Les fluides sont des fonctions dépendantes de la situation, utilisées pour décrire les effets des actions.
-== Domaine ==
+==Français==
-[[Category:Vocabulary]]Vocabulary<br />
+'''calcul de situation'''
-[[Category:Intelligence artificielle]]Intelligence artificielle<br/>
-[[Category:Coulombe]]Coulombe<br/>
-== Définition ==
+'''calcul des situations'''
-En intelligence artificielle, le calcul des situations est une logique formelle pour représenter et raisonner sur des situations et des actions. Le calcul des situations a été introduit par John McCarthy en 1963.
+==Anglais==
+'''Situation calculus'''
-Source:
+==Sources==
-https://fr.wikipedia.org/wiki/Calcul_des_situations
+[http://dai.fmph.uniba.sk/~sefranek/kri/handbook/chapter16.pdf Source: Fangzhen Lin, Handbook of Knowledge Representation, ''Situation Calculus''.]
-== Français ==
+[https://fr.wikipedia.org/wiki/Calcul_des_situations Source:  Wikipedia, Calcul des situations.]
-calcul des situations
-Source:<br/>
+[[Catégorie:Intelligence artificielle]]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
-https://fr.wikipedia.org/wiki/Calcul_des_situations
-== Anglais ==
-===Situation calculus  ===
-The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991. It is followed by sections about McCarthy's 1986 version and a logic programming formulation.
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>