About this Course
3,658

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

탄력적인 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

완료하는 데 약 37시간 필요

권장: 6 weeks, 4-6 hours per week...

영어

자막: 영어

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

탄력적인 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

완료하는 데 약 37시간 필요

권장: 6 weeks, 4-6 hours per week...

영어

자막: 영어

강의 계획 - 이 강좌에서 배울 내용

1
완료하는 데 4시간 필요

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 videos (Total 66 min), 1 reading, 2 quizzes
14개의 동영상
What is formal concept analysis?4m
Understanding the concept lattice diagram2m
Reading concepts from the lattice diagram4m
Reading implications from the lattice diagram5m
Conceptual clustering6m
Formal contexts and derivation operators8m
Formal concepts2m
Closure operators9m
Closure systems2m
Software: Concept Explorer7m
Many-valued contexts4m
Conceptual scaling schemas3m
Scaling ordinal data3m
1개의 읽기 자료
Further reading10m
2개 연습문제
Reading concept lattice diagrams
Formal concepts and closure operators
2
완료하는 데 4시간 필요

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 videos (Total 98 min), 3 quizzes
8개의 동영상
Supremum and infimum15m
Lattices9m
The basic theorem (I)11m
The basic theorem (II)12m
Line diagrams13m
Context clarification and reduction12m
Context reduction: an example11m
3개 연습문제
Supremum and infimum30m
Lattices and complete lattices
Clarification and reduction
3
완료하는 데 5시간 필요

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 videos (Total 121 min), 3 quizzes
13개의 동영상
Drawing a concept lattice diagram4m
A naive algorithm for enumerating closed sets2m
Representing sets by bit vectors4m
Closures in lectic order10m
Next Closure through an example10m
The complexity of the algorithm13m
Basic incremental strategy14m
An example10m
The definition of implications10m
Examples of attribute implications7m
Implication inference12m
Computing the closure under implications7m
3개 연습문제
Transposed context30m
Closures in lectic order
Implications
4
완료하는 데 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 videos (Total 67 min), 3 quizzes
9개의 동영상
Pseudo-closed sets and canonical basis12m
Preclosed sets8m
Preclosure operator6m
Computing the canonical basis4m
An example5m
Complexity issues8m
Functional dependencies8m
Translation between functional dependencies and implications5m
3개 연습문제
Implications and pseudo-intents
Canonical basis
Functional dependencies
4.8
10개의 리뷰Chevron Right

33%

이 강좌를 통해 확실한 경력상 이점 얻기

최상위 리뷰

대학: EVFeb 21st 2019

It is a very nice course, I fully recommend it. It is very good organized and explained. The task some of them are challenge.

강사

Avatar

Sergei Obiedkov

Associate Professor
Faculty of computer science

국립 연구 고등 경제 대학 정보

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 communicamathematics, engineering, and more. Learn more on www.hse.ru...

자주 묻는 질문

  • 강좌에 등록하면 바로 모든 비디오, 테스트 및 프로그래밍 과제(해당하는 경우)에 접근할 수 있습니다. 상호 첨삭 과제는 이 세션이 시작된 경우에만 제출하고 검토할 수 있습니다. 강좌를 구매하지 않고 살펴보기만 하면 특정 과제에 접근하지 못할 수 있습니다.

  • 수료증을 구매하면 성적 평가 과제를 포함한 모든 강좌 자료에 접근할 수 있습니다. 강좌를 완료하면 전자 수료증이 성취도 페이지에 추가되며, 해당 페이지에서 수료증을 인쇄하거나 LinkedIn 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.

궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.