1. Stavový prostor a jeho vlastnosti, základní metody neinformovaného a informovaného prohledávání stavového prostoru
2. Rezoluční metoda predikátového počtu prvního řádu a její použití při důkazu pravdivosti formulí, Hornovy klauzule
3. Pojem znalostního a expertního systému a způsoby reprezentace znalostí v rámci těchto systémů, báze znalostí, báze dat expertních systémů a základní principy aplikované v inferenčních mechanismech expertních systémů
4. Fuzzy logika, fuzzy jazyková proměnná a její jazykové hodnoty, formule vícehodnotové fuzzy jazykové logiky, pravdivostní hodnoty formulí
5. Fuzzy expertní systémy a jejich základní vlastnosti, architektura diagnostických, plánovacích a hybridních fuzzy expertních systémů, metodologie tvorby báze znalostí fuzzy expertních systémů, dotazy a interpretace odpovědí fuzzy orientovaných pravidlových expertních systémů, vybrané ekonomické aplikace fuzzy expertních systémů
2. Rezoluční metoda predikátového počtu prvního řádu a její použití při důkazu pravdivosti formulí, Hornovy klauzule
3. Pojem znalostního a expertního systému a způsoby reprezentace znalostí v rámci těchto systémů, báze znalostí, báze dat expertních systémů a základní principy aplikované v inferenčních mechanismech expertních systémů
4. Fuzzy logika, fuzzy jazyková proměnná a její jazykové hodnoty, formule vícehodnotové fuzzy jazykové logiky, pravdivostní hodnoty formulí
5. Fuzzy expertní systémy a jejich základní vlastnosti, architektura diagnostických, plánovacích a hybridních fuzzy expertních systémů, metodologie tvorby báze znalostí fuzzy expertních systémů, dotazy a interpretace odpovědí fuzzy orientovaných pravidlových expertních systémů, vybrané ekonomické aplikace fuzzy expertních systémů