Coursera
探索
  • 浏览
  • 搜索
  • 企业版
  • 登录
  • 注册

Introduction to Formal Concept Analysis

总览授课大纲常见问题解答制作方评分和审阅

主页数据科学数据分析

Introduction to Formal Concept Analysis

国立高等经济大学

关于此课程: This course is an introduction into formal concept analysis (FCA), a mathematical theory oriented at applications in knowledge representation, knowledge acquisition, data analysis and visualization. It provides tools for understanding the data by representing it as a hierarchy of concepts or, more exactly, a concept lattice. FCA can help in processing a wide class of data types providing a framework in which various data analysis and knowledge acquisition techniques can be formulated. In this course, we focus on some of these techniques, as well as cover the theoretical foundations and algorithmic issues of FCA. Upon completion of the course, the students will be able to use the mathematical techniques and computational tools of formal concept analysis in their own research projects involving data processing. Among other things, the students will learn about FCA-based approaches to clustering and dependency mining. The course is self-contained, although basic knowledge of elementary set theory, propositional logic, and probability theory would help. End-of-the-week quizzes include easy questions aimed at checking basic understanding of the topic, as well as more advanced problems that may require some effort to be solved.

此课程适用人群: This course will be interesting for: • Bachelor students (3rd or 4th year) • Master students • Researchers and data analysts who want to get acquainted with formal concept analysis and its potential applications


制作方:  国立高等经济大学
国立高等经济大学

  • Sergei Obiedkov

    教学方:  Sergei Obiedkov , Associate Professor

    Faculty of computer science
级别Intermediate
承诺学习时间6 weeks, 4-6 hours per week
语言
English
如何通过通过所有计分作业以完成课程。
用户评分
4.8 星
平均用户评分 4.8查看学生的留言
授课大纲
第 1 周
Formal concept analysis in a nutshell
This week we will learn the basic notions of formal concept analysis (FCA). We'll talk about some of its typical applications, such as conceptual clustering and search for implicational dependencies in data. We'll see a few examples of concept lattices and learn how to interpret them. The simplest data structure in formal concept analysis is the formal context. It is used to describe objects in terms of attributes they have. Derivation operators in a formal context link together object and attribute subsets; they are used to define formal concepts. They also give rise to closure operators, and we'll talk about what these are, too. We'll have a look at software called Concept Explorer, which is good for basic processing of formal contexts. We'll also talk a little bit about many-valued contexts, where attributes may have many values. Conceptual scaling is used to transform many-valued contexts into "standard", one-valued, formal contexts.
14 视频, 1 阅读材料
  1. 视频: Welcome to Formal Concept Analysis
  2. 视频: What is formal concept analysis?
  3. 视频: Understanding the concept lattice diagram
  4. 视频: Reading concepts from the lattice diagram
  5. 视频: Reading implications from the lattice diagram
  6. Reading: Further reading
  7. 视频: Conceptual clustering
  8. 视频: Formal contexts and derivation operators
  9. 视频: Formal concepts
  10. 视频: Closure operators
  11. 视频: Closure systems
  12. 视频: Software: Concept Explorer
  13. 视频: Many-valued contexts
  14. 视频: Conceptual scaling schemas
  15. 视频: Scaling ordinal data
已评分: Reading concept lattice diagrams
已评分: Formal concepts and closure operators
第 2 周
Concept lattices and their line diagrams
This week we'll talk about some mathematical properties of concepts. We'll define a partial order on formal concepts, that of "being less general". Ordered in this way, the concepts of a formal concept constitute a special mathematical structure, a complete lattice. We'll learn what these are, and we'll see, through the basic theorem on concept lattices, that any complete lattice can, in a certain sense, be modelled by a formal context. We'll also discuss how a formal context can be simplified without loosing the structure of its concept lattice.
8 视频
  1. 视频: The partial order on concepts
  2. 视频: Supremum and infimum
  3. 视频: Lattices
  4. 视频: The basic theorem (I)
  5. 视频: The basic theorem (II)
  6. 视频: Line diagrams
  7. 视频: Context clarification and reduction
  8. 视频: Context reduction: an example
