Academic literature on the topic 'Langages d'action'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Langages d'action.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Langages d'action"

1

Nicolaïdis, Nicos. "Le langage appareil d'action." Revue française de psychanalyse 59, no. 5 (1995): 1695. http://dx.doi.org/10.3917/rfp.g1995.59n5.1695.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Saint-Jacques, Diane. "Le langage dramatique : l’objet d’apprentissage en art dramatique." Articles 24, no. 3 (October 17, 2007): 567–84. http://dx.doi.org/10.7202/031972ar.

Full text
Abstract:
Résumé Cet article porte sur le langage dramatique en tant qu'objet d'apprentissage en art, sur les objectifs et les modalités d'intervention et d'évaluation en art dramatique. L'examen des documents ministériels, dont les programmes québécois d'art dramatique du primaire et du secondaire, révèle imprécisions et glissements de sens. Leur analyse, dans une perspective théâtrale, permet de définir les caractéristiques du langage dramatique: un langage d'action et un langage de signes. De cette redéfinition émerge un nouveau cadre de compréhension de l'art dramatique en éducation qui désigne les actions dramatiques comme éléments du langage dramatique et le processus de mise en action comme mode de fonctionnement.
APA, Harvard, Vancouver, ISO, and other styles
3

Leon, Jacqueline. "Les sources britanniques de l’ethnographie de la communication et de l’analyse de conversation." Linha D'Água 32, no. 1 (April 23, 2019): 23–38. http://dx.doi.org/10.11606/issn.2236-4242.v32i1p23-38.

Full text
Abstract:
Dans cet article nous proposons d'examiner les fondements britanniques de l'ethnographie de la communication et de l'analyse de conversation. Ce thème, très peu représenté dans l'histoire des théories linguistiques, devrait intéresser les étudiants en sciences du langage. Nous nous attacherons à explorer comment apparaissent dans les travaux de B. Malinowski et de J.R. Firth certaines notions comme celles de variation et de répertoire, ainsi que les notions conversationnelles de tour de parole et de séquence d'actions. On distinguera deux étapes: (i) l'élaboration de la notion de contexte de situation par Malinowski et Firth dans les années 1930; (ii) l'établissement par Firth des catégories du contexte de situation dans les années 1950.
APA, Harvard, Vancouver, ISO, and other styles
4

Bergès-Bounes, Marika, and Sandrine Jean-Calmettes. "Interview du Dr Florence Veber sur le « Plan d'action pour les enfants atteints d'un trouble spécifique du langage »." Journal français de psychiatrie 15, no. 1 (2002): 24. http://dx.doi.org/10.3917/jfp.015.0024.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bijleveld, Henny, and Françoise Estienne. "Multilinguisme et troubles du langage : état des lieux et modes d'action auprès d'enfants de la région de Bruxelles." Revue française de linguistique appliquée XXIII, no. 2 (2018): 29. http://dx.doi.org/10.3917/rfla.232.0029.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Diasio, Nicoletta. "Reconnaissance et pouvoir." Anthropen, 2016. http://dx.doi.org/10.17184/eac.anthropen.036.

Full text
Abstract:
« T'es noire, pauvre, moche, et en plus t'es une femme ». La protagoniste du roman d'Alice Walker (1999) à qui ces mots sont adressés, saura bien s'affranchir de la domination à laquelle ces marquages sociaux semblent la destiner. Une anthropologie non hégémonique questionne la manière dont des entités individuelles ou collectives, assignées à une position de subordination, et épinglées à une altérité légitimée par des inégalités sociales, économiques ou par une prétendue différence physique, identitaire ou culturelle, se saisissent de ces catégories pour les remettre en question, s'affirmer, se construire et retourner des positions de vulnérabilité en force. Ces retournements ne sont pas uniquement de l'ordre de la ruse ou des contre-pouvoirs de ceux qui campent dans la liminalité : elles impliquent des négociations, des actions, des jeux de rôles, des résistances qui font du pouvoir, un champ multiforme et mobile de relations stratégiques entre des individus et des groupes (Foucault 1984). Il s'agit alors d'analyser des rapports complexes et instables entre agentivité et gouvernementalité et les liens multiples qui se nouent entre puissance d'action individuelle, interactions sociales, institutions, savoirs et socio-histoires. Cette posture interroge la tension entre la vulnérabilité existentielle et l'organisation politique et sociale des vulnérabilités en tant qu’art du gouvernement de soi et d'autrui. Son ambition est de relever le défi lancé par Fassin, d'étudier les effets d'influence réciproque entre la « condition comme 'opération d'objectivation' par laquelle les structures et les normes sociales se traduisent dans la vie quotidienne […] dans la manière d'être vis-à-vis de soi, des autres et du monde, et l'expérience, comme 'opération de subjectivation' par laquelle les gens donnent forme et sens à ce qu'ils vivent » (Fassin 2005 : 332). La vision du pouvoir comme dispositif permettant à la fois l'émergence des subjectivités et leur contrôle, voire leur négation par réification, se trouve également au cœur du débat contemporain sur la reconnaissance et la visibilité sociale. Les luttes pour la reconnaissance semblent avoir, dans le monde contemporain, une étendue et une légitimité inédite. La reconnaissance semble devenir le langage à travers lequel s’expriment les luttes sociales aujourd’hui. Ce concept, venant de la philosophie politique et sociale, pour essaimer ensuite dans la sociologie et, plus tardivement, l’anthropologie, a été même envisagé comme une notion clé et un objet non reconnus, mais fondateurs des sciences sociales contemporaines (Caillé 2007 ; pour une analyse de la mobilisation et des usages du concept de « reconnaissance » dans les sciences sociales de 1993 à 2013, voir Bigi 2014). Une anthropologie qui se veut décentrée et engagée n’est pas étrangère aux postulats qui fondent le concept de reconnaissance : la prise en compte du statut relationnel et non plus substantiel du sujet, sa vulnérabilité constitutive, l'importance de la confirmation intersubjective de capacités et de qualités morales, la réciprocité comme manière d'arracher l'individu à une symétrie déniée, sa dimension performative (Honneth 2002, 2006; Ferrarese 2007). Cette anthropologie dialogique ambitionne à analyser autant les formes de relégation au silence, au mépris et à la disqualification, que les manières qu'ont les sujets -individuels et collectifs- de s'arracher à l'invisibilité et à l'humiliation (Battegay et Payet 2008). Cette anthropologie interroge également les contextes institutionnels et socio-juridiques, et ces espaces publics où prennent forme, s'expriment et se donnent à voir des besoins, des langages, des mediums, des collectifs nouveaux. Ces luttes questionnent enfin la co-construction de soi et de l'autre dans des processus de visibilité mutuelle : il en est ainsi, par exemple, de la minorité qui demande et de l'État qui reconnaît. Toutefois, une anthropologie non hégémonique est également appelée à débusquer les embûches d'une demande de reconnaissance qui risque de produire ou de reproduire des catégories sociales que fondent la réification, l'altérité ou l'asymétrie. « Je ne veux pas être la victime de la Ruse d'un monde noir », écrivait Frantz Fanon (1952: 186). Il en est ainsi de ces demandes de revendication et de défense identitaire qui, loin de défaire des identités, en montrant le caractère construit d'éléments tels que le genre, l'ethnie, la « race » ou l'orientation sexuelle, risquent de figer et de contraindre « les sujets mêmes [qu’elles] espèrent représenter ou libérer » (Butler 2005: 148). Ce modèle identitaire, dont le caractère illusoire et réifiant a été soulevé à plusieurs reprises (Clifford 1988; Bayart 1996; Fraser 2005), échoue dans sa demande de reconnaissance: il dissimule les asymétries et les compétitions sein du groupe, il occulte les formes de déplacement du pouvoir, il engendre des concurrences victimaires et renforce d'autres formes, moins visibles, d'assujettissement.
APA, Harvard, Vancouver, ISO, and other styles
7

