Plánovanie, rozvrhovanie a uspokojovanie obmedzení: Od teórie k praxi

Pôvodný názov:

Planning, Scheduling and Constraint Satisfaction: From Theory to Practice

Obsah knihy:

Zavedenie aplikácií umelej inteligencie na plánovanie a rozvrhovanie do reálneho sveta je náročná úloha, ktorej sa každým dňom venuje viac pozornosti zo strany výskumníkov a odborníkov z praxe z mnohých oblastí.

V mnohých prípadoch si vyžaduje integráciu viacerých základných techník, ako je plánovanie, rozvrhovanie, uspokojovanie obmedzení, zmiešané iniciatívne plánovanie a rozvrhovanie, časové uvažovanie, reprezentácia znalostí, formálne modely a jazyky a technologické otázky. Väčšina príspevkov zahrnutých v tejto knihe je jasným príkladom, ako integrovať niekoľko z týchto techník.

Okrem toho sa kniha venuje aj mnohým zaujímavým prístupom v aplikačných oblastiach od priemyselného job shopu až po elektronickú turistiku, environmentálne problémy, virtuálne vyučovanie alebo vesmírne misie. Táto kniha poskytuje aj výkonné techniky, ktoré umožňujú vytvárať plne nasaditeľné aplikácie na riešenie reálnych problémov, a aktualizovaný prehľad mnohých najzaujímavejších oblastí použitia týchto technológií, pričom ukazuje, aké silné sú tieto technológie na prekonanie problémov s expresivitou a efektívnosťou problémov reálneho sveta.