已评分: Supremum and infimum
已评分: Lattices and complete lattices
已评分: Clarification and reduction
第 3 周
Constructing concept lattices
We will consider a few algorithms that build the concept lattice of a formal context: a couple of naive approaches, which are easy to use if one wants to build the concept lattice of a small context; a more sophisticated approach, which enumerates concepts in a specific order; and an incremental strategy, which can be used to update the concept lattice when a new object is added to the context. We will also give a formal definition of implications, and we'll see how an implication can logically follow from a set of other implications.
13 视频
  1. 视频: Finding the concepts
  2. 视频: Drawing a concept lattice diagram
  3. 视频: A naive algorithm for enumerating closed sets
  4. 视频: Representing sets by bit vectors
  5. 视频: Closures in lectic order
  6. 视频: Next Closure through an example
  7. 视频: The complexity of the algorithm
  8. 视频: Basic incremental strategy
  9. 视频: An example
  10. 视频: The definition of implications
  11. 视频: Examples of attribute implications
  12. 视频: Implication inference
  13. 视频: Computing the closure under implications
已评分: Transposed context
已评分: Closures in lectic order
已评分: Implications
第 4 周
Implications
This week we'll continue talking about implications. We'll see that implication sets can be redundant, and we'll learn to summarise all valid implications of a formal context by its canonical (Duquenne–Guigues) basis. We'll study one concrete algorithm that computes the canonical basis, which turns out to be a modification of the Next Closure algorithm from the previous week. We'll also talk about what is known in database theory as functional dependencies, and we'll show how they are related to implications.
9 视频
  1. 视频: Redundancy in implications
  2. 视频: Pseudo-closed sets and canonical basis
  3. 视频: Preclosed sets
  4. 视频: Preclosure operator
  5. 视频: Computing the canonical basis
  6. 视频: An example
  7. 视频: Complexity issues
  8. 视频: Functional dependencies
  9. 视频: Translation between functional dependencies and implications
已评分: Implications and pseudo-intents
已评分: Canonical basis
已评分: Functional dependencies
第 5 周
Interactive algorithms for learning implications
What if we don't have a direct access to a formal context, but still want to compute its concept lattice and its implicational theory? This can be done if there is a domain expert (or an oracle) willing to answer our queries about the domain. We'll study an approach known as learning with queries that addresses this setting. We'll get to know a few standard types of queries, and we'll see how an implication set can be learnt in time polynomial of its size with so called membership and equivalence queries. We'll then introduce attribute exploration, a method from formal concept analysis, which may require exponential time, but which uses different queries, more suitable for building implicational theories and representative samples of subject domains.
14 视频
  1. 视频: Basic introduction to learning with queries
  2. 视频: Learning binary patterns
  3. 视频: An easy case
  4. 视频: The general case
  5. 视频: Learning implications with queries
  6. 视频: Membership and equivalence queries for implications
  7. 视频: A polynomial-time algorithm
  8. 视频: Learning domain implications with queries
  9. 视频: Attribute exploration algorithm
  10. 视频: Attribute exploration of pairs of squares
  11. 视频: Object exploration
  12. 视频: Variations of attribute exploration
  13. 视频: Incompletely specified examples
  14. 视频: Completing incomplete contexts
