« Action language » : différence entre les versions
m (Remplacement de texte — « == Domaine == » par « == en construction == <small>Entrez ici les domaines et catégories...</small> ») |
m (Remplacement de texte : « * [https:// » par « [https:// ») |
||
| (12 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
#REDIRECTION[[Langage d'action]] | |||
[[Catégorie:ENGLISH]] | |||
[[ | |||
== Définition == | == Définition == | ||
Un langage d'action est un langage pour spécifier l’état des systèmes de transition, et est couramment utilisé pour créer des modèles formels des effets des actions sur le monde . Les langages d'action sont couramment utilisés dans les domaines de l’intelligence artificielle et de la robotique. | |||
Ils décrivent comment les actions affectent les états des systèmes au fil du temps et peuvent être utilisés pour la planification automatisée . | |||
Les langages d'action se divisent en deux classes: les langages de description d'action et les langages de requête d'actions. Des exemples des premiers comprennent STRIPS, PDDL, la langue A (une généralisation de bandes, la partie propositionnelle de de Pednault ADL), langue B (une extension d'un ajout d’effets indirects, en distinguant les lois statiques et dynamiques) et du langage C (ce qui ajoute des effets indirects aussi, et ne suppose pas que chaque fluide est automatiquement "inertiel"). | |||
Il existe également les langages de requête d'actions P, Q et R. Il existe plusieurs algorithmes différents pour convertir les langages d'action, et en particulier le langage d'action C, pour répondre aux programmes définis . Etant donné que les résolveurs modernes de groupes de réponses utilisent des algorithmes SAT booléens pour déterminer très rapidement la satisfiabilité, cela signifie que les langages d'action peuvent également profiter des progrès réalisés dans le domaine de la résolution booléenne SAT. | |||
== Français == | == Français == | ||
'''XXXXXXX''' | |||
| Ligne 19 : | Ligne 23 : | ||
'''Action language ''' | '''Action language ''' | ||
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence Source : Wikipedia] | |||
https://en.wikipedia.org/wiki/Action_language | |||
[https://www.24pm.com/117-definitions/223-language-d-action Source : 24pm Academy ] | |||
Dernière version du 11 février 2024 à 21:30
Rediriger vers :
Définition
Un langage d'action est un langage pour spécifier l’état des systèmes de transition, et est couramment utilisé pour créer des modèles formels des effets des actions sur le monde . Les langages d'action sont couramment utilisés dans les domaines de l’intelligence artificielle et de la robotique.
Ils décrivent comment les actions affectent les états des systèmes au fil du temps et peuvent être utilisés pour la planification automatisée .
Les langages d'action se divisent en deux classes: les langages de description d'action et les langages de requête d'actions. Des exemples des premiers comprennent STRIPS, PDDL, la langue A (une généralisation de bandes, la partie propositionnelle de de Pednault ADL), langue B (une extension d'un ajout d’effets indirects, en distinguant les lois statiques et dynamiques) et du langage C (ce qui ajoute des effets indirects aussi, et ne suppose pas que chaque fluide est automatiquement "inertiel").
Il existe également les langages de requête d'actions P, Q et R. Il existe plusieurs algorithmes différents pour convertir les langages d'action, et en particulier le langage d'action C, pour répondre aux programmes définis . Etant donné que les résolveurs modernes de groupes de réponses utilisent des algorithmes SAT booléens pour déterminer très rapidement la satisfiabilité, cela signifie que les langages d'action peuvent également profiter des progrès réalisés dans le domaine de la résolution booléenne SAT.
Français
XXXXXXX
Anglais
Action language
Contributeurs: wiki
