1. State space and its properties, basic methods of uninformed and informed state space search
2. Resolution method of first order predicate calculus and its use in proving the truth of formulas, Horn clause
3. The concept of knowledge and expert system and ways of representing knowledge within these systems, knowledge base, data base of expert systems and basic principles applied in inference mechanisms of expert systems
4. Fuzzy language variable and its language values, formulas of multivalued fuzzy language logic, truth values of formulas
5. Fuzzy expert systems and their basic properties, architecture of diagnostic, planning and hybrid fuzzy expert systems, methodology of creating knowledge base of fuzzy expert systems, queries and interpretation of fuzzy oriented rule expert systems, selected economic applications of fuzzy expert systems
2. Resolution method of first order predicate calculus and its use in proving the truth of formulas, Horn clause
3. The concept of knowledge and expert system and ways of representing knowledge within these systems, knowledge base, data base of expert systems and basic principles applied in inference mechanisms of expert systems
4. Fuzzy language variable and its language values, formulas of multivalued fuzzy language logic, truth values of formulas
5. Fuzzy expert systems and their basic properties, architecture of diagnostic, planning and hybrid fuzzy expert systems, methodology of creating knowledge base of fuzzy expert systems, queries and interpretation of fuzzy oriented rule expert systems, selected economic applications of fuzzy expert systems