analyse formelle des concepts - canalblog

56
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

Upload: others

Post on 08-Dec-2021

10 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Analyse Formelle des Concepts - CanalBlog

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

• 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

Ouvrages mathématiques

Page 4: Analyse Formelle des Concepts - CanalBlog

• 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

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

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

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

Graphe et sa réduction transitive

Page 9: Analyse Formelle des Concepts - CanalBlog

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

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

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

Représentation sous forme d’un tableau de la relation dite d’incidence

Page 13: Analyse Formelle des Concepts - CanalBlog

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

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

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

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

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
Page 19: Analyse Formelle des Concepts - CanalBlog

• Relation d’ordre ( ≤ ) sur l’ensemble des concepts : Sous-concept / Sur-concept (spécialisation /

généralisation)

Page 20: Analyse Formelle des Concepts - CanalBlog

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
Page 22: Analyse Formelle des Concepts - CanalBlog

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
Page 24: Analyse Formelle des Concepts - CanalBlog
Page 25: Analyse Formelle des Concepts - CanalBlog
Page 26: Analyse Formelle des Concepts - CanalBlog
Page 27: Analyse Formelle des Concepts - CanalBlog
Page 28: Analyse Formelle des Concepts - CanalBlog
Page 29: Analyse Formelle des Concepts - CanalBlog
Page 30: Analyse Formelle des Concepts - CanalBlog
Page 31: Analyse Formelle des Concepts - CanalBlog
Page 32: Analyse Formelle des Concepts - CanalBlog

• 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

• 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

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

• 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

• 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

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

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
Page 40: Analyse Formelle des Concepts - CanalBlog
Page 41: Analyse Formelle des Concepts - CanalBlog
Page 42: Analyse Formelle des Concepts - CanalBlog
Page 43: Analyse Formelle des Concepts - CanalBlog

• 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

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

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

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

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

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

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
Page 51: Analyse Formelle des Concepts - CanalBlog
Page 53: Analyse Formelle des Concepts - CanalBlog

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

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

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

Des questions ?

• pas toutes et tous à la fois …