analyse formelle des concepts - canalblog
TRANSCRIPT
![Page 1: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/1.jpg)
Analyse Formelle des Concepts https://fr.wikipedia.org/wiki/Analyse_formelle_de_concepts
https://en.wikipedia.org/wiki/Formal_concept_analysis
Applications dans le domaine de la psychologie clinique
Formal Psychological Assessment
![Page 2: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/2.jpg)
• Les travaux de Rudolf WILLE et son « école de Darmstadt »
• & ceux du CAMS (le Centre d’Analyse et de Mathématique Sociales) de l’EHESS de Paris (Marc Barbut et ses élèves)
![Page 3: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/3.jpg)
Ouvrages mathématiques
![Page 4: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/4.jpg)
• Une relation d’ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente.
• Un ensemble muni d’une relation d’ordre est un ensemble ordonné.
• On dit aussi que la relation définit sur cet ensemble une structure d'ordre
![Page 5: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/5.jpg)
relation d'ordre
• Soit E un ensemble ; une relation interne R sur
E est une relation d'ordre si pour tous x, y et z éléments de E :
• x R x (réflexivité)
• x R y et y R x sont incompatibles si x ≠ y
(antisymétrie)
• (x R y et y R z) ⇒ x R z (transitivité)
![Page 6: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/6.jpg)
Ordre strict vs Ordre large
On parle :
- d’ordre strict lorsque la réflexivité n'est pas satisfaite,
- et d’ordre large lorsque la réflexivité
est satisfaite
![Page 7: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/7.jpg)
Préordre, ordres total et partiel
Un préordre est une relation binaire réflexive
et transitive
Un ordre total est une relation d’ordre pour laquelle deux éléments de E sont toujours comparables. S’il n’est pas total, il est partiel.
![Page 8: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/8.jpg)
Graphe et sa réduction transitive
![Page 9: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/9.jpg)
Diagramme de Hasse de l’Inclusion, sur l’ensemble des parties d’un ensemble de 3 éléments
![Page 10: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/10.jpg)
Revenons à l’ Analyse Formelle des Concepts
et ses Applications dans le domaine de la psychologie clinique
Formal Psychological Assessment
![Page 11: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/11.jpg)
CONCEPT ?
• En logique, l’intension (« intent » en anglais ou « compréhension » chez les auteurs les plus anciens) et l’extension (« extent » en anglais) sont deux façons de définir un concept.
• L'intension d'un concept est sa définition, ce sont ses attributs. Par exemple, l'intension de « chat » est : « animal à quatre pattes de la famille des félins ».
• L'extension est l'ensemble des objets auxquels l'intension (la définition) s'applique. Par exemple : mon chat, le chat de mon voisin, les chats siamois, etc.
![Page 12: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/12.jpg)
Représentation sous forme d’un tableau de la relation dite d’incidence
![Page 13: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/13.jpg)
nombre composé pair impair premier carré
1 x x
2 x x
3 x x
4 x x x
5 x x
6 x x
7 x x
8 x x
9 x x x
10 x x
![Page 14: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/14.jpg)
Nous avons donc
• un ensemble d'objets (Gegenstände) : les nombres entiers de 1 à 10
G = {1,2,3,4,5,6,7,8,9,10}
• et un ensemble d'attributs (Merkmale): des propriétés mathématiques
M = {pair, impair, composé, premier, carré}
![Page 15: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/15.jpg)
21/01/2002 Tutoriel TG-ECBD / Conf EGC'02
Treillis de Galois - Définition • Contexte = triplet (O, A, I) tel que:
– O : ensemble fini d’objets
– A : ensemble fini d’attributs
– I : relation binaire entre O et A , (I OxA) (dite relation d’incidence)
2 autres exemples :
O\A a b c
1 1 1 1
2 1 1
3 1 1
a b c d e f g h
1 1 1 1 1 1 1 1
2 1 1 1 1 1 1 1
3 1 1 1 1 1 1 1
4 1 1 1 1 1
5 1 1 1 1 1
6 1 1 1 1
7 1 1 1
![Page 16: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/16.jpg)
Correspondance de Galois • Correspondance de Galois: Exemple
– O1 = {6, 7} f(O1) = {a, c}
– A1 = {a, c} g(A1) = {1, 2, 3, 4, 6, 7}
Remarque: h(O1) = g • f(O1) = g (A1) ≠ O1
En revanche, h{1,2,3,4,6,7} = {1,2,3,4,6,7}
a b c d e f g h
1 1 1 1 1 1 1 1
2 1 1 1 1 1 1 1
3 1 1 1 1 1 1 1
4 1 1 1 1 1
5 1 1 1 1 1
6 1 1 1 1
7 1 1 1
![Page 17: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/17.jpg)
nombre composé pair impair premier carré
1 x x
2 x x
3 x x
4 x x x
5 x x
6 x x
7 x x
8 x x
9 x x x
10 x x
On a f({3}) = {impair, premier} et g({impair, premier }) = {3,5,7}} Donc ({3,5,7}, {impair, premier}) est un concept formel dont l’extension est {3,5,7} et l’intension est {impair, premier}
![Page 18: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/18.jpg)
![Page 19: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/19.jpg)
• Relation d’ordre ( ≤ ) sur l’ensemble des concepts : Sous-concept / Sur-concept (spécialisation /
généralisation)
![Page 20: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/20.jpg)
Rappel : Diagramme de Hasse de l’Inclusion, sur l’ensemble des parties d’un ensemble par exemple de 3 éléments
![Page 21: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/21.jpg)
![Page 22: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/22.jpg)
Un sous-concept d’un concept est défini par
(A1, B1) ≤ (A2, B2) ⇔ A1 ⊆ A2
ou de manière équivalente
(A1, B1) ≤ (A2, B2) ⇔ B1 ⊇ B2
Les concepts (A,B) ordonnés par inclusion sur leurs premiers membres A - ou dualement sur leurs deuxièmes membres B - forment un treillis appelé treillis de Galois ou treillis de concepts.
![Page 23: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/23.jpg)
![Page 24: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/24.jpg)
![Page 25: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/25.jpg)
![Page 26: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/26.jpg)
![Page 27: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/27.jpg)
![Page 28: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/28.jpg)
![Page 29: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/29.jpg)
![Page 30: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/30.jpg)
![Page 31: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/31.jpg)
![Page 32: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/32.jpg)
• Triadic concept analysis replaces the binary relation between objects and attributes by a ternary relation between objects (g), attributes (m), and conditions (c).
• (g,m,c) then expresses that the object g has the attribute m under the condition c.
• Although triadic concepts can be defined in analogy to the formal concepts above, the theory of the trilattices formed by them is much less developed than that of concept lattices, and seems to be difficult.[Voutsadakis has studied the n-ary case
(Voutsadakis G. "Polyadic Concept Analysis". Order19(3), 295–304, 2002.
![Page 33: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/33.jpg)
• The Formal Psychological Assessment is the formal conjunction and clinical application of two theories of mathematical psychology :
- the Knowledge Space Theory (KST) (Doignon, Falmagne, ..) - and the Formal Concept Analysis (FCA) (écoles allemande et française citées là-haut) https://link.springer.com/content/pdf/10.3758%2FBRM.42.1.342.pdf
![Page 34: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/34.jpg)
RESEARCH ARTICLE (2015) Formal Psychological Assessment in Evaluating Depression: A New Methodology to Build Exhaustive and Irredundant Adaptive Questionnaires Francesca Serra, Andrea Spoto, Marta Ghisi & Giulio Vidotto Department of General Psychology, University of Padua, Padua, Italy
![Page 35: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/35.jpg)
• Psychological Assessment can be defined as a complex procedure of information collection, analysis and processing.
• Formal Psychological Assessment (FPA) tries to improve this procedure by providing a formal framework to build assessment tools.
• In this paper, FPA is applied to depression. Seven questionnaires widely used for the self-evaluation of depression were selected. Diagnostic criteria for major depressive disorder were derived from the DSM-5, literature and Seligman’s and Beck’s theories.
![Page 36: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/36.jpg)
• A Boolean matrix was built, including 266 items from the questionnaires in the rows and 20 selected attributes, obtained through diagnostic criteria decomposition, in the columns.
• In the matrix, a 1 in a cell meant that the corresponding item investigated the specific attribute.
• It was thus possible to analyze the relationships between items and attributes and among items.
![Page 37: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/37.jpg)
Results • While none of the considered questionnaires could
alone cover all the criteria for the evaluation of depressive symptoms, we observed that a set of 30 items contained the same information that was obtained redundantly with 266 items.
• Another result highlighted by the matrix regards the relations among items. FPA allows in-depth analysis of currently used questionnaires based on the presence/absence of clinical elements.
• FPA allows for going beyond the mere score by differentiating the patients according to symptomatology. Furthermore, it allows for computerized adaptive assessment.
![Page 38: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/38.jpg)
Le problème posé par le « score »
For instance, if a nine dichotomous items scale is administered to a patient and the clinical cut-off score of the scale is 7, there are 46 different clinically significant response patterns (one pattern with score 9, nine patterns with score 8, and 36 patterns with score 7).
Each of these patterns may convey clinically different information about the patient.
![Page 39: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/39.jpg)
![Page 40: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/40.jpg)
![Page 41: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/41.jpg)
![Page 42: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/42.jpg)
![Page 43: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/43.jpg)
• By highlighting the specific clinical elements investigated by each single item of a questionnaire, FPA highlights the differences among patients that would otherwise be hidden by the simple score.
• From a clinical perspective, it allows for an idiographic and nomothetic diagnosis.
![Page 44: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/44.jpg)
Nomothetic versus Idiographic
• Nomothetic is based on what Kant described as a
tendency to generalize, and is typical for the natural sciences. It describes the effort to derive laws that explain types or categories of objective phenomena, in general.
• Idiographic is based on what Kant described as a tendency to specify, and is typical for the humanities. It describes the effort to understand the meaning of contingent, unique, and often cultural or subjective phenomena.
![Page 45: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/45.jpg)
Autre recherche : MOCQ
• The relations between the items of the form of the Maudsley Obsessive-Compulsive Questionnaire (Sanavio and Vidotto (MOCQ-R; 1985), and the diagnostic criteria for Obsessive-Compulsive Disorder (OCD) included in the Diagnostic and Statistical Manual of Mental Disorders IV-TR (DSM-IV-TR; American Psychiatric Association [APA], 1995).
![Page 46: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/46.jpg)
MOCQ-R • The short form is composed of 21 dichotomous
items (True-False) investigating the main characteristics of OCD.
• The questionnaire is subdivided into three sub-scales investigating three of the main specifications of the disorder :
- Checking (8 items)
- Cleaning (9 items)
- Doubting-Ruminating (4 items)
![Page 47: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/47.jpg)
Exemples d’items
Checking
• item 4 “I must check many times some particular things (e.g. gas or water taps, doors, etc.)”,
• or item 14 “I usually check things more than once”
![Page 48: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/48.jpg)
Exemples d’items
Cleaning
• item 3 “When I touch an animal I feel contaminated”,
• or item 17 “Every morning I spend a lot of time in washing myself completely”
![Page 49: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/49.jpg)
Exemples d’items
Doubting-Ruminating
• item 2 “I frequently have disagreeable thoughts and I cannot get rid of them”.
![Page 50: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/50.jpg)
![Page 51: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/51.jpg)
![Page 52: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/52.jpg)
• ORIGINAL RESEARCH ARTICLE
• Front. Psychol., 06 July 2018 https://doi.org/10.3389/fpsyg.2018.01101
• New Perspectives in the Adaptive Assessment of Depression: The ATS-PD Version of the QuEDS
• Andrea Spoto, Francesca Serra, Ivan Donadello, Umberto Granziol and Giulio Vidotto
![Page 53: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/53.jpg)
Summary 1/3
• Measurement is a crucial issue in psychological assessment. In this paper a contribution to this task is provided by means of the implementation of an adaptive algorithm for the assessment of depression.
• More specifically, the Adaptive Testing System for Psychological Disorders (ATS-PD) version of the Qualitative-Quantitative Evaluation of Depressive Symptomatology questionnaire (QuEDS) is introduced.
![Page 54: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/54.jpg)
Summary 2/3
• Such implementation refers to the theoretical background of Formal Psychological Assessment (FPA) with respect to both its deterministic and probabilistic issues.
• Three models (one for each sub-scale of the QuEDS) are fitted on a sample of 383 individuals. The obtained estimates are then used to calibrate the adaptive procedure whose performance is tested in terms of both efficiency and accuracy by means of a simulation study.
![Page 55: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/55.jpg)
Summary 3/3
• Results indicate that the ATS-PD version of the QuEDS allows for both obtaining an accurate description of the patient in terms of symptomatology, and reducing the number of items asked by 40%.
• Further developments of the adaptive procedure are then discussed.
![Page 56: Analyse Formelle des Concepts - CanalBlog](https://reader030.vdocuments.pub/reader030/viewer/2022012717/61afe1a96fc9df70301986ec/html5/thumbnails/56.jpg)
Des questions ?
• pas toutes et tous à la fois …