Course detail

Multi-valued Logic Applications

FSI-SALAcad. year: 2011/2012

The course is intended especially for students of mathematical engineering. It includes the theory of multi-valued logic, theory of linguistic variable and linguistic models and theory of expert systems based on these topics. Particular technical applications of these mathematical teories are included as a practice.

Language of instruction

Czech

Number of ECTS credits

4

Mode of study

Not applicable.

Guarantor

prof. RNDr. Miloslav Druckmüller, CSc.

Department

Institute of Mathematics (ÚM)

Learning outcomes of the course unit

Knowledge of multi-valued logic, fuzzy sets theory and its use in technical applications, including practical experience with today´s expert systems.

Prerequisites

Mathematical logic, fuzzy set theory

Co-requisites

Not applicable.

Planned learning activities and teaching methods

Teaching methods depend on the type of course unit as specified in the article 7 of BUT Rules for Studies and Examinations.

Assesment methods and criteria linked to learning outcomes

Course-unit credit is awarded on condition of having worked out a semester work.
The exam has a written and oral part.

Course curriculum

Not applicable.

Work placements

Not applicable.

Aims

The aim of the course is to provide students with information about the use of Multi-valued logic in technical applications.

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

Atendance at seminars is controlled. An absence can be compensated for via solving additional problems.

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Druckmüller, M.: Technické aplikace vícehodnotové logiky, PC- DIR , Brno 1998 (CS)

Recommended reading

Not applicable.

Classification of course in study plans

  • Programme N3901-2 Master's

    branch M-MAI , 2 year of study, summer semester, compulsory

Type of course unit

 

Lecture

26 hod., optionally

Teacher / Lecturer

doc. Ing. Pavel Štarha, Ph.D.
doc. PaedDr. Dalibor Martišek, Ph.D.

Syllabus

1. Multi-valued logic, formulae
2. T-norms, T-conorms, generalized implications
3. Linguistic variables and linguistic models
4. Knowledge bases of expert systems
5-6. Semantic interpretations of knowledge bases
7. Inference techniques and its implementation
8. Redundance a contradictions in knowledge bases
9. LMPS system
10. Fuzzification and defuzzification problem
11. Technical applications of multi-valued logic and fuzzy sets theory
12. Expert systems
13. Overview of AI methods

Computer-assisted exercise

13 hod., compulsory

Teacher / Lecturer

doc. Ing. Pavel Štarha, Ph.D.
doc. PaedDr. Dalibor Martišek, Ph.D.

Syllabus

1. Multi-valued logic, formulae
2. Lukasziewicz logic
3-4. Linguistic variables and linguistic models
5. Semester work specification
6. LMPS system - linguistic variables
7. LMPS system - statements
8. LMPS system - question and reply interpretation
9. LMPS system - debugger and redundance detection
10. LMPS system - contradictions detection and removing
11-12. Semester work consultation
13. Delivery of semester work