Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2022/2023
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Artificial Intelligence and Neural Networks in Applications

Login to KOS for course enrollment Display time-table
Code Completion Credits Range
2371076 Z,ZK 5 2P+2C
Garant předmětu:
Jiří Bíla
Lecturer:
Jiří Bíla, Vladimír Hlaváč, Cyril Oswald
Tutor:
Jiří Bíla, Vladimír Hlaváč, Cyril Oswald
Supervisor:
Department of Instrumentation and Control Engineering
Synopsis:

Theory of Problem Solving. Logic of First Order Language, Teorem proving, Resolution principle. Formal grammars, Abstract automata as syntactic analysers. Fuzzy Sets, Fuzzy Relational Calculus, Fuzzy Logic. Rule based systems.

Fuzzy controllers, Design of fuzzy controllers, fuzzy controllers of Mamdani and Takagi-Sugeno type. Implementation of fuzzy controllers in the MATLAB/Simulink environment and Fuzzy Toolbox for MATLAB. Examples and applications. Expert systems and their applications for engineering problems. Neural networks. Classification of neural networks. MLP (Multi-Layer Perceptron) and RBF (Radial Basis Function) neural networks. Examples of neural network with neural units of higher order (HONNU). Implementation of neural networks in MATLAB/Simulink and the Neural Network Toolbox for MATLAB. Examples and applications. Data mining of knowledge from databases.

Requirements:

Artificial Intelligence and Neural Networks 2016/2017

(Problem fields for exam.)

(prof. Bíla, dr. Oswald)

1.Theory for problem solving, types of problems, Generalised State Space (GSS) and Generalised Problem Solver (GPS), formal model of the synthesis of the solution.

2.Formal logic. The language and the calculus of first order predicates. The synthesis of a solution.

3.Automatic proving of theorems - resolution method. Description of the method and examples.

4.Formal languages and grammars. Essential types of grammars.

5.Abstract automata as syntactic analysers. Types of automata. State machines (finite automaton and pushdown automaton).

6.Fuzzy controllers. Mamdani and Takagi-Sugeno controller.

7.Fuzzy toolbox for MatLab/Simulink.

8.Synthesis of fuzzy controller in Fuzzy toolbox.

9. The example of the control of nonlinear dynamic system by fuzzy controller.

10. Genetic algorithms. Description of the algorithm. Ending condition.

11. Neural network - life cycle and the fields of the deployment of neural networks.

12. Types of neural networks (MLP, RBF , HONU).

13. Training and testing of neural networks.

14. Back propagation method for training of MLP networks.

15. Tuning of RBF networks.

16. Convergence of training process.

17. Identification of dynamic systems by neural networks.

Syllabus of lectures:

ARTIFICIAL INTELLIGENCE from 2017/18

(prof. Bíla, dr. Oswald)

1. Introduction to Artificial Intelligence and Theory of problem solving.

2. Formal logic. The language and the calculus of predicates of the first order (FOL). Automatic theorem proving.

3. Formal grammar and formal languages. Abstract automata.

4. Abstract automata as syntactic analysers of formal languages.

5. Fuzzy sets.

6. Fuzzy logic and rule-based systems.

7. Problem solving by expert systems.

8. Fuzzy controllers, Fuzzy toolbox for MatLab/Simulink.

9. Synthesis of a fuzzy controller in Fuzzy toolbox for MatLab/Simulink.

10. Genetic algorithms.

11. Neural networks, theory and types (MLP, RBF, HONNU).

12. Neural networks - Deep learning.

12. Neural Networks - application in identification and signal processsing.

13. Data mining of knowledge from databases.

14. Final lecture and Assessments.

Syllabus of tutorials:

The topics of the seminaries follow the topics of lectures.

Topics of the semester projects will be gradually assigned since 9.lecture.

Conditions for the assessment:

-50 % participation in seminaries.

-Accepted semester project.

Study Objective:

Formal apparatus of selected topics on Artificial Intelligence (Common Algebra, Formal Logic, Resolution Principle, Fuzzy Sets, Fuzzy Relational Calculus, Fuzzy Logic, Qualitative Algebras). Qualitative modeling and system simulations. Fuzzy controllers, theory of design of fuzzy controllers, fuzzy controllers by Mamdani and Sugeno. Implementation of fuzzy controllers in the MATLAB/Simulink environment and Fuzzy Toolbox for MATLAB. Examples and applications. Qualitative methods in systems for fault detection. Expert systems and their applications to engineering problems. Neural networks. Classification of neural networks. MLP (Multi-Layer Perceptron) and RBF (Radial Basis Function) neural networks. Implementation of the neural networks in MATLAB/Simulink and the Neural Network Toolbox for MATLAB. Examples and applications.

Study materials:

1.P.H. Winston: Artificial Intelligence. Addison-Wesley Publishing Company, Amsterdam, 1977.

2.R.B. Banerji: Artificial Intelligence.(Theoretical Approach.) North Holland, N.Y., 1986.

3. Nils J.Nilsson: Artidficial Inteligence: A New Synthesis. Morgan Kaufmann Publisher,Inc. , San Francisco, Cal., 2005.

Note:
Time-table for winter semester 2022/2023:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue
roomT4:C2-434
Bíla J.
Oswald C.

12:30–14:00
(lecture parallel1)
Dejvice
Posluchárna 434
roomT4:C1-308
Bíla J.
Oswald C.

14:15–15:45
(parallel nr.2)
Dejvice
Laboratoř 12110.3 - 308
Wed
roomT4:C1-308
Bíla J.
Oswald C.

10:45–12:15
(parallel nr.1)
Dejvice
Laboratoř 12110.3 - 308
Thu
Fri
Time-table for summer semester 2022/2023:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2023-03-26
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet10602102.html