L'analyse implicative bayésienne multivariée d'un questionnaire binaire : quasi-implications et treillis de Galois simplifié

We propose a new method for simplifying the Galois lattice associated to a binary questionnaire (n units classified according to q binary questions). The method consists in weakening the implications borne by the lattice into quasi-implications. At the descriptive level, the method involves a new measure for quasi-implications (the "multivariate implicative index") which satisfies some requirements of invariance by logical equivalence. At the inductive level, uncertainty about the patterns' true frequencies is expressed by an imprecise-Dirichlet model. This model is shown to have several advantages over the usual non-informative Bayesian approach based on a single Dirichlet prior, especially for the case where n is small in comparison to 2q. An important feature of the method is that it provides two implicative summaries, descriptive and inductive, which both constitute simplified versions of the initial Galois lattice.Nous proposons une nouvelle méthode pour simplifier le treillis de Galois associé à un questionnaire binaire (n individus classés selon q questions binaires), méthode basée sur l'affaiblissement des implications portées par le treillis en quasi-implications. Au niveau descriptif, la méthode proposée fait intervenir un nouvel indice pour la mesure des quasi-implications ("l'indice implicatif multivarié") qui satisfait certaines conditions d'invariance par équivalence logique. Au niveau inductif, l'incertitude sur les fréquences vraies des profils est exprimée par un "modèle Dirichlet imprécis". Ce modèle répond aux difficultés des modèles bayésiens usuels fondés sur une distribution de Dirichlet unique, notamment pour le cas où n est petit devant 2q. Un aspect important de la méthode est que les résumés descriptif et inductif qu'elle fournit constituent des treillis de Galois, versions simplifiées du treillis initial

Modéliser les activités cognitives des hommes au Paléolithique

As far as paleolithic cognitive processes are concerned, most studies define their own vocabulary and method, usually using current words while ascribing them various meanings. No debate can hence be fruitfull. We suggest an alternative approach which is to address the numerous and accurate concepts developped since about fourty years by cognitive psychology and especially its experimental branch. Cognitive psychology of goal oriented actions is in fact a powerful tool provider in the attempt to understand and modelize paleolithic men behaviour and cognitive abilities. Here we show why and how it is possible to use these tools initially developped to investigate modern man cognition in the laboratory conditions. We claim that the cognitive psychology method presented in this article allows to draw a rigorous description of mental organization, especially about the complex cognitive process of memory and categorization, whatever human species is dealt with and wathever paleolithic period is concerned. A preliminary result concerning the Magdalenian level of the Tournal cave is produced and discussed.La plupart des recherches sur la cognition au Paléolithique utilisent un vocabulaire et une méthodologie ad hoc, ou encore font appel à des concepts de psychologie en leur ôtant leur signification d'origine. Aucune discussion ne peut donc déboucher sur un consensus. Dans cet article, nous proposons une approche qui consiste à employer certains des concepts développés puis utilisés depuis plusieurs années par la psychologie cognitive, et plus particulièrement l'une de ses branches expérimentales. La psychologie des activités mentales finalisées semble en effet très bien adaptée à la modélisation du comportement humain et des capacités cognitives associées,au Paléolithique. Nous montrons ici comment ces outils conceptuels, développés pour la cognition contemporaine, peuvent néanmoins être utilisés par le préhistorien, dans les conditions d'une expérimentation en laboratoire. Cette approche pourrait fournir des descriptions rigoureuses de certaines caractéristiques cognitives anciennes, en particulier en ce qui concerne la catégorisation, un mécanisme partagé par tous les primates. Des résultats préliminaires concernant le niveau Magdalénien de la grotte Tournal sont présentés et discutés

Rapports entre performances intellectuelles et maintien d'une activité professionnelle à un âge avancé

