About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Summer Term 2012  -  Formal Concept Analysis and Logic

Course title:  Formal Concept Analysis and Logic

Lecturer:   Dr. Felix Distel

Module:  MCL-KR, MCL-TCSL

Status:  advanced unit

SWS (lecture/tutorial/practical):  2/1/0

Examination method:  to be announced

Prerequisites:

• Basic knowledge of propositional logic is required
• Previous knowledge of order theory is helpful but not required

Course description:

This course covers the field of Formal Concept Analysis with a particular focus on its applications in logics and artificial intelligence. Formal Concept Analysis is a technique for analyzing data using a formal mathematical approach. It is closely related to

• Data Mining as both FCA and Data Mining provide methods to structure and analyze data
• Logics and AI as FCA formalisms use a semantics that is comparable to propositional or Horn logics, and
• Order Theory whose terminology is used in FCA.

The course will provide an introduction to the basic notions of formal concept analysis. We will then look into recent applications of formal concept analysis in artificial intelligence with a particular focus on Description Logics.

Additional information:

• the course web page