Pamukcu, Gülden. "La Valeur Illocutoire et Perlocutoire des Énoncés Interro-Négatifs : Exemple de Pourquoi." RumeliDE Dil ve Edebiyat Araştırmaları Dergisi, April 20, 2024. http://dx.doi.org/10.29000/rumelide.1469459.

Full text
Abstract:
La théorie de l'acte de langage, telle qu'elle a été élaborée par J.L. Austin et développée par John Searle, fournit un cadre précieux pour comprendre les subtilités de la communication. Cette théorie nous permet non seulement de disséquer la façon dont le langage transmet l'information, mais aussi de mettre en lumière la façon dont il sert d'outil pour mettre en œuvre des actions spécifiques et atteindre des objectifs particuliers. En examinant les concepts d'actes illocutoires et perlocutoires, nous comprenons mieux les motifs et les conséquences des expressions verbales. La compréhension des actes illocutoires aide à discerner le sens ou l'objectif visé par le locuteur derrière son discours, qu'il s'agisse de faire une demande, de donner un conseil ou d'exprimer une opinion. La compréhension de la différence entre les actes illocutoires et perlocutoires joue un rôle essentiel dans la compréhension du fonctionnement du langage dans la communication. Cela démontre que les mots ne sont pas seulement des porteurs passifs de sens, mais qu'ils sont des instruments d'action qui peuvent avoir divers effets sur l’interlocuteur. Dans cette étude, les énoncés interro-négatifs fusionnés avec « pourquoi » au sein de livre intitulé L'École des Femmes d'André Gide sont analysées dans le cadre du contexte textuel. La valeur illocutoire sous-jacente à ces énoncés est étudiée selon les actes illocutoires catégorisés par Searle et ses effets perlocutoires sur l'interlocuteur sont révélés. Il en ressort que ces énoncés peuvent avoir diverses intentions communicatives et donc avoir différents impacts sur celui qui les reçoit.
APA, Harvard, Vancouver, ISO, and other styles
8

Kilani-schoch, Marianne. "Langue et culture." Anthropen, 2016. http://dx.doi.org/10.17184/eac.anthropen.017.

