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


m (Remplacement de texte — « Category:Coulombe » par « <!-- Coulombe --> »)
m (Remplacement de texte : « ↵↵==Sources== » par «  ==Sources== »)
 
(27 versions intermédiaires par 2 utilisateurs non affichées)
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.


== en construction ==  
==Français==
'''calcul de situation'''   


[[Category:Vocabulary]]Vocabulary<br />
'''calcul des situations''' 
[[Category:Intelligence artificielle]]Intelligence artificielle<br/>
<!-- Coulombe -->Coulombe<br/>


== Définition ==
==Anglais==
'''Situation calculus'''
==Sources==


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.
[http://dai.fmph.uniba.sk/~sefranek/kri/handbook/chapter16.pdf Source: Fangzhen Lin, Handbook of Knowledge Representation, ''Situation Calculus''.]


Source:
[https://fr.wikipedia.org/wiki/Calcul_des_situations Source: Wikipedia, Calcul des situations.]


https://fr.wikipedia.org/wiki/Calcul_des_situations
[[Catégorie:Intelligence artificielle]]
 
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
== Français ==
calcul des situations
 
Source:<br/>
 
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/>

Dernière version du 30 août 2024 à 14:01

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.