[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/bandes-wikipedia\/#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/bandes-wikipedia\/","headline":"Bandes – wikipedia","name":"Bandes – wikipedia","description":"before-content-x4 BANDES ( St pr\u00e9vision R recherche je nstitute P embl\u00e8me S Olver) est un planificateur automatique d\u00e9velopp\u00e9 par Richard","datePublished":"2023-05-05","dateModified":"2023-05-05","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/author\/lordneo\/#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/author\/lordneo\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/d40f10dcea59ea266d58a5d316fd1e1cf9396948","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/d40f10dcea59ea266d58a5d316fd1e1cf9396948","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/bandes-wikipedia\/","wordCount":2984,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4BANDES ( St pr\u00e9vision R recherche je nstitute P embl\u00e8me S Olver) est un planificateur automatique d\u00e9velopp\u00e9 par Richard Fikes et Nils Nilsson en 1971. Les bandes de nom ont ensuite \u00e9t\u00e9 utilis\u00e9es pour se r\u00e9f\u00e9rer \u00e0 la langue formelle, qui a servi de contribution au planificateur et offre aujourd’hui la base pour d\u00e9crire la plupart des domaines de probl\u00e8me. Cet article ne fait r\u00e9f\u00e9rence \u00e0 la langue, pas au planificateur.        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Un mod\u00e8le de bandes se compose de: un \u00e9tat initial; un \u00e9tat cible, c’est-\u00e0-dire la situation que le planificateur souhaite atteindre; Beaucoup d’actions. Les \u00e9l\u00e9ments suivants doivent \u00eatre donn\u00e9s pour chaque action:Conditions pr\u00e9alables (ce qui doit \u00eatre donn\u00e9 avant que l’action puisse \u00eatre ex\u00e9cut\u00e9e); Conditions ult\u00e9rieures (ce qui est r\u00e9alis\u00e9 apr\u00e8s l’action de l’action). D’un point de vue math\u00e9matique, un mod\u00e8le de bandes est un 4-Tupel \u27e8 P , O , je , g \u27e9 {DisplayStyle Langle P, O, I, Grangle} , dans lequel chaque composant a le sens suivant:        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4P {displaystyle p} Est beaucoup de Conditions ; O {displaystyle o} Est beaucoup de L’op\u00e9ration ; Chaque op\u00e9rateur est m\u00eame un 4-UPEL \u27e8 un , b , c , d \u27e9 {displaystyle langle alpha ,beta ,gamma ,delta rangle } , chaque \u00e9l\u00e9ment est beaucoup de conditions. Les quatre quantit\u00e9s d\u00e9crivent dans un ordre donn\u00e9, quelles conditions doivent \u00eatre vraies afin que l’action puisse \u00eatre effectu\u00e9e, quelles conditions doivent \u00eatre fausses, quelles conditions sont vraies en ex\u00e9cutant l’action, qui sont incorrectes; je {displayStyle i} La condition de d\u00e9part, d\u00e9crite par de nombreuses conditions qui sont vraies au d\u00e9but (toutes les autres sont donc erron\u00e9es); g {displaystyle g} l’\u00e9tat cible; donn\u00e9 en couple \u27e8 N , M \u27e9 {DisplayStyle Langle N, Mrangle} , qui d\u00e9crit les conditions vraies et qui doivent \u00eatre mal. Un plan dans un tel mod\u00e8le de planification est une s\u00e9quence d’actions qui se d\u00e9roulent d\u00e8s le d\u00e9but et m\u00e8nent \u00e0 l’\u00e9tat cible. En forme, un \u00e9tat des conditions est un \u00e9tat – un \u00e9tat est d\u00e9crit par les conditions qui sont vraies. Les transitions entre les \u00e9tats sont d\u00e9crites par une fonction de transition qui refl\u00e8te un \u00e9tat et une action \u00e0 un autre \u00e9tat:        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4t : 2 P\u00d7 O \u2192 2 P, {displaystyle operatorname {t}: 2 ^ {p} fois orightarrow 2 ^ {p},} , dans lequel 2 P{displaystyle 2 ^ {p}} Quantit\u00e9 de toutes les sous-quantit\u00e9s de P {displaystyle p} est, et donc toutes les conditions possibles avec une quantit\u00e9 donn\u00e9e de P de conditions. La fonction de transition peut \u00eatre d\u00e9finie comme suit, selon laquelle il est suppos\u00e9 que les actions peuvent toujours \u00eatre ex\u00e9cut\u00e9es, mais n’ont aucun effet si vos conditions pr\u00e9alables ne sont pas remplies: La fonction de transition t {displayStyle Operatorname {t}} peut \u00eatre appliqu\u00e9 aux cons\u00e9quences des actions par la r\u00e9cursivit\u00e9: t \u2061 ( C , [  ]] ) = C {displayStyle operatorname {t} (c, []) = c} t \u2061 ( C , [ un 1, un 2, … , un n]] ) = t \u2061 ( t \u2061 ( C , un 1) , [ un 2, … , un n]] ) gens Un plan pour un mod\u00e8le de bandes est une cons\u00e9quence des actions, de sorte que la condition r\u00e9sultant de l’\u00e9pisode d’actions m\u00e8ne finalement au d\u00e9but du d\u00e9but.Officiellement [ un d’abord , un 2 , … , un n ]] {displayStyle [a_ {1}, a_ {2}, ldots, a_ {n}]} Est un plan pour g = \u27e8 N , M \u27e9 {displayStyle g = langle n, mrangle} , chutes F = t \u2061 ( je , [ un d’abord , un 2 , … , un n ]] ) {displayStyle f = op\u00e9ratorname {t} (i, [a_ {1}, a_ {2}, ldots, a_ {n}])} Les deux conditions suivantes remplies: N \u2286 F {displayStyle nsubseteq f} M \u2229 F = \u2205 {displaystyle mcap f = varnothing} Un singe est dans un laboratoire en position A. Une bo\u00eete se tient en position C. Le singe veut avoir les bananes qui pendent au plafond en position B. Cependant, il doit d\u00e9placer la bo\u00eete et l’escalader pour l’atteindre. \u00c9tat d\u00e9butant: \u00e0 (a), niveau (bas), boxe (c), bananasat (b) Zielzustand: Have (Bananas) Aktionen:               \/\/ passer de x \u00e0 y               _Move (x, y) _               Conditions pr\u00e9alables: \u00e0 (x), niveau (bas)               Postconditions: pas \u00e0 (x), \u00e0 (y)                              \/\/ grimper sur la bo\u00eete               _Climbup (emplacement) _               Conditions pr\u00e9alables: AT (emplacement), boxat (emplacement), niveau (bas)               Postconditions: Niveau (haut), pas niveau (bas)                              \/\/ descendre de la bo\u00eete               _Climbdown (emplacement) _               Conditions pr\u00e9alables: AT (emplacement), boxat (emplacement), niveau (haut)               Postconditions: niveau (bas), pas niveau (\u00e9lev\u00e9)                              \/\/ d\u00e9place le singe et la bo\u00eete de x \u00e0 y               _Movebox (x, y) _               Conditions pr\u00e9alables: AT (x), boxat (x), niveau (bas)               Postconditions: Boxat (y), pas boxat (x), \u00e0 (y), pas \u00e0 (x)                              \/\/ Prenez les bananes               _Takebananas (emplacement) _               Conditions pr\u00e9alables: AT (emplacement), bananasat (emplacement), niveau (haut)               Postconditions: avoir (bananes) C. B\u00e4ckstr\u00f6m et B. Nebel (1995). R\u00e9sultats de la complexit\u00e9 pour la planification SAS +. Intelligence informatique , 11: 625-656. T. Bylander (1991). R\u00e9sultats de la complexit\u00e9 pour la planification. Dans Actes de la douzi\u00e8me conf\u00e9rence conjointe internationale sur l’intelligence artificielle (ijcai’91) , pages 274-279. R. Fikes et N. Nilsson (1971). Brouilles: une nouvelle approche de l’application du th\u00e9or\u00e8me prouvant \u00e0 la r\u00e9solution de probl\u00e8mes. Intelligence artificielle , 2: 189-208. Stuart Russell, Peter Norvig: Intelligence artificielle: une approche moderne , Ao\u00fbt 2004, Pearson Studies, ISBN 3-8273-7089-2 (traduction allemande de la 2e \u00e9dition)      (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/bandes-wikipedia\/#breadcrumbitem","name":"Bandes – wikipedia"}}]}]