Full text
Abstract:
La vaste littérature (linguistique, psycholinguistique, ethnolinguistique, etc.) des XXe et XXIe siècles sur la relation entre langue et culture montre d'importantes variations dans la conception et l'approche de la problématique. Au cours des années 1930, la question du relativisme linguistique a été stimulée par l'hypothèse Sapir-Whorf (Carroll 1956) selon laquelle les structures et catégories linguistiques d'une langue influent sur la pensée et la culture de ses locuteurs, voire même les structurent ou les déterminent. Comme la conception structuraliste dominante de l'époque ne réservait guère de place aux pratiques culturelles, la réflexion autour du relativisme linguistique a d'abord impliqué principalement les systèmes: système linguistique, et plus précisément grammatical et sémantique, d'une part, et système cognitif comme ensemble de concepts ou représentations mentales, d'autre part (voir par exemple plus récemment Wierzbicka 1991 et la critique de Kristiansen et Geeraerts 2007 parmi d'autres, cf. aussi Jackendoff 2007), délaissant ainsi un aspect important de la perspective de Whorf sur la culture (Bickel 2000: 161-163). A partir des années 60, l'importance accordée à la recherche sur les universaux linguistiques et cognitifs a éloigné une bonne partie de la linguistique de toute préoccupation impliquant la diversité sociale et culturelle, et par là même, de l'hypothèse du relativisme linguistique. Par exemple, une étude célèbre de Berlin et Kay (1969) a argué que le lexique des couleurs dans les langues était déterminé par des contraintes universelles sur la perception visuelle. Cette étude a largement contribué à discréditer l'hypothèse Sapir-Whorf. Ces vingt-cinq dernières années cependant, les recherches linguistiques se sont réorientées dans le sens de l'empirie (cf. Sidnell et Enfield 2012) et la question whorfienne a été reprise. Toute une série de travaux linguistiques et psycholinguistiques ont développé des méthodes expérimentales pour évaluer les conséquences cognitives de la diversité linguistique. Par ex. Choi et Bowerman (1991) et Lucy (1992), pour ne citer qu'eux, ont mis en évidence de façon spectaculaire des différences de perception et de catégorisation d'actions et d'objets chez de très jeunes enfants et chez des adultes selon les langues. D'autres travaux, dont l'orientation est plus directement anthropologique, s'intéressent, au-delà des systèmes, aux affinités entre les usages langagiers et les formes culturelles des pratiques sociales (Bickel 2000: 161 ; Hanks 1990 ; Gumperz et Levinson 1996). Une partie importante d'entre eux ont porté sur les manières différentes dont les catégories grammaticales des langues encodent certains aspects des relations et contextes sociaux et culturels. Par exemple, dans de nombreuses langues du monde, la deixis spatiale correspond à la grammaticalisation de coordonnées géographiques, c'est-à-dire est définie par une orientation absolue (personnes et objets sont obligatoirement localisés aux points cardinaux ou en haut, en bas ou au-delà de la colline où les locuteurs vivent, Bickel 2000), et non par une orientation relative comme dans la plupart des langues indo-européennes (ex. Paris rive droite). Or, comme Bickel (2000: 178-9) l'a montré avec l'exemple du belhare (langue tibéto-birmane du Népal), cette grammaire de l'espace est associée à l'expérience directe de l'espace social dans les interactions. En s'attachant aussi à expliciter le rôle de la culture, plus précisément des pratiques culturelles (au sens d'habitus de Bourdieu) dans le relativisme linguistique, Bickel recentre la perspective: il montre qu'entre pratiques culturelles, pratiques linguistiques et cognition, l'influence est réciproque et non unidirectionnelle. Les opérations de schématisation auxquelles les pratiques sociales sont nécessairement sujettes influencent directement la cognition. En retour les principes universels de la cognition peuvent influer sur les formes linguistiques et culturelles. Sidnell et Enfield (2012) ouvrent un autre domaine d'application du relativisme linguistique avec les différentes ressources conversationnelles que les langues mettent à disposition des locuteurs pour effectuer un même type d'action sociale dans l'interaction, tel manifester son accord ou son désaccord avec l'interlocuteur. Ils montrent que les propriétés structurales (ordre des mots, particules, etc.) constitutives de ces ressources ont des implications différentes sur la suite de l'interaction elle-même, et, selon la langue, entraînent notamment la clôture de l'échange ou au contraire sa continuation par un développement thématique. De telles différences induites par la réalisation d'actions langagières identiques sont considérées comme des "effets collatéraux" inévitables de la diversité dans les possibilités structurales offertes aux locuteurs par chaque langue pour réaliser leurs rôles d'agents sociaux. Ces effets collatéraux de moyens linguistiques sur les actions sociales (mais néanmoins linguistiques, voir le commentaire de Duranti 2012 qui suit l'article cité) relèveraient aussi du relativisme linguistique Notons ici que le projet de l'ethnographie de la communication, dès 1960, avait déjà fait de la diversité culturelle dans les formes de communication et la manière dont ces formes de communication interfèrent avec les systèmes et pratiques culturels son objet d'étude (Gumperz et Hymes 1964). La contribution pionnière de Gumperz (1989) dans l'intégration de la culture à l'analyse de l'interprétation en conversation, consiste notamment à avoir mis en évidence les conventions culturelles des indices linguistiques à l'aide desquels les locuteurs signalent au cours de l'interaction le type d'activité sociale dans lequel ils sont engagés, ainsi que l'interprétation à donner à leurs énoncés. Par exemple, les indices prosodiques (direction de la courbe intonative, accentuation) pour marquer la fin ou la continuation d'un tour de parole, une requête polie, etc. varient selon les langues. Le dernier aspect à évoquer dans la reprise de l'hypothèse Sapir-Whorf est la complexification et différenciation de la notion même de pensée, selon que le locuteur est engagé ou non dans des activités langagières. Slobin (2003) distingue le processus "en ligne" consistant à "penser pour parler" (thinking for speaking). Ce mode de pensée ou activité du locuteur sélectionnant les caractéristiques des objets et événements codables dans sa langue, manifeste comment les exigences des langues conduisent les locuteurs à prêter attention à des aspects différents et particuliers de la réalité. La schématisation qui préside aux énoncés est ainsi spécifiée par chaque langue et guidée par elle. Slobin illustre le concept de "penser pour parler" avec l'expression linguistique du mouvement qui en anglais, par exemple, encode la notion de mode de déplacement dans le verbe principal (the dog ran into the house), à la différence du français qui n'encode cette notion que secondairement ou accessoirement (le chien est entré dans la maison [en courant]) et lui préfère celle de direction du déplacement. En résumé, la diversité culturelle et sociale, préoccupation principale de l'anthropologie, a retrouvé une place de choix dans la réflexion linguistique contemporaine et l'hypothèse du relativisme linguistique connaît un renouveau. Mais cette diversité n'est pas pensée comme sans contraintes, la nature précise des éléments universaux ou communs restant cependant à établir (voir par ex. Malt et Majid 2013).
APA, Harvard, Vancouver, ISO, and other styles
9

Goodale, Mark. "Droits humains." Anthropen, 2019. http://dx.doi.org/10.17184/eac.anthropen.093.

Full text
Abstract:
En tant que sous-domaine émergeant de l'anthropologie sociale et culturelle, l'anthropologie des droits humains a contribué à la théorie et à la méthodologie de diverses manières. Il a également apporté des contributions en dehors de la discipline puisque les juristes internationaux, les responsables politiques et les représentants du gouvernement se réfèrent à l'anthropologie des droits humains comme source d'informations et d'idées au sujet des droits humains dans les documents politiques, les rapports aux agences gouvernementales et dans les principaux discours publics (voir par ex. Higgins 2012, 2013). Culture En tant que catégorie d'organisation de la différence, la culture était dès le départ problématique pour les droits humains. Dans sa Déclaration sur les droits de l'homme de 1947, Melville Herskovits craignait que la diversité et la richesse culturelles ne soient incompatibles avec les droits humains, en affirmant des modèles transculturels de croyances et de pratiques normatives contredisant les preuves anthropologiques et en menaçant d'ignorer la culture au sein de l'économie politique de l'ordre de l’après-guerre. En dépit de ces préoccupations, la diversité culturelle n'a pas été affectée par la promulgation de la Déclaration universelle des droits de l'homme en 1948. Ceci, en grande partie, est dû à l'influence plus large des droits humains, sans parler de la transformation globale imaginée par Herskovits, qui a immédiatement été bloquée par la Guerre froide. Même Eleanor Roosevelt a reconnu que le projet des droits humains prendrait des années, voire des décennies, et que les modèles culturels ne commenceraient à changer que lorsque ce qu'elle appelait une «vigne curieuse» prendra racine puis se répandra dans des lieux où « les gouvernements ne l’attendent pas » (cité dans Korey 1998). Au moment où ce genre de changement à grande échelle a commencé, les anthropologues des droits humains ont observé que l'impact sur la culture défiait la dichotomie entre particularisme et universalisme et que la culture elle-même facilitait la transnationalisation des normes des droits humains. Dans le volume novateur Culture and Rights (« Culture et Droits ») (2001), les anthropologues qui se sont penchés sur une décennie de recherche ethnographique après la fin de la Guerre froide ont remarqué deux phénomènes clés à l'œuvre. Dans la première, les pratiques culturelles et les modes de compréhension normatifs existants ont servi de mécanismes à ce que Sally Engle Merry (2006a) décrira plus tard comme la «vernacularisation», à savoir l’application de normes internationales des droits humains de plus en plus hégémoniques dans des formes de pratique éthique et politique ancrées dans le particulier. Et dans la seconde, les spécialistes de Culture et Droits ont décrit et théorisé l'émergence d'une culture transnationale des droits humains. Ici, un compte rendu anthropologique de la culture s'est avéré utile pour comprendre la formation de nouvelles catégories d'action collective au sein des agences internationales, des ONG transnationales et des mouvements politiques et sociaux façonnés par les logiques des droits humains. Dans les deux cas, l'utilisation par les anthropologues du concept de culture pour comprendre la pratique des droits humains a évolué à contre-courant de la théorie anthropologique et sociale, sceptique sur l'utilité analytique de la culture face à l'hybridation supposée de la mondialisation. Pouvoir Les droits humains, comme Burke aurait pu le dire, agissant à travers les gens, c'est du pouvoir; et «les gens prévenants, avant qu'ils ne se déclarent, observeront l'usage qui est fait du pouvoir; et surtout d'éprouver quelque chose comme l’exercice d’un nouveau pouvoir sur des personnes nouvelles, dont les principes, les colères et les dispositions ont peu ou pas d'expérience »(Burke 1919 [1790]: 7, souligné par l’auteur). Les anthropologues des droits humains ont été très attentifs à un autre problème initialement identifié par Herskovits: la manière dont un projet global de droits humains crée des tensions accrues au sein des conflits d’intérêts existants en éliminant toutes formes alternatives de changement social et de résolution des conflits. Bien sûr, du point de vue des défenseurs des droits humains, c'est un pouvoir exercé pour le bien; en effet, comme l'expriment avec force les traités internationaux comme la CEDAW, le projet des droits humains d'après-guerre exige le changement, le remplacement, voire la suppression des modes de pratique culturelle qui restent inexplicables et donc illégitimes. Comme le stipule l'article 5 souvent cité par le CEDAW, les États parties à la charte internationale des droits des femmes doivent «modifier les comportements sociaux et culturels des hommes et des femmes en vue d'éliminer les préjugés et autres pratiques coutumières» qui sont basées sur les théories locales de l'inégalité de genre. Mais, comme l'ont montré les anthropologues, les droits humains tendent souvent à mettre entre guillemets et à marginaliser les autres logiques culturelles de justice sociale, de développement, de transformation des conflits et d'éthique publique. Et cette extension du pouvoir peut avoir des conséquences inattendues. L'un des exemples les plus complets de la façon dont les anthropologues ont exploré les implications du pouvoir imprévisible des droits humains est l'ethnographie du développement de Harri Englund (2006) au Malawi. Comme il l'explique, le concept des droits humains a été officiellement traduit dans la langue locale avec une phrase qui signifiait «la liberté avec laquelle on est né» (2006: 51). Au fil du temps, les gens ont mis l'accent sur la liberté de contester les normes culturelles existantes en matière de mode, d'obéissance dans les écoles publiques et de comportement sexuel, plutôt que sur les conditions structurelles économiques et politiques qui renforçaient un héritage d'inégalité et de corruption publique. Le résultat, selon Englund, fut que les Malawiens finissaient par être «privés de la traduction». Le discours sur les droits humains a saturé tous les aspects de la vie publique au Malawi, comme le voulaient les fonctionnaires et les travailleurs humanitaires transnationaux. Mais puisque les droits humains étaient mal traduits dans une langue vernaculaire locale, ils ont été transformés au point d'être méconnaissables, ce qui a empêché leur utilisation comme langage d'un changement social pourtant nécessaire. Épistémologie Quand Herskovits affirmait que l'anthropologie n'était pas capable de faire des affirmations définitives sur les droits humains universels parce qu'elle était une «science de l'humanité» et ne s'intéressait donc qu'aux questions empiriques du comportement humain exprimées par des «modèles de culture», il ne pouvait prévoir les innovations épistémologiques dans la discipline qui élargiraient ses objets de connaissance et transformeraient ses domaines d'investigation. Cela ne veut toutefois pas dire que, dans les décennies qui ont suivi, les anthropologues ont écarté les premiers arguments de Herskovits pour confronter les problèmes ontologiques et philosophiques fondamentaux qui restaient essentiels aux droits humains. Une grande partie du travail intellectuel consacré aux droits humains restait dans des sphères telles que les études juridiques critiques, la théorie politique et la philosophie morale. Au contraire, les anthropologues ont utilisé la recherche ethnographique pour étayer de manière subversive l'élargissement des bases sur lesquelles les questions fondamentales morales et théoriques des droits humains pouvaient être posées et résolues. Ceci, à son tour, a eu des implications importantes pour l'épistémologie des droits humains, en particulier dans l'après-Guerre froide, lorsque le discours sur les droits humains s'est de plus en plus intégré dans les pratiques juridiques, politiques et sociales. Les anthropologues ont très tôt observé que les idées sur les droits humains étaient fondamentales dans leur mise en pratique. Les acteurs sociaux, souvent pris dans des moments de crise ou de dislocation, n'ont jamais été capables d'exploiter simplement les droits humains ou de corrompre leurs imaginaires de justice comme s'il s'agissait d'une boîte à outils normative attendant d'être ouverte. Au lieu de cela, les logiques de défense des droits humains exigeaient autant de considération de soi que de changement social; les gens étaient invités, encouragés, obligés de se repenser en tant que citoyens d'un univers moral différent. La théorisation éthique en termes de cet univers moral souvent radicalement différent est devenue une forme distincte de pratique sociale et l'anthropologue est devenu à la fois témoin et participant de cette transformation dans le cadre de la rencontre ethnographique (voir Goodale 2006). Ce qui en résulta fut un enregistrement ethnographique de modèles de droits humains innovants et potentiellement transformateurs, profondément ancrés dans les circonstances de leur création. Le meilleur exemple que nous ayons d'un compte rendu local des droits humains parfaitement articulé est l'ethnographie de Shannon Speed ??sur les conséquences de la rébellion zapatiste au Chiapas (2007). Pendant et après la violence, des organisations internationales et transnationales de défense des droits humains ont envahi la région du Chiapas. Ceux qui défendent les droits des peuples autochtones en tant que droits humains ont été particulièrement influents dans la façon dont la résistance zapatiste s’est exprimée. Les leaders politiques indigènes ont formé des «conseils de bonne gouvernance» dans lesquels les idées sur les droits humains ont été longuement débattues, remaniées et ensuite utilisées pour représenter les valeurs morales zapatistes en tant qu'action politique zapatiste enracinée. Plaidoyer transnational Les réseaux transnationaux des droits humains qui ont émergé après la fin de la Guerre froide ont fait ce qu'Eleanor Roosevelt attendait d'eux: ils ont défié la souveraineté de l'Etat et ont permis de créer de nouvelles sphères publiques à la fois translocales et ancrées dans les sites de contestation intime. Des chercheurs comme Annelise Riles (2000) ont étudié ces réseaux de l'intérieur et ont contribué à la compréhension plus large des assemblages mondiaux qui modifiaient l'ontologie des relations sociales à une époque de transformation économique géopolitique et mondiale. Mais les anthropologues ont également montré à quel point les réseaux de défense des droits humains sont façonnés par les économies politiques des conflits locaux de manière à changer leur valence normative et à les rendre incapables de remplir leur mandat plus large de changement social et de transformation morale. Par exemple, l'ethnographie de longue durée de Winifred Tate (2007) du conflit historique entre l'État colombien et les Forces armées révolutionnaires de Colombie (FARC) montre comment les défenseurs des droits humains luttent pour traduire la langue et les logiques morales des droits humains universels en une catégorie instrumentale de l'action pouvant répondre aux défis du traumatisme historique, des récits multiples et ambigus de la culpabilité pour les atrocités commises, de l'héritage de la violence structurelle, et des modèles durables d'inégalité économique ayant des racines dans la période coloniale. Et l'étude de Sally Engle Merry (2006b) sur les institutions qui surveillent la conformité nationale à la CEDAW illustre en détail la façon dont les défenseurs des droits humains doivent eux-mêmes naviguer entre des cultures multiples de défense et de résistance. Les représentants des ministères nationaux des droits humains se trouvent souvent obligés de défendre à la fois le respect d'un traité international des droits humains et l'intégrité et la légitimité des pratiques culturelles qui semblent violer ce même traité. Néanmoins, ces dichotomies n'annulent pas la portée du droit international des droits humains dans les conflits nationaux et locaux. Au contraire, comme le souligne Merry, elles reflètent la façon dont la pratique des droits humains crée ses propres catégories d'identités et de pouvoirs contestés avec des implications incertaines pour la défense transnationale des droits humains et la promotion du patrimoine national(-iste). Critique et engagement Enfin, l'anthropologie des droits humains, peut-être plus que d'autres orientations académiques s’intéressant aux droits humains, se heurte avec difficultés au dilemme de développer un compte rendu rigoureux et ethnographique des droits humains qui soit à la fois critique et éthiquement conforme aux conditions de vulnérabilité qui mènent aux abus et à l’exploitation. Cette tension s'est exprimée de différentes manières pour chaque anthropologue. Certains (comme Winifred Tate et Shannon Speed, par exemple) ont commencé leur carrière en tant qu'activistes des droits humains avant de faire de la recherche et de mener une réflexion ethnographique sur les processus sociaux et politiques pour lesquels ils s’étaient engagés. Mais la tension entre la critique et l'engagement, le scepticisme et le plaidoyer, et la résistance et l'engagement, n'est pas seulement un défi pour les anthropologues des droits humains. Comme l'a démontré la recherche ethnographique, c'est un fait social et moral fondamental pour la pratique des droits humains elle-même. Ceci en partie parce que la théorie de la pratique sociale et du changement politique que propose les droits humains exige une forme d'autoréflexion et d'auto-constitution destinée à semer le doute sur les pratiques culturelles existantes, sur les théories populaires de l’individu, et sur les hiérarchies du pouvoir. Pourtant, la transition de l'ancien à l’actuel devenu tout à coup illégitime au nouveau et maintenant soudainement authentique est lourde de dérapage moral et de conséquences imprévues. Un exemple récent d'ethnographie de la pratique des droits humains est l'étude de Lori Allen (2013), portant sur le rôle du discours sur les droits humains dans la politique de résistance palestinienne à l'occupation israélienne de la Cisjordanie. Bien que le langage des droits humains ait été utilisé dès la fin des années 1970 en Palestine comme stratégie rhétorique populaire pour défendre les victimes de l'occupation auprès d'une audience internationale, un cercle professionnel d'activistes et d'ONG finit par restreindre l'utilisation des droits humains dans des espaces sociaux et politiques étroitement contrôlés. Dans le même temps, l'ensemble des griefs palestiniens sont restés sans réponse pendant des décennies, comme la violation des droits humains continuelle, l'incapacité à obtenir l'indépendance politique et à influencer favorablement l'opinion politique en Israël. Le résultat fut que les Palestiniens en vinrent à considérer les droits humains avec cynisme et même suspicion. Mais plutôt que de rejeter entièrement les droits humains, ils ont formulé une critique organique des droits humains dans un discours critique et émancipateur plus large promouvant l'autonomie palestinienne, l'anti-impérialisme et l’activisme associatif (par opposition à l'interventionnisme). Après des décennies d'engagement pour les droits humains dans l'histoire de la lutte palestinienne contre l'occupation, les militants ont pu s'approprier ou rejeter les logiques et les attentes des droits humains avec un haut degré de conscience contextuelle et de réalisme politique. Orientations futures L'anthropologie des droits humains est maintenant bien établie en tant que domaine de recherche distinct et source de théorie anthropologique. Sur le plan institutionnel, les universitaires et les étudiants diplômés qui travaillent dans le domaine de l'anthropologie des droits humains viennent généralement, mais pas exclusivement, des rangs de l'anthropologie juridique et politique. Parce que les droits humains sont devenus un mode de plus en plus omniprésent du monde contemporain, les anthropologues rencontrent des traces de cette influence à travers un large éventail de pratiques culturelles, de mouvements politiques et de projets moraux. Cela ne veut cependant pas dire que le statut des droits humains n'est pas contesté, bien au contraire. Alors que la période liminaire de l'après-Guerre froide cède la place à la redifférenciation culturelle, à l'établissement de nouvelles hiérarchies et au rétrécissement des espaces d'expérimentation politique et sociale, les droits humains continueront à bousculer les formes alternatives de pratiques morales et de constitution personnelle et collective. Alors que le projet des droits humains d'après-guerre mûrit en se transformant en processus presque banal de réforme constitutionnelle, de bonne gouvernance et de restructuration économique néo-libérale, son potentiel de catalyseur de transformation radicale et de bouleversement moral diminuera probablement. L'anthropologie des droits humains deviendra moins l'étude d'un discours politique et moral à une époque de transition souvent vertigineuse et de possibilités apparemment illimitées, que celle d'un universalisme séculaire contemporain établi parmi une foule de perspectives concurrentes.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Langages d'action"

