« Action language » : différence entre les versions
m (Remplacement de texte — « [[Category: » par « [[Catégorie: ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
== en construction == | == en construction == | ||
[[Catégorie:Vocabulaire]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:24pm]] | |||
== 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''' <small> loc. nominale. masc. </small> | |||
| Ligne 19 : | Ligne 24 : | ||
'''Action language ''' | '''Action language ''' | ||
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence Source : Wikipedia] | [https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence Source : Wikipedia] | ||
https://en.wikipedia.org/wiki/Action_language | |||
https:// | [https://www.24pm.com/117-definitions/223-language-d-action Source : 24pm Academy ] | ||
Version du 12 mars 2020 à 09:00
en construction
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 loc. nominale. masc.
Anglais
Action language
Contributeurs: wiki
