|
MAT-42106 Applied logics, 5 cr |
Esko Turunen
Lecture times and places | Target group recommended to | |
Implementation 1 |
Periods 1 1 - 2 |
Examination or partial examinations.
Completion parts must belong to the same implementation
-
Introduction to data mining, in particular to the GUHA-method and its applications. Application of these methods to real world problems. Introduction to mathematical foundations and applications of various non-classical logics.
Content | Core content | Complementary knowledge | Specialist knowledge |
1. | Introduction to data mining; does my data contain something interesting I did not know? The GUHA method: data matrices as finite models, 'almost all', 'in most cases', 'above average' and other non-standard quantifiers. | Introduction to LISpMiner, a software implementation of the GUHA method. Practical data mining tasks by LISp Miner. | |
2. | Introduction to mathematical fuzzy logic; real life situations where neither black-or-white logic nor statistical methods are applicable. | Graded similarity as a base of fuzzy reasoning. Fuzzy IF-THEN rules. Constructing real world applications by means of multiple valued logic. Para consistent logic in solving decision making problems. | |
3. | Monoidal Logic as a basis of various non-standard logics: linear logic, intuitionistic logic, basic fuzzy logic, Lukasiewicz logic. | Residuated lattices, Girard monoids, Heyting algebras, BL-algebras, Wajsberg algebras and MV-algebras. Semantics, syntax and completeness of various non-standard logics. |
Type | Name | Author | ISBN | URL | Edition, availability, ... | Examination material | Language |
Book | Mathematics behind Fuzzy Logic | Esko Turunen | 3-7908-1221-8 | Springer-Verlag, 1999, ISBN 3-7908-1221-8 | English | ||
Other online content | LISpMiner | Jan Rauch | English | ||||
Online book | Mechanizing hypothesis formation | Hajek, P., Havranek, T. | English |
Course | Corresponds course | Description |
|
|
|
|
|
The course is composed of three separate topics that can be studied independently from each other. The parts are: I Data mining - the GUHA method. II Fuzzy logic - theory and applications. III Many-valued logics.
Description | Methods of instruction | Implementation | |
Implementation 1 | Lectures Excercises Laboratory assignments |
Contact teaching: 0 % Distance learning: 0 % Self-directed learning: 0 % |