1

Llopard, Ivan. "Programming embedded manycore : refinement and optimizing compilation of a parallel action language for hierarchical state machines." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066157/document.

Full text
Abstract:
Afin de gérer la complexité des systèmes embarqués modernes, les langages de modélisation proposent des abstractions et des transformations adaptées au domaine. Basées sur le formalisme de machines à états hiérarchiques, connu sous le nom de Statecharts, ils permettent la modélisation du contrôle parallèle hiérarchique. Cependant, ils doivent faire à deux défis majeures quant il s'agit de la modélisation des applications à calcul intensif: le besoin des méthodes unifiées supportant des actions avec parallélisme de donnée; flots d'optimisation et génération de code à partir des modèles trop généralistes. Dans cette thèse, nous proposons un langage de modélisation étendu avec une sémantique d'actions parallèles et machines à états hiérarchiques indexées, spécialement adapté pour les applications à calcul intensif. Avec sa sémantique formelle, nous présentons un flot de compilation optimisante pour le raffinement des modèles en vue d'une génération du code efficace avec parallèlisme de donnée
Modeling languages propose convenient abstractions and transformations to handle the complexity of today's embedded systems. Based on the formalism of \acrlong{hsm}, they enable the expression of hierarchical control parallelism. However, they face two importants challenges when it comes to model data-intensive applications: no unified approach that also accounts for data-parallel actions; and no effective code optimization and generation flows. In this thesis, we propose a modeling language extended with parallel action semantics and hierarchical indexed-state machines suitable for computationally intensive applications. Together with its formal semantics, we present an optimizing model compiler aiming for the generation of efficient data-parallel implementations
APA, Harvard, Vancouver, ISO, and other styles
2

