« Action language » : différence entre les versions


(Page créée avec « == Domaine == Category:Vocabulaire Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === Action language === In comp... »)
 
m (Remplacement de texte : « * [https:// » par « [https:// »)
 
(19 versions intermédiaires par le même utilisateur non affichées)
Ligne 1 : Ligne 1 :


== Domaine ==
#REDIRECTION[[Langage d'action]]
[[Category:Vocabulaire]]
[[Catégorie:ENGLISH]]
[[Category:Vocabulary]]
 
 
== 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").


== Termes privilégiés ==
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 ==
== Anglais ==


=== Action language ===
'''Action language '''
In computer science, an action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world.[1] Action languages are commonly used in the artificial intelligence and robotics domains, where they describe how actions affect the states of systems over time, and may be used for automated planning.
 
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence  Source : Wikipedia]
 
https://en.wikipedia.org/wiki/Action_language


Action languages fall into two classes: action description languages and action query languages. Examples of the former include STRIPS, PDDL, Language A (a generalization of STRIPS; the propositional part of Pednault's ADL), Language B (an extension of A adding indirect effects, distinguishing static and dynamic laws) and Language C (which adds indirect effects also, and does not assume that every fluent is automatically "inertial"). There are also the Action Query Languages P, Q and R. Several different algorithms exist for converting action languages, and in particular, action language C, to answer set programs.[2][3] Since modern answer-set solvers make use of boolean SAT algorithms to very rapidly ascertain satisfiability, this implies that action languages can also enjoy the progress being made in the domain of boolean SAT solving.
[https://www.24pm.com/117-definitions/223-language-d-action Source : 24pm Academy ]
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

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

Source : Wikipedia

https://en.wikipedia.org/wiki/Action_language

Source : 24pm Academy

Récupérée de « https://datafranca.org/wiki/index.php?title=Action_language&oldid=100449 »

Contributeurs: wiki