J. Poitrenaud and С Moreaux. The relation between intellectual performance and continuation of work at an advanced age. A survey was undertaken to examine whether continuation of work to an advanced age could favourably influence intellectual performance. The survey compares two groups of male subjects aged 70 and over. The first of these groups contains 38 subjects who continue to be regularly employed in intellectual activity; the second consists of 38 subjects who are no longer regularly employed but have practised intellectual professional activities before their retirement. Members of both groups were rigorously matched for age and socio-cultural levels. A series of psychometric tests, including three verbal and three non-verbal tests, were administered to both groups. No difference was found in their performance in the non-verbal tests, but the working group scored significantly better in the verbal tests than did the retired group. The results are discussed and a number of interpretations are advanced to account for the differences that have been found.J. Poitrenaud et С. Moreaux. Rapports entre performances intellectuelles et maintien d'une activité professionnelle à un âge avancé. Une étude a été entreprise dans le but de rechercher si le maintien d'une activité professionnelle à un âge avancé pouvait influencer favorablement les performances intellectuelles. Elle repose sur la comparaison de deux groupes de sujets de sexe masculin, âgés de 70 ans ou plus. Le premier de ces groupes est constitué de 38 sujets exerçant régulièrement une activité professionnelle de type intellectuel et le second de 38 sujets professionnellement inactifs, mais ayant également exercé avant leur retraite une activité professionnelle de type intellectuel. Ces deux groupes ont été rigoureusement appariés pour l'âge et le niveau socio-culturel. Les comparaisons ont été effectuées à l'aide d'une batterie de tests psychométriques comprenant trois épreuves verbales et trois épreuves non verbales. Sur le plan non verbal, aucune différence n'est apparue entre les deux groupes. En revanche, dans le domaine verbal, les sujets actifs se sont montrés significativement supérieurs à leurs homologues non actifs. Ces résultats sont discutés et plusieurs interprétations sont proposées pour rendre compte des différences observées.J. Poitrenaud у С. Moreaux. Relacion entre capacidad intelectual y actividad profesionál a edad avanzada. Con el objeto de conocer si el ejercicio de una actividad profesionál a edad avanzada podria influenciar favorablemente la capacidad intelectual, se realizó un estudio en un grupo de individuos de sexo masculino de 70 aňos y más de edad. El conjunto, constituido por 76 personas, fue subdividido en dos subgrupos : el primero, formado por 38 personas que ejercen regularmente una actividad profesionál de tipo intellectual y el segundo, constituido por el mismo numero de individuos pero profesionalmente inactivos, aunque habiendo realizado una actividad profesionál de tipo intelectual antes de su retire Los grupos fueron idénticos en cuanto a edad y nivel socio cultural. Las comparaciones se hicieron a través de una série de test psicométricos formados por très pruebas verbales y très no verbales. No se observé ninguna diferencia entre los dos grupos en las pruebas no verbales; sin embargo las diferencias fueron évidentes en el dominio verbal : los individuos activos se mostraron significativamente superiores. El articulo discute los resultados y proporciona diversas interpretaciones para justificar las diferencias observadas.Poitrenaud M., Moreaux C. Rapports entre performances intellectuelles et maintien d'une activité professionnelle à un âge avancé. In: Population, 31ᵉ année, n°3, 1976. pp. 607-616

Detection of Illegal Behaviours Based on Unfoldings

International audienceWe show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover safety as well as liveness properties. We demonstrate that the unfolding method can be used in this context and propose an extension of it, called unfolding graphs, for the computation of failure equivalent graphs

Dépliages pour la vérification de propriétés temporelles

National audienc

Propositions pour une description sémantique des énoncés d’action

International audienceDans ce texte nous développons un certain nombre d'idées permettant le rapprochement de plusieurs lignes de recherche concernant la représentation des significations d'action

Detection of Illegal Behaviors Based on Unfoldings

We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover safety as well as liveness properties. We demonstrate that the unfolding method can be used in this context and propose an extension of it, called unfolding graphs, for the definition of failure equivalent graphs