Sarmiento, Lozano Camilo. "Formalisation des raisonnements éthiques : modélisation des processus en éthique et modélisation, représentation et automatisation du raisonnement causal." Electronic Thesis or Diss., Sorbonne université, 2024. http://www.theses.fr/2024SORUS047.

Full text
Abstract:
Cette thèse s'inscrit dans le domaine de l'éthique computationnelle dont le but est de formaliser le raisonnement éthique. Autrement dit, ce travail fait partie du domaine qui cherche à reproduire notre capacité en tant qu'êtres rationnels à évaluer moralement une action. Deux objectifs sont recherchés au travers de la formalisation de ce raisonnement : mieux le comprendre et l'intégrer dans des systèmes informatiques de sorte à assurer que les décisions prises soient conformes à des principes moraux choisis.Cette thèse contribue à ce domaine de deux façons. Un premier groupe de contributions est lié à la proposition d'un cadre commun permettant de formaliser de façon fidèle les principes moraux les plus courants dans la philosophie occidentale. Pour reprendre les termes du titre, ce premier groupe de contributions peut être résumé en quelques mots comme la « modélisation des processus en éthique ». Le deuxième groupe de contributions est lié à la proposition d'une formalisation du raisonnement causal. En plus de permettre une meilleure compréhension de ce raisonnement, cette formalisation rend possible de l'intégrer dans des systèmes informatiques de sorte à pouvoir établir des relations causales complexes. Cette capacité intervient dans la formalisation d'un grand nombre de principes moraux. Ayant pour objectif que notre proposition puisse être utilisée dans la formalisation de tous ces principes moraux, nous l'avons conçue de sorte à ce qu'elle satisfasse un certain nombre de conditions. Tout d'abord, notre formalisation repose sur un formalisme permettant de rendre explicites la plupart des subtilités des problèmes, aussi bien pour le raisonnement causal que le raisonnement éthique. Ensuite, la définition de causalité intégrée dans notre formalisme est dépourvue de toute confusion avec la notion de responsabilité. Sans cela, elle ne pourrait pas être commune à la formalisation de tous les principes moraux. Finalement, notre proposition est en capacité de traiter tous les cas causaux, dont les plus complexes. Pour reprendre les termes du titre, ce deuxième groupe de contributions peut être décrit comme la « modélisation, représentation et automatisation du raisonnement causal ». Les contributions principales de cette thèse appartiennent à ce deuxième groupe
This thesis is in the field of computational ethics, which aims to formalise ethical reasoning. In other words, this work is part of the field that seeks to emulate our capacity as rational beings to morally evaluate an action. The formalisation of this reasoning has two objectives: to better understand it and to integrate it into computer systems to ensure that decisions made comply with chosen moral principles.This thesis makes a contribution to the field in two ways. Firstly, it proposes a common framework for formalising faithfully the most common moral principles in Western philosophy. This first contribution can be summarised as 'modelling ethical processes'. The second set of contributions pertains to the proposal for formalising causal reasoning. This formalisation not only enhances our comprehension of this reasoning but also enables its integration into computer systems, facilitating the establishment of complex causal relationships. This capability is crucial for formalising a wide range of moral principles. To ensure that our proposal can formalise all these moral principles, we have designed it to satisfy a number of conditions. Firstly, our formalisation is based on a formalism that explicitly addresses the subtleties of problems related to both causal and ethical reasoning. Secondly, our formalism's definition of causality free of any confusion with the notion of responsibility. Otherwise, it would not be common to formalise all moral principles. Finally, our proposal can handle all causal cases, including the most complex. The second group of contributions focuses on 'modelling, representing and automating causal reasoning'. The main contributions of this thesis belong to this second group
APA, Harvard, Vancouver, ISO, and other styles
3