已评分: Learning with queries
已评分: Learning implications with membership and equivalence queries
已评分: Attribute exploration
第 6 周
Working with real data
A concept lattice can be exponentially large in the size of its formal context. Sometimes this can be due to noise in data. We'll study a few heuristics to filter out noisy concepts or select the most interesting concepts in a large lattice built from real data: stability and separation indices, concept probability, iceberg lattices. We will also talk about association rules, which is a name for implications that are supported by strong evidence, but may still have counterexamples in data.
11 视频
  1. 视频: Small changes in the context, big changes in the concept lattice
  2. 视频: Iceberg lattices
  3. 视频: Concept stability
  4. 视频: Separation index
  5. 视频: Concept probability
  6. 视频: Nested line diagrams
  7. 视频: Association rules
  8. 视频: Support and confidence
  9. 视频: Frequent closed sets
  10. 视频: Luxenburger basis
  11. 视频: Goodbye!
已评分: Concept indices
已评分: Association rules

常见问题解答
运作方式
Coursework
Coursework

Each course is like an interactive textbook, featuring pre-recorded videos, quizzes and projects.

Help from Your Peers
Help from Your Peers

Connect with thousands of other learners and debate ideas, discuss course material, and get help mastering concepts.

Certificates
Certificates

Earn official recognition for your work, and share your success with friends, colleagues, and employers.

制作方
国立高等经济大学
National Research University - Higher School of Economics (HSE) is one of the top research universities in Russia. Established in 1992 to promote new research and teaching in economics and related disciplines, it now offers programs at all levels of university education across an extraordinary range of fields of study including business, sociology, cultural studies, philosophy, political science, international relations, law, Asian studies, media and communications, IT, mathematics, engineering, and more. Learn more on www.hse.ru
评分和审阅
已评分 4.8,总共 5 个 17 评分
Sergio Garofoli

The last probability excercise was tough, but worth it.

Go ahead!!

Takayuki Kaisen

This course is a great introduction to Formal concept analysis. You might need some knowledge of mathematics, but I think you do not need so much. If you get accustomed to the way mathematicians do, it would be very helpful.

DH

Since there were no exercises, I treated the quiz questions as exercises. But, that meant I could not see the correct results for answers I had gotten wrong, and I could not see a correct solution (i.e., method of arriving at the correct answer). While the instructor did provide examples in each lecture, these were often much easier than the quiz questions. So, for the future, I recommend a set of exercises with worked solutions to enable the students to sharpen their skill before taking a quiz. Other than that, this was the perfect introduction to FCA for me. I noted down a few ideas I have on some of the topics and methods discussed in the course, but I haven't had time to examine these ideas in detail. Is there some way to contact the instructor later to get his reaction to these ideas?

Aman Singh

Great Course. Explained nicely.



您可能也喜欢
EIT Digital
System Validation (2): Model process behaviour
1 门课程
EIT Digital
System Validation (2): Model process behaviour
查看课程
EIT Digital
System Validation (3): Requirements by modal formulas
1 门课程
EIT Digital
System Validation (3): Requirements by modal formulas
查看课程
国立高等经济大学
Introduction to Enumerative Combinatorics
1 门课程
国立高等经济大学
Introduction to Enumerative Combinatorics
查看课程
EIT Digital
System Validation (4): Modelling Software, Protocols, and other behaviour
1 门课程
EIT Digital
System Validation (4): Modelling Software, Protocols, and other behaviour
查看课程
EIT Digital
System Validation: Automata and behavioural equivalences
1 门课程
EIT Digital
System Validation: Automata and behavioural equivalences
查看课程
Coursera
Coursera 致力于普及全世界最好的教育,它与全球一流大学和机构合作提供在线课程。
© 2018 Coursera Inc. 保留所有权利。
通过 App Store 下载通过 Google Play 获取
  • Coursera
  • 关于
  • 管理团队
  • 工作机会
  • 目录
  • 证书
  • 学位
  • 商务
  • 政府版
  • 社区
  • 合作伙伴
  • 社区助教
  • 专业译员
  • 开发者
  • Beta 测试人员
  • 连接
  • 博客
  • Facebook
  • 领英
  • Twitter
  • Google+
  • 技术博客
  • 更多
  • 条款
  • 隐私
  • 帮助
  • 内容访问
  • 媒体
  • 联系我们
  • 目录
  • 附属公司