Demonstrace metod plánování

Abstract

Projekt se zabývá demonstrací moderních plánovacích metod GraphPlan a SATPlan s důrazem na pochopení vnitřních procesů uvnitř jednotlivých algoritmů. Dále diskutuje možnost využití appletů jako doplňku k výkladu algoritmů a využití jednotlivých částí těchto algoritmů i v jiných oblastech výuky umělé inteligence a informatiky obecně.

Project discuss demonstration of modern plannig methods GraphPlan and SATPlan with the emphasis to understanding to internal processes of selected algorithms. In the addition, it discuss taking advantage of using applets as add-on to lectures and excercises in educating planning metohds and computer technology in general.