Boulenger, Véronique. "Le Langage et l'Action : Dynamique des liens unissant verbes d'action et contrôle moteur." Phd thesis, Université Lumière - Lyon II, 2006. http://tel.archives-ouvertes.fr/tel-00363149.

Full text
Abstract:
Une perspective récente considère que la compréhension du sens des mots fasse appel, outre aux aires de Broca et Wernicke, au système sensori-moteur. A cet égard, l'étude du traitement des mots d'action apparaît comme un outil adapté à la compréhension des liens fonctionnels unissant langage et motricité. Ce travail de thèse avait pour but d'une part, de déterminer si le traitement des mots d'action implique les aires corticales participant également au contrôle moteur, et d'autre part, d'évaluer le rôle de ces régions dans les processus de récupération des mots. Dans une première étude, des effets différents d'âge d'acquisition des mots ont été observés sur la reconnaissance de noms concrets et de verbes d'action, suggérant l'existence de réseaux neuronaux partiellement distincts pour le traitement de ces mots. Lors d'une seconde étude, nous avons examiné l'influence du traitement de ces catégories de mots sur l'exécution d'un mouvement de préhension. Des analyses cinématiques fines ont révélé une interférence du traitement des verbes d'action sur la performance motrice simultanée, alors qu'une facilitation était obtenue lors de l'exécution subséquente du mouvement. Dans une troisième étude couplant des enregistrements électrophysiologiques et cinématiques, l'influence de la présentation subliminale de noms et de verbes a été mesurée sur la préparation simultanée d'un mouvement de préhension. Une interférence de la perception inconsciente des verbes d'action a été mise en évidence sur le potentiel de préparation motrice et sur l'exécution motrice subséquente. Enfin, notre dernière étude nous a permis d'évaluer le rôle du système moteur dans le traitement des verbes d'action, en comparant les effets d'amorçage répété masqué pour des noms et des verbes chez des patients parkinsoniens. Nos résultats ont révélé une absence d'effet d'amorçage uniquement pour les verbes d'action chez les patients privés de traitement dopaminergique ; la prise médicamenteuse rétablissait ensuite les performances, les patients se comportant alors comme des sujets sains. L'ensemble de ce travail de thèse fournit donc des éléments robustes en faveur d'un partage de substrats neuronaux entre les mots d'action et l'action elle-même, et suggère une contribution des aires motrices au traitement des mots d'action.
APA, Harvard, Vancouver, ISO, and other styles
4

Boulenger, Véronique Nazir Tatjana. "Le langage et l'action dynamique des liens fonctionnels unissant verbes d'action et contrôle moteur /." Lyon : Université Lumière Lyon 2, 2006. http://demeter.univ-lyon2.fr/sdx/theses/lyon2/2006/boulenger_v.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

PAOLETTI, JEAN-CHRISTOPHE. "Conception d'un langage de controle d'execution de plans d'actions pour la telerobotique." Rennes 1, 1991. http://www.theses.fr/1991REN10037.

Full text
Abstract:
La problematique de ce travail consiste en la definition d'outils symboliques susceptibles d'aider l'operateur humain, pour des applications en telerobotique, et plus generalement, pour des applications necessitant une forte interactivite avec l'operateur. L'existence d'un calculateur intermediaire, entre les organes maitres de commande et les effecteurs du robot, permettra d'accomplir des actions en utilisant les modes de commandes associes aux differents degres d'autonomie d'une application robotisee. Nous presentons un systeme de controle d'execution, pour des plans d'actions. Une organisation hierarchisee a ete choisie. Ele definira avec precision les niveaux et les moyens d'intervention de l'operateur, lors des differentes phases de la realisation d'une mission: planification, decision et execution. Le systeme a ete defini autour du langage yalta (yet another language for telerobotics application). Yalta est un langage de commande, imperatif et graphique. Il regroupe des caracteristiques appartenant a des domaines divers (langages de commande de systeme, robotique, programmation graphique, parallelisme et temps reel). Le langage permettra de specifier une mission a l'aide de primitives graphiques. L'execution se fera sur le mode interprete, ce qui donnera la possibilite a l'operateur d'intervenir, en-ligne, sur la structure de la mission. Un ensemble de regles de semantique operationnelle de yalta a ete produit a partir de la methode decrite par plotkin. Elles decrivent la gestion des signaux et le fonctionnement des diverses primitives. Elles rendront effective l'execution d'une mission. Celle-ci se deroulera par reecritures successives. La reprise d'erreur s'effectuera aussi par reecriture du plan d'actions
APA, Harvard, Vancouver, ISO, and other styles
6

Courson, Melody. "Implication du système moteur dans le traitement du langage d'action : facteurs modulateurs de la réponse motrice." Doctoral thesis, Université Laval, 2018. http://hdl.handle.net/20.500.11794/28253.

Full text
Abstract:
Depuis le début du 21ème siècle, la nature de la réponse motrice lors de la compréhension de langage d’action fait l’objet d’un débat théorique animé. Le rôle que cette réponse motrice pourrait jouer dans le traitement sémantique du langage d’action divise la communauté neuroscientifique. Tandis que certains modèles théoriques soutiennent une incarnation forte du langage, traduite par une implication primordiale du système moteur dans les processus sémantiques, d’autres s’y opposent fermement et défendent une approche computationnelle d’un système sémantique abstrait et désincarné. D’autres modèles sont plus nuancés et certains reconnaissent l’importance de l’influence de différents contextes sur la réponse motrice lors du traitement du langage. En effet, certains facteurs linguistiques et moteurs modulent la réponse motrice lors de la compréhension de langage d’action. L’objectif principal de la présente thèse est de caractériser certains facteurs modulateurs de la réponse : la polarité sémantique, les habiletés individuelles en imagerie motrice et en exécution motrice, et la structure corticale. Le facteur modulateur linguistique le plus étudié à ce jour est la polarité sémantique (c.-à-d. la valence affirmative/négative). Or de nombreux aspects relatifs à l’influence de ce facteur sur la réponse motrice doivent encore être investigués. À l’aide de l’électromyographie (EMG), l’Étude 1 mesure l’influence sur la réponse motrice, de polarités en interaction au sein d’une même phrase d’action. Bien que les liens entre traitement du langage d’action et imagerie motrice d’une part, et exécution motrice d’autre part aient été abordés dans la littérature, l’influence des différences interindividuelles dans ces habiletés sur l’implication du système moteur reste méconnue. Cette question fait l’objet de l’Étude 2, qui mesure l’implication de l’aire motrice supplémentaire (SMA) et de l’aire motrice supplémentaire antérieure (pré-SMA) dans le traitement du langage d’action en fonction des habiletés en imagerie et exécution motrices via un protocole de stimulation magnétique transcrânienne (TMS). Enfin, des comportements peuvent être associés à des caractéristiques structurelles d’aires corticales telles que le volume cortical, la surface corticale, l’épaisseur corticale et la gyrification. L’Étude 3 porte sur le lien entre l’implication du SMA dans le traitement du langage d’action (observée dans l’Étude 2) et ses caractéristiques structurelles au moyen d’analyses de morphométrie (« surface-based morphometry » ou SBM).
Since the beginning of the 21st century, the nature of the motor response during comprehension of action language has been hotly debated in the neuroscientific community. The role that it might play in the semantic processing of action language is at the heart of the debate. While, some theoretical models defend the view of a strong embodiment of language, which translates in a critical implication of the motor system in semantic processes of action language, others are firmly opposed to this view and defend a computational approach of the semantic system, which is considered to be abstract and disembodied. Other models, which are more moderate in their theoretical views, are interested in characterizing the influence of context on the motor response during action language processing. Linguistic and motor factors have been shown to modulate this motor response. The main objective of this thesis is to characterize some of these modulatory factors: semantic polarity, individual abilities in motor imagery and motor execution, and cortical structure. The linguistic modulatory factor that has been studied the most is semantic polarity (i.e. the affirmative/negative valence), but many aspects of this factor have not been uncovered yet. Using electromyography (EMG), Study 1 measures the influence of interacting semantic polarities within an action sentence on the motor response. Although the relation between action language processing and motor imagery on the one hand, and motor execution on the other, have been studied in the past, the influence of interindividual differences in motor imagery and execution on the involvement of the motor system in action language processing remains unknown. This question is the focus of Study 2, which measures the involvement of the supplementary motor area (SMA) and the pre-supplementary motor area (pre-SMA) in action language processing as a function of motor imagery and motor execution abilities, via a transcranial magnetic stimulation (TMS) protocol. Finally, behaviors can be associated with structural characteristics of cortical areas such as cortical volume, cortical surface, cortical thickness and gyrification, Study 3 investigates the relation between the involvement of the SMA in action language processing (observed in Study 2) and its structural characteristics using surface-based morphometry (SBM).
APA, Harvard, Vancouver, ISO, and other styles
7

Baudoin, Frédéric. "Personnalisation des systèmes de dialogue en langage naturel : une méthode d'anticipation rationnelle d'actions communicatives." Paris 6, 2008. http://www.theses.fr/2008PA066535.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Saidouni, Djamel-Eddine. "Sémantique de maximalité : application au raffinement d'actions dans LOTOS." Toulouse 3, 1996. http://www.theses.fr/1996TOU30040.

Full text
Abstract:
Cette thèse se situe dans le cadre de méthodes de conception de systèmes répartis s'appuyant sur des techniques de raffinement d'actions. En considérant la technique de description formelle lotos comme langage d'étude, elle aborde des problèmes théoriques concernant l'adéquation de différentes sémantiques du parallélisme pour la mise en oeuvre du raffinement d'actions. Bien que la sémantique d'entrelacement soit souvent considérée comme étant la plus simple pour exprimer le parallélisme, elle ne permet pas de représenter correctement le comportement de systèmes concurrents dès que les actions ne sont plus atomiques. La non atomicité des actions implique l'utilisation de sémantiques de vrai parallélisme, dont deux, la maximalité et la causalité, sont développées ici pour lotos. Dans le but de mieux comprendre différents aspects du raffinement d'actions, et de faciliter son exploitation ultérieure, nous avons défini le modèle des arbres maximaux qui est à la base de la sémantique dénotationnelle proposée pour lotos. Cette sémantique a été prouvée compatible avec la sémantique opérationnelle structurée de maximalite de lotos étendu par un opérateur de raffinement d'actions. Pour comparer sémantiques de maximalite et de causalité, la même approche technique a été utilisée pour proposer une nouvelle définition des arbres causaux, dans laquelle les références statiques ont été remplacées par des références dynamiques. Les arbres ainsi obtenus sont appelés arbres causaux dynamiques. Finalement, dans le but de passer de l'étude théorique du raffinement d'actions à sa mise en oeuvre pratique, nous avons proposé une solution permettant d'effectuer un raffinement syntaxique d'actions en lotos, et qui prend en compte le problème du rendez-vous multiple
APA, Harvard, Vancouver, ISO, and other styles
9

Dekdouk, Abdelkader. "Modèles algébriques pour le parallélisme vrai et le raffinement d'actions." Nancy 1, 1997. http://www.theses.fr/1997NAN10188.

Full text
Abstract:
Le cadre général de mon travail de thèse est la théorie des processus. Pour être un peu plus précis, il s'inscrit dans le cadre de l'algèbre de processus. Son objectif, est de définir dans un premier temps des modèles algébriques de parallélisme vrai. Ensuite, étendre ces modèles avec le concept de raffinement d'actions. Initialement nous définissons deux sémantiques opérationnelles de parallélisme vrai pour un langage à la ACP. La première exploite la structure causale du processus et la deuxième repose sur l'hypothèse de la durabilité abstraite des occurrences d'action. Ensuite, nous établissons leurs modèles algébriques correspondants tout en respectant la propriété de correction et de complétude du dernier par rapport au premier. Les modèles définis représentent en fait des algèbres de processus. Par conséquent, cela nous fournit des formalismes de description explicite du parallélisme vrai, en plus de l'outil de vérification algébrique. La deuxième étape de ce travail consiste en la définition sémantique de l'opérateur de raffinement d'actions au sein des deux modèles définis, causal et ST. L'opérateur de raffinement d'actions permet de relier des spécifications à des niveaux différents d'abstraction, en implantant une action abstraite par une activité concrète. Il introduit par conséquent la notion de conception verticale qui est très importante pour la conception des systèmes d'actions. Finalement nous étendons les deux modèles algébriques incluant le raffinement d'actions avec le mécanisme d'abstraction des actions inobservables, en suivant les principes fondamentaux établis par l'équivalence observationnelle de Milner et l'équivalence de branchement de Van Glabbeek et Weijland, sachant que ce mécanisme d'abstraction représente un outil crucial pour la vérification des systèmes réactifs
This work fits into the process algebra framework. Its goal is twofold. Firstly, to define algebraic models for true-concurrency and secondly to extend these models with action refinement concept. We begin by defining two operational models of true-concurrency for an extension of an ACPlike language. True-concurrency of the first model rests on the causality principle and assumes instantaneity of action occurrences. While the second one is based on the ST idea assuming that action occurrences are durable. Then we establish for each operational model its corresponding algebraic model for which it is proved correct and complete. These models define pro cess algebras that provide formalisms to express explicitly a true-concurrent behaviour, in addition to their ability of algebraic verification. The second step of this work is the semantic definition of action refinement operator within both the defined causal and ST models. The action refinement operator permits to relate specifications at different levels of abstraction by implementing an abstract action with a concrete activity. Hence it introduces the notion of vertical modularity which is very relevant for the design of action systems. We finalise this work by enriching both the true-concurrent models including action refinement with the mechanism of abstraction w. R. T unobservable actions, following the abstraction principles stated by the observational equivalence of Milner and the branching equivalence of Van Glabbeek and Weijland. As far as we know this mechanism constitutes a crucial tool for the verification of reactive systems
APA, Harvard, Vancouver, ISO, and other styles
10

Salomé, Jean-Christophe. "Gestion des contraintes temporelles pour le contrôle d'exécution d'un plan d'actions en robotique." Toulouse, ENSAE, 1985. http://www.theses.fr/1985ESAE0017.

Full text
Abstract:
Analyse des problèmes rencontrés en génération de places. Construction d'un générateur de places. Représentation des connaissances pour des phénomènes réels. Stratégie pour un montage-démontage de pièces. Contrôle d'exécution. Problèmes de l'évitement d'obstacles.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Langages d'action"

1

Office, Canada Privy Council. The next act : new momentum for Canada's linguistic duality : the action plan for official languages =: Le prochain acte : un nouvel élan pour la dualité linguistique canadienne : le plan d'action pour les langues officielles. Ottawa, Ont: Privy Council Office = Bureau du conseil privé, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ontario. Esquisse de cours 12e année: Sciences de l'activité physique pse4u cours préuniversitaire. Vanier, Ont: CFORP, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ontario. Esquisse de cours 12e année: Technologie de l'information en affaires btx4e cours préemploi. Vanier, Ont: CFORP, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Ontario. Esquisse de cours 12e année: Études informatiques ics4m cours préuniversitaire. Vanier, Ont: CFORP, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ontario. Esquisse de cours 12e année: Mathématiques de la technologie au collège mct4c cours précollégial. Vanier, Ont: CFORP, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ontario. Esquisse de cours 12e année: Sciences snc4m cours préuniversitaire. Vanier, Ont: CFORP, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ontario. Esquisse de cours 12e année: English eae4e cours préemploi. Vanier, Ont: CFORP, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ontario. Esquisse de cours 12e année: Le Canada et le monde: une analyse géographique cgw4u cours préuniversitaire. Vanier, Ont: CFORP, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ontario. Esquisse de cours 12e année: Environnement et gestion des ressources cgr4e cours préemploi. Vanier, Ont: CFORP, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ontario. Esquisse de cours 12e année: Histoire de l'Occident et du monde chy4c cours précollégial. Vanier, Ont: CFORP, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography