Course detail

Multi-valued Logic Applications

FSI-SAL-AAcad. year: 2022/2023

The course is designed for students of mathematical engineering and contains the theory of fuzzy logic, linguistic variables and linguistic models and the theory of expert systems. The subject also includes the practical design of an expert system based on Lukasiewicz or Mamdani logic.

The second part of the course is devoted to machine learning and neural networks, which are used for modern applications of expert systems. Students become familiar with basic terminology, other types and their use for applications (speech, image, etc. analysis).

Language of instruction

English

Number of ECTS credits

4

Mode of study

Not applicable.

Learning outcomes of the course unit

1.Terminology and explanation of the concepts of many-valued logic.
2. ntroducing word models, designing an expert system.
3. Machine learning methods.
4. Neural networks (NN) - basic properties and concepts.
5. Use of NN for analysis of text, speech, image (CNN). Design your own neural network without even using pre-trained models.

Prerequisites

Mathematical logic, Fuzzy set theory.

Co-requisites

Not applicable.

Planned learning activities and teaching methods

The course is taught through lectures explaining the basic principles and theory of the discipline. Exercises are focused on practical topics presented in lectures.

Assesment methods and criteria linked to learning outcomes

Graded assessment based on submission of semester work (70 percent) and oral exam of the given theory (30 percent).

Course curriculum

Not applicable.

Work placements

Not applicable.

Aims

The aim of the course is to introduce the methods of fuzzy logic and the proposition of expert systems. Next, students will learn to design a simple system based on machine learning and will learn the theoretical and practical basics of neural networks.

Specification of controlled education, way of implementation and compensation for absences

Participation on lessons is compulsory, in case of absence it is necessary to work out substitute work.

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Bolc, L., Borowik, P.:Many-Valued Logics 1, Volume 1, Theoretical Foundations, Springer 1999
Druckmüller, M.: Technické aplikace vícehodnotové logiky, PC- DIR , Brno 1998
Jackson P.: Introduction to Expert Systems, Addison-Wesley 1999

Recommended reading

Bolc, L., Borowik, P.:Many-Valued Logics 2, Springer 2010

Classification of course in study plans

  • Programme N-MAI-A Master's 2 year of study, winter semester, compulsory

Type of course unit

 

Lecture

26 hod., compulsory

Teacher / Lecturer

Syllabus

1. Multi-valued logic, formulae.
2. T-norms, T-conorms, generalized implications.
3. Linguistic variables and linguistic models, knowledge bases of expert systems.
4. Lukasiewicz logic, Mamdani principle.
5. Inference techniques and its implementation, redundance and contradictions in knowledge bases, Fuzzification and defuzzification problem.
6. Expert system project.
7.Machine learning (decisiton trees, kNN, SVM).
8.-9. Text mining, chatbot
10. Neural network elementary principles, Deep Learning.
11. Convolutional Neural Network (CNN).
12.-13. Semestral work, consultation. 

Computer-assisted exercise

13 hod., compulsory

Teacher / Lecturer

Syllabus

Topics for work in exercises are closely related to the lectures. As part of the computer exercises, particular areas will be implemented in Matlab software, event. Python. IBM Watson Assistant will be used to design the chatbot. 

1. Multi-valued logic, formulae.
2. T-norms, T-conorms, generalized implications.
3. Linguistic variables and linguistic models, knowledge bases of expert systems.
4. Lukasiewicz logic, Mamdani principle.
5. Inference techniques and its implementation, redundance and contradictions in knowledge bases, Fuzzification and defuzzification problem.
6. Expert system project.
7.Machine learning (decisiton trees, kNN, SVM).
8.-9. Text mining, chatbot
10. Neural network elementary principles, Deep Learning.
11. Convolutional Neural Network (CNN).
12.-13. Semestral work, consultation.