|
|
|||||||||||||||||
Course Catalog 2014-2015
MAT-63756 Applied logics, 7 cr |
Additional information
The course is composed of three separate parts: (i) data mining (2 credits) (ii) mathematical foundations of non-classical logics (2 credits) and (iii) real life applications of many-valued logics (3 credits). It is possible to take these parts separately. However, only the largest extent of the course (7 credits) can be included in a M. Sc. or PhD. degree. In case there are several entries of different implementation rounds the credits of independent parts will be summed up.
Suitable for postgraduate studies
Person responsible
Esko Turunen
Lessons
| Study type | P1 | P2 | P3 | P4 | Summer | Implementations | Lecture times and places |
|
|
|
|
|
|
|
|
|
Requirements
Examination or partial examinations.
Completion parts must belong to the same implementation
Learning Outcomes
The student will know the aim and principles of (1) data mining, in particular to the GUHA method and its applications and (2) mathematical foundations of various nonclassical logicsand (3) some real life applications of various nonclassical logics.
Content
| 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. |
Study material
| 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 | Yes | English | |
| Other online content | LISpMiner | Jan Rauch | Yes | English | |||
| Online book | Mechanizing hypothesis formation | Hajek, P., Havranek, T. | No | English |
Prerequisite relations (Requires logging in to POP)
Correspondence of content
| Course | Corresponds course | Description |
|
|
|
More precise information per implementation
| Implementation | Description | Methods of instruction | Implementation |