Academic literature on the topic 'Raisonnement moral'

Dès son origine, la réflexion philosophique sur le droit a été confrontée questions du raisonnement juridique et du rapport du juge à la règle. Ces questions engagent celle du rôle de la Raison dans l'agir humain (moral, politique et juridique) et done ultimement celle du statut de la Raison.Le renouveau actuel de la philosophie du droit et de la réflexion sur le jugement juridique s'inscrit dans le cadre du nouvel essor du débat philosophique sur la Raison.

What can we say, in good faith, about the moral status of animals? This article explores the above question through the prism of Emmanuel Levinas’ theory of ethics. I begin by examining the ambiguous position of non-human animals in Levinas’ writings. I argue that Levinas’ theory is best read as suggesting that nonhumans present claims for recognition as ethical beings, but that these demands have a different character to those presented by humans. I then explore the implications of Levinas’ view of ethics for the structure of moral reasoning. I contend that Levinas’ theory yields a conception of moral reasoning as reflective, good faith engagement with primordial social judgements of ethical significance. In the final part of the article, I suggest that it is both possible and constructive to thematise the ethical claims of non-human animals in the language of rights. Indeed, from a Levinasian perspective, animal rights might properly be viewed as a model for the notion of human rights, since they capture the essential asymmetry of the ethical encounter.Que peut-on dire, de bonne foi, au sujet du statut moral des animaux? Cet article examine cette question à travers le prisme de la théorie d’éthique d’Emmanuel Levinas. J’examine d’abord la position ambiguë des animaux non humains dans les écrits de Levinas. Je soutiens que la meilleure façon d’interpréter la théorie de Levinas, c’est qu’elle suggère qu’il y a des raisons de reconnaître un caractère éthique aux êtres non humains, mais que ces raisons diffèrent de celles relatives aux êtres humains. J’examine ensuite les implications de la façon dont Levinas voit l’éthique pour la structure du raisonnement moral. Je prétends que la théorie de Levinas présente une conception du raisonnement moral comme étant un engagement réflectif, de bonne foi, avec des jugements sociaux primordiaux ayant une portée éthique. Dans la dernière partie de l’article, je suggère qu’il est possible et qu’il est constructif de faire une thématique des prétentions éthiques d’animaux non humains en utilisant le langage des droits. En fait, dans la perspective de Levinas, on peut correctement voir les droits des animaux comme modèle pour la notion des droits de la personne, car ils saisissent l’asymétrie essentielle de la rencontre éthique.

Distinguant deux sens de « communauté morale », cet article soutient que certains animaux appartiennent à la communauté morale dans les deux sens : (1) ils sont des patients moraux dignes de considération morale directe et équivalente, mais également (2) des agents moraux au sens où ils sont capables de reconnaître, d’assumer et d’adresser aux autres des exigences minimales de bonne conduite et de savoir-vivre. Au moyen de la notion d’« attitudes réactives » développée par Peter F. Strawson, je soutiens que les animaux sociaux qui sont à la fois objets et sujets d’attitudes réactives forment des communautés morales au second sens, dans la mesure où ils se traitent mutuellement comme des individus ayant des obligations et tenus à des exigences de bonne volonté minimale dans leurs interactions interpersonnelles. Distinguant l’agentivité morale du raisonnement moral, je soutiens que la capacité de raisonner abstraitement sur les principes et les conséquences de nos actions nous imposent plus de responsabilités que n’en ont d’autres animaux, mais que cela ne fait pas nécessairement de nous des agents moraux plus compétents que d’autres animaux sociaux. Je termine en donnant un aperçu de quelques implications de ce changement de perspective en éthique animale.

RÉSUMÉ Rawls symbolise les niveaux de raisonnement moral public et non public par l'utilisation des notions de raisonnable et de rationnel. Dans le contexte du pluralisme raisonnable qui caractérise les sociétés démocratiques libérales, il propose une articulation de ces notions qui doit permettre aux citoyens d'adhérer à leurs propres conceptions générales du bien sans pour autant compromettre l'existence d'une conception commune de la justice. R vise à articuler doctrines particulières et conception commune de façon à laisser la place à l'expression des convictions personnelles des individus sans par ailleurs donner une signification égoïste à l'association politique. Cependant, lorsque Rawls précise le contenu de cette conception commune de la justice et la motivation des individus à y adhérer, il menace dangereusement la spécificité morale qu'il accorde en principe à la notion de raisonnable, symbole de cette raison publique, commune, partagée par les citoyens. Après avoir démontré cette difficulté, je souligne en conclusion deux raisons qui y contribuent, soit d'une part la prétention de Rawls de définir un libéralisme strictement politique et d'autre part la difficulté (présente chez la plupart des théoriciens du libéralisme contemporain) d'articuler une conception cohérente et acceptable de la motivation morale.

Dans leur réflexion sur le raisonnement moral, critique d’une approche rationaliste stricte, les théories du care et les philosophies travaillant à une compréhension enrichie de la raison pratique se sont attachées à mettre en valeur l’importance éthique qu’il y a à envisager la perspective de l’autre. Elles se sont concentrées à cette fin sur le travail de l’imagination. On montre ici que l’éthique du care de Gilligan, l’éthique de la narration de Nussbaum et l’éthique de la sollicitude ricoeurienne, quoique différentes, se renforcent mutuellement à partir d’une compréhension renouvelée du rôle de l’imagination dans la morale. Si l’enquête psychologique de Gilligan, la philosophie de la littérature chez Nussbaum et l’herméneutique du texte chez Ricoeur diffèrent, ces trois auteur.es ont en commun de ne pas se satisfaire des méfaits d’une rationalité instrumentale qui bride la créativité pratique des actrices morales et acteurs moraux. Il appartiendrait à l’imagination éthique de prendre la mesure de la complexité des situations morales et d’en suivre les variations subtiles, afin de prendre soin de formes de vies rendues invisibles ou d’existences vulnérables.

Résumé La constitution des comités d’éthique est assez récente dans le domaine de l’anthropologie et ils soumettent la recherche dans ce domaine à bien des obligations — avant, pendant et après le terrain. Une recherche à Ste-Lucie en 2006, basée sur une compréhension des discours et des rumeurs de sorcellerie et des processus de construction du raisonnement moral associés à l’obeah, servira ici à montrer comment le respect des règlements ou des principes éthiques, tels que définis au sein des comités mais aussi plus largement dans la discipline anthropologique, non seulement est quasiment impossible, mais en plus limite considérablement une recherche qui porte sur des pratiques « secrètes » ou moralement dévalorisées. Cette communication montrera la nécessité de se départir de cette éthique institutionnalisée, au profit d’une éthique personnelle.

Abstract Connell and Hunt’s critique (2010) raises important questions and concerns about human papillomavirus (HPV) vaccination in Canada. We offer a public health perspective on several key issues, including the merits of implementing population-based HPV vaccination programs in Canada; the time-sensitivity of HPV vaccination; and, the non-judgmental approach to sexual health promotion for youth championed by Canadian public health organizations. Résumé La critique de Connell et Hunt (2010) soulève d'importantes questions et préoccupations concernant la vaccination contre le virus du papillome humain (VPH) au Canada. Nous offrons une perspective de santé publique sur quelques questions clés, y compris la raisonnement pour des programmes systématiques de vaccination contre le VPH au Canada, la sensibilité au temps de la vaccination HPV, et l'approche non moralisateur àla promotion de la santé sexuelle pour les jeunes adoptés par les agences de santé publique canadiennes.

Un débat est présentement en cours sur l’opportunité ou non d’établir des liens entre l’éthique et les neurosciences. À première vue, cette proposition remet en question une conception traditionnelle de l’éthique qui se distingue des sciences empiriques. Elle semble, entre autres, suggérer une façon déterministe et réductionniste de voir l’éthique. Nous soutenons dans cet article que, contrairement à ce que laissent entendre certaines critiques, les neurosciences peuvent être pertinentes pour l’éthique. Cinq arguments contre l’apport des neurosciences en éthique sont présentés et discutés (déterminisme, paralogisme naturaliste, dualisme, réductionnisme et hégémonie de l’objectivité). Nous soutenons que ces arguments n’impliquent pas l’impossibilité d’intégrer les neurosciences en éthique, sinon qu’ils suggèrent des façons plus nuancées de le faire. Suivant cette discussion, nous présentons une approche neurophilosophique émergentiste et interdisciplinaire qui se distingue de la « neurophilosophie de l’éthique » proposée par Patricia Churchland. Nous enchaînons ensuite avec la présentation d’un secteur de recherche en neurosciences (neurosciences du raisonnement moral et des émotions morales) qui illustrent l’intérêt de l’approche proposée. L’article conclut en présentant quelques commentaires critiques.

La << nouvelle rhetorique >> de chaim perelman vise a renouer le lien du discours persuasif et de la raison. Si elle va a rebours de la tradition de pensee platonicienne et cartesienne, elle ne preconise cependant ni de revenir aux sophistes, ni de limiter la rhetorique a l'etude des << tropes >> developpee par du marsais au 18eme siecle. Centree sur l'argumentation, elle puise sa source dans la rhetorique d'aristote. Mais il ne s'agit pas seulement de reactualiser un texte repute mineur de l'oeuvre du stagirite. La pensee de perelman s'est constituee sur le terrain de la philosophie du droit, par le double refus du jusnaturalisme (antique ou moderne) et du normativisme de kelsen. Elle s'approfondit par la critique des conceptions metaphysique et sophistique de la raison, presupposant toutes deux le dualisme de la raison et de la volonte. Cette critique donne a perelman l'occasion de redecouvrir, dans la sociologie morale de dupreel, une theorie non reductrice de la genese conventionnelle de la raison. Mais c'est l'influence de frege qui est la plus determinante : comme ce dernier a mis en evidence le sens logique et les normes de validite du raisonnement demonstratif, de meme perelman se propose d'expliciter le sens rhetorique et les conditions de validite du raisonnement argumentatif. Au modele mathematique de rationalite gouvernant le champ de la raison theorique on peut alors opposer un modele jurisprudentiel, specifique de celui de la raison pratique. Si cette opposition inaugure un nouveau dualisme, ce n'est qu'au sens methodologique : la << regle de justice >> qui prevautdans le champ argumentatif concerne les premisses du raisonnement normatif, non sa forme deductive qui, comme telle, releve de la logique. Il s'agit donc de faire valoir une exigence supplementaire de normativite, dont temoigne exemplairement le debat de perelman avec la logique deontique de kalinowski. Telle est la tache du philosophe, dont le discours s'adresse a l' << auditoire universel >>.

Ces recherches se situent à la convergence de deux grands courants théoriques : • la comparaison sociale et plus précisément, la comparaison égocentrique,• le jugement de responsabilité (intention, responsabilité, culpabilité et sanction), plus particulièrement la relation entre l’intention et la sanction d’une part et entre la responsabilité et la sanction d’autre part.Il s’agit d’études quasi-expérimentales dans le cadre d’un jugement spontané, à partir de la lecture d’un fait divers entrainant des conséquences graves et dont l’intention de l’auteur n’est pas évidente.Les objectifs sont les suivants : • appliquer la théorie de la comparaison égocentrique (Dunning, 1996) à un jugement judiciaire, • explorer l’influence de la similarité objective, manipulée, et plus particulièrement celle de la similarité subjective, déclarée, sur les décisions (attribution d’intention, responsabilité, culpabilité et sanction) et les processus de jugement,• confirmer l’existence d’un processus de jugement inversé, dit justificatif (Oberlé et Gosling 2003) n’utilisant pas l’intention ou la responsabilité comme des préalables à la sanction mais comme justifications d’une sanction donnée a priori.Les résultats montrent que :• la similarité provoquée par le scenario expérimental ne suffit pas à engendrer un effet sur les décisions de jugement, seule la similarité subjective peut diminuer les attributions d’intention, de responsabilité ou le niveau de sanction,• l’existence de deux processus justificatifs est confirmée ; la similarité subjective révèle celui par l’intention, la similarité manipulée révèle celui par la responsabilité,• un élément subjectif peut favoriser un processus considéré comme « rationnel »
This research stands at the confluence of two main theoretical fields:• social comparison, and more specifically, the egocentric comparison between one judge and his target;• judgment of responsibility (intention, responsibility, guilt and sanction) and more particularly the relationship between intention and sanction on the one hand, and between responsibility and sanction on the other.Of consideration here are quasi-experimental studies within the specific context of spontaneous decision, reading a news item describing an event causing serious outcomes and for which the author’s intention is not easily discernable.The objectives are :• to apply the theory of egocentric comparison (Dunning, 1996) to a judicial judgment,• to explore the influence of objective similarity, when controlled, and more specifically the influence of subjective similarity, as declared, on the decisions (attribution of intention, responsibility, guilt and sanction) and on the judgment processes;• to confirm the presence of a “justificative model” (Oberlé & Gosling, 2003) which does not consider intention nor responsibility as sanction perequisites but rather as justifications of an ex-ante sanction attribution.Our results demonstrate that :• when experimentally induced, the similarity does not suffice to trigger an effect on the decisions, sole the perceived similarity is able to lessen either the attributions of intention, responsibility or the sanction level;• the existence of two justificative model is ascertained : while the subjective similarity reveals the process by intention, the controlled similarity brings the process by responsibility to light;• a subjective component can foster a process considered as “rational”

Les travaux présentés dans cette thèse s'intéressent à l'intime relation entre la rationalité de l'homme et sa conscience de la mort. Ils utilisent conjointement deux théories, la Théorie de la Gestion de la Terreur, et la théorie Dual-Process de la pensée. La Théorie de la Gestion de la Terreur décrit les mécanismes qui se déclenchent lorsque des pensées liées à notre propre mort sont activées. De façon importante, ces mécanismes consomment des ressources mentales que la théorie Dual-Process identifie comme nécessaires à la pensée rationnelle. Sommes-nous dès lors capables de raisonner de manière rationnelle lorsque nous pensons à notre propre mort ? En d'autres termes, pouvons-nous utiliser correctement notre capacité analytique lorsque des pensées liées à notre propre mort sont conscientes ? Les personnes ayant de grandes capacités cognitives sont elles mieux armées pour penser à la mort ? Quel est le réel impact des pensées de mort sur notre raisonnement, mais aussi sur nos jugements et décisions ? Nous cherchons à répondre à ces questions dans différents domaines de la pensée : les inférences logiques, les décisions stratégiques, et le jugement moral. Différents protocoles expérimentaux sont mis en œuvre dans le but d'explorer de manière exhaustive l'influence des pensées de mort lorsque nous devons utiliser ces hautes fonctions cognitives. Les résultats mettent en lumière de sinistres, mais fascinants effets et ce sur toutes nos activités nécessitant des ressources cognitives. De manière générale, les participants qui ont pensé à leur propre mort semblent ne plus avoir accès à leurs ressources cognitives et montrent par conséquent des comportements moins élaborés, intuitifs et heuristiques, au détriment des règles normatives de raisonnement. Ces découvertes laissent apparaître un étrange paradoxe en termes d'évolution et d'adaptation puisque nos capacités analytiques semblent finalement nous servir à oublier ce qu'elles nous ont justement fait découvrir.

Dans le champ du raisonnement, les théories du double processus sont largement reconnues comme expliquant différents phénomènes, tels que les biais décisionnels et le raisonnement moral ou coopératif. Ces théories conçoivent le mode de pensée de l'homme comme une interaction entre un système rapide, automatique et intuitif (Système 1) et un système plus lent et contrôlé (Système 2). Le point de vue dominant sur les double processus et le modèle default-interventionist qui suppose l'existence d'une interaction sérielle entre ces systèmes. Ainsi, quand quelqu'un est affronté à un problème de raisonnement, la réponse de Système 1 se forme initialement. Puis, le Système 2 peut être impliqué dans le processus. Les théories du double processus dominantes postulent que les biais de raisonnement sont le résultat d'une réponse intuitive erronée du Système 1. Selon ces théories le Système 1 est capable de générer des réponses basées sur les indices « heuristiques », tels que les stéréotypes - mais il ne peut pas rendre compte des principes logico-mathématiques. Malgré la grande reconnaissante qu'elle a reçu, cette théorie contient une présomption jamais testée, notamment la présomption « corrective ». Celle-ci postule que dans les situations où les indices heuristiques sont en conflit avec les principes logico-mathématiques, le Système 2 devient obligatoirement impliqué afin de corriger la réponse erronée de Système 1 et ainsi arrive à une réponse utilisant les principes logiques. Il semble donc crucial de tester cette présomption, qui est la question centrale de cette thèse. Dans l’Étude 1, j'ai utilisé des versions modifiées du paradigme de deux réponses afin de tester la présomption corrective utilisant deux problèmes classiques du raisonnement (problèmes de taux de base et de raisonnement syllogistique). Dans ce paradigme, les participants résolvent la même tâche deux fois. D'abord, ils doivent donner une réponse très rapidement. Après, ils font face à la même tâche sans contrainte temporelle. Afin de vérifier que la première réponse est intuitive, on a employé quatre méthodes : des instructions, une charge concomitante, un temps limite de réponse, ainsi que la charge concomitante et le temps limite simultanément. La théorie du double processus prédit que les réponses logiquement correctes n'apparaissent que dans l'étape finale. A contrario, j'ai trouvé que la plupart des participants ayant donné la bonne réponse à l'étape finale l'avaient déjà donnée lors de la phase initiale. Cet effet était présent dans toutes les procédures expérimentales et dans les 2 problèmes de raisonnement. Dans l’Étude 2, j'ai testé la même présomption avec un problème de raisonnement plus difficile, le problème de la « batte-et-balle ». J'ai conduit 7 expériences avec le paradigme de deux réponses et j'ai trouvé que les personnes ayant donné la réponse correcte à la fin l'ont déjà générée lors de la réponse initiale - donc, il semblerait que les participants l'ont fait intuitivement. Ces résultats m'ont amené à réviser le cadre default-interventionist et à proposer une théorie du double processus hybride qui suppose que le Système 1 génère deux différentes réponses intuitives dont une basée sur les principes logico-mathématiques. Ces réponses possèdent une force équivoque au début - celle qui gagnera plus en force sera donnée comme la réponse initiale. J'ai testé les prédictions dérivées de ce modèle via l’Étude 3. Grâce l’Étude 4, j'ai mis au point le modèle hybride en testant les changements de force des réponses intuitives au cours du temps. Au cours de l’Étude 5, j'ai commencé à tester la possibilité de généraliser ce modèle hybride et j'ai étudié si les patterns de réponse étaient similaires lorsque les participants répondent à des dilemmes moraux. Dans l’Étude 6, j'ai utilisé l'EEG afin de retrouver les corrélats neuronaux du traitement logique précoce au cours du raisonnement
Dual-process theories of reasoning have become widely recognized as an explanation for various phenomena, such as thinking biases, moral or cooperative reasoning. Dual-process theory conceives human thinking as the interaction of a fast, more automatic, intuitive system (System 1) and a slower, controlled, more deliberative one (System 2). Arguably, the most dominant view on dual processes is the default-interventionist model. This posits a serial interaction between the two systems. When someone is faced with a reasoning problem, initially a System 1 intuitive response is formed. Then, afterwards, System 2 might get engaged in the process. Prominent dual-process theorists argue that reasoning bias occurs as a result of erroneous System 1 intuition. System 1 is thought to be able to generate responses based on "heuristic" cues, such as stereotypes - and cannot account for logico-mathematical principles. Despite its huge recognition, this theory comes with an untested assumption: the corrective (time-course) assumption. This posits that in cases when heuristic cues are in conflict with logico-mathematical principles, System 2 needs to engage in order to correct initially formed System 1 intuitions, and form a judgement based on logical principles. Testing this assumption is inevitably important and the central question of this thesis. In Study 1, I used four modified versions of the two-response paradigm to test the corrective assumption with two different classical reasoning problems (base rate problems, syllogistic reasoning). In this paradigm, people are presented with the same problem twice. First, they are asked to give an initial, very quick response. After, they are presented with the same problem again and asked to give a final response without any constraints. To make sure that the initial response is really intuitive, we applied four different procedures: instructions, concurrent load, response deadline and load plus deadline. Dual process theory predicts that logically correct responses appear only at the final response stage. Surprisingly, I found that the majority of people who gave the logically correct response in the final response stage already gave it form the beginning. This effect was found to be consistent among all experimental procedures and both reasoning problems. In Study 2, I tried to test the same assumption, with a different -harder- reasoning problem, the bat-and-ball problem. Interestingly, I ran 7 experiments with the two-response paradigm and consistently found that correct reasoners are often able to generate the correct response from the beginning, so-to-say, intuitively. These results forced me to revise the default-interventionist framework and propose the hybrid dual process model. This model now argues that System 1 generates two kinds of intuitive responses one of which is based on mathematico-logical principles. These responses are generated with unequal strength - the one which gains the more strength will be given as the initial response. In Study 3, I directly tested predictions derived from this model. In Study 4, I further developed the hybrid model by testing the changes in the strength of intuitive responses over time. In Study 5, I started to test the hybrid model's domain generality, and test if I find similar patterns of responses when people are faced with moral dilemmas. In Study 6, I used EEG to search for the neural correlates of early logical processing in reasoning. Overall, this thesis found evidence that forces us to revise the traditional dual process view on human reasoning

Dans le cadre de l’exercice de leur profession, les auditeurs sont confrontés à des situations impliquant des dilemmes éthiques.Nous nous demandons si une formation peut influencer le raisonnement éthique de l’auditeur et sa perception d’un dilemme.Pour cela, nous avons procédé à une expérimentation afin de déterminer si un cours d’éthique avait une influence sur le processus de raisonnement éthique et la perception de l’intensité morale des dilemmes éthiques.Les résultats montrent que la formation augmente la capacité à identifier un dilemme éthique, mais semble en limiter l’intensité perçue. D’autre part, de façon contre-intuitive, la formation semble diminuer l’intention d’agir strictement de manière déontologique, au profit d’une action plus en adéquation avec l’éthique personnelle de l’auditeur.Une étude qualitative fondée sur des entretiens semi-directifs auprès d’auditeurs expérimentés conforte ces résultats. Les discussions avec les supérieurs hiérarchiques ou avec les pairs et l’expérience constituent des modes d’apprentissage complémentaires aux formations théoriques qui influencent l’intention éthique des auditeurs en les éloignant parfois d’une réponse strictement conforme aux règles de droit
As part of the exercise of their profession, auditors are confronted with situations involving ethical dilemmas. We wonder if training can influence his or her ethical reasoning and the perception of the dilemma. Therefore, we conducted an experiment to determine if an ethics course had an influence on their ethical reasoning process and their perception of the moral intensity of ethical issues. The results show that training increases the ability to identify an ethical dilemma, but seems to limit its perceived intensity. On the other hand, counter-intuitively, training appears to decrease the intention to act strictly in accordance with deontological codes, in favor of an action more consistent with the personal ethics of the auditor. A qualitative study based on semi-directive interviews with experienced auditors supports these results. Discussions with supervisors or with peers and experience are ways of learning that complement theoretical training and influence the ethical intent of auditors, sometimes moving them away from a response that is strictly in accordance with the rules of law

Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modéles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de nœuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les nœuds ayant un nombre limité de nœuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues sans comptage déjà considérés comme des constructions fondamentales dans les langages de programmation et les systèmes de type pour XML. Un des défis majeurs en programmation XML consiste à développer des techniques automatisées permettant d'assurer statiquement un typage correct et des optimisations de programmes manipulant les données XML. À cette fin, il est nécessaire de résoudre certaines tâches de raisonnement qui impliquent des constructions telles que les types et les expressions XPath avec des contraintes de comptage. Dans un futur proche, les compilateurs de programmes XML devront résoudre des problèmes de base tels que le sous-typage afin de s'assurer au moment de la compilation qu'un programme ne pourra jamais générer de documents non valides à l'exécution. Cette thèse étudie les logiques capables d'exprimer des contraintes de comptage sur les structures d'arbres. Il a été montré récemment que le mu-calcul sur les graphes, lorsqu'il est étendu à des contraintes de comptage portant exclusivement sur les nœuds successeurs immédiats est indécidable. Dans cette thèse, nous montrons que, sur les arbres finis, la logique avec contraintes de comptage est décidable en temps exponentiel. En outre, cette logique fournit des opérateurs de comptage selon des chemins plus généraux. En effet, la logique peut exprimer des contraintes numériques sur le nombre de nœuds descendants ou même ascendants. Nous présentons également des traductions linéaires d'expressions XPath et de types XML comportant des contraintes de comptage dans la logique.

La thèse présentée ici soulève la difficulté pour les professionnels du soin, du management du soin, de la formation au soin, d’ajuster leur action quotidienne au plus près des besoins du patient, du soignant encadré, de l’étudiant infirmier. Il se pourrait que la raison sensible, mieux reconnue et valorisée, participe de cet ajustement. Intimement imbriquée dans un raisonnement plus formel, et attentive aux messages émotionnels réciproques, elle permettrait d’affiner la compréhension d’une situation singulière, entraînant le professionnel vers un art de l’agir soignant. L’enquête réalisée recueille ces indices favorables à la justesse de l’agir, engageant à étudier la manière de soutenir un tel processus. Ainsi le formateur en soins infirmiers a peut-être à orienter sa posture pédagogique et sa conception de l’ingénierie, vers la transmission au futur infirmier en construction, de cette approche sensible du soin
The thesis presented here raises the difficulty for professionals of care, management of care, training to care, to adjust their daily action as close to the needs of the patient, the supervised caregiver, the nursing student. It may be that sensible reason, better recognized and valued, is part of this adjustment. Intimately intertwined in a more formal reasoning, and attentive to reciprocal emotional messages, it would help to refine the understanding of a singular situation, leading the professional towards an art of caregiving. The survey carried out gathers these indices favorable to the correctness of the action, committing to study how to support such a process. Thus the nursing trainer may have to orient his pedagogical posture and his conception of engineering, towards the transmission to the future nurse under construction, of this sensitive approach of care

Le concept de confiance est un concept sociocognitif qui adresse la question de l'interaction dans les systèmes concurrents. Quand la complexité d'un système informatique prohibe l'utilisation de solutions traditionnelles de sécurité informatique en amont du processus de développement (solutions dites de type dur), la confiance est un concept candidat, pour le développement de systèmes d'aide à l'interaction. Dans cette thèse, notre but majeur est de présenter une vue d'ensemble de la discipline de la modélisation de la confiance dans les systèmes informatiques, et de proposer quelques modèles logiques pour le développement de module de confiance. Nous adoptons comme contexte applicatif majeur, les applications basées sur les architectures orientées services, qui sont utilisées pour modéliser des systèmes ouverts telle que les applications web. Nous utiliserons pour cela une abstraction qui modélisera ce genre de systèmes comme des systèmes multi-agents. Notre travail est divisé en trois parties, la première propose une étude de la discipline, nous y présentons les pratiques utilisées par les chercheurs et les praticiens de la confiance pour modéliser et utiliser ce concept dans différents systèmes, cette analyse nous permet de définir un certain nombre de points critiques, que la discipline doit aborder pour se développer. La deuxième partie de notre travail présente notre premier modèle de confiance. Cette première solution basée sur un formalisme logique (logique dynamique épistémique), démarre d'une interprétation de la confiance comme une croyance sociocognitive, ce modèle présentera une première modélisation de la confiance. Apres avoir prouvé la décidabilité de notre formalisme. Nous proposons une méthodologie pour inférer la confiance en des actions complexes : à partir de notre confiance dans des actions atomiques, nous illustrons ensuite comment notre solution peut être mise en pratique dans un cas d'utilisation basée sur la combinaison de service dans les architectures orientées services. La dernière partie de notre travail consiste en un modèle de confiance, où cette notion sera perçue comme une spécialisation du raisonnement causal tel qu'implémenté dans le formalisme des règles de production. Après avoir adapté ce formalisme au cas épistémique, nous décrivons trois modèles basés sur l'idée d'associer la confiance au raisonnement non monotone. Ces trois modèles permettent respectivement d'étudier comment la confiance est générée, comment elle-même génère les croyances d'un agent et finalement, sa relation avec son contexte d'utilisation
The concept of trust is a socio-cognitive concept that plays an important role in representing interactions within concurrent systems. When the complexity of a computational system and its unpredictability makes standard security solutions (commonly called hard security solutions) inapplicable, computational trust is one of the most useful concepts to design protocols of interaction. In this work, our main objective is to present a prospective survey of the field of study of computational trust. We will also present two trust models, based on logical formalisms, and show how they can be studied and used. While trying to stay general in our study, we use service-oriented architecture paradigm as a context of study when examples are needed. Our work is subdivided into three chapters. The first chapter presents a general view of the computational trust studies. Our approach is to present trust studies in three main steps. Introducing trust theories as first attempts to grasp notions linked to the concept of trust, fields of application, that explicit the uses that are traditionally associated to computational trust, and finally trust models, as an instantiation of a trust theory, w.r.t. some formal framework. Our survey ends with a set of issues that we deem important to deal with in priority in order to help the advancement of the field. The next two chapters present two models of trust. Our first model is an instantiation of Castelfranchi & Falcone's socio-cognitive trust theory. Our model is implemented using a Dynamic Epistemic Logic that we propose. The main originality of our solution is the fact that our trust definition extends the original model to complex action (programs, composed services, etc.) and the use of authored assignment as a special kind of atomic actions. The use of our model is then illustrated in a case study related to service-oriented architecture. Our second model extends our socio-cognitive definition to an abductive framework that allows us to associate trust to explanations. Our framework is an adaptation of Bochman's production relations to the epistemic case. Since Bochman approach was initially proposed to study causality, our definition of trust in this second model presents trust as a special case of causal reasoning, applied to a social context. We end our manuscript with a conclusion that presents how we would like to extend our work

Cette thèse s’inscrit dans le cadre du projet ANR eThicAa, dont les ambitions ont été : de définir ce que sont des agents autonomes éthiques, de produire des représentations formelles des conflits éthiques et de leurs objets (au sein d’un seul agent autonome, entre un agent autonome et le système auquel il appartient, entre un agent autonome et un humain, entre plusieurs agents autonomes) et d’élaborer des algorithmes d’explication pour les utilisateurs humains. L’objet de la thèse plus particulièrement a été d’étudier la modélisation de conflits éthiques au sein d’un seul agent, ainsi que la production d’algorithmes explicatifs. Ainsi, le travail présenté ici décrit l’utilisation de langages de haut niveau dans la conception d’agents autonomes éthiques. Il propose un cadre logique nouveau et modulaire pour représenter et raisonner sur une variété de théories éthiques, sur la base d’une version modifiée du calcul des événements, implémentée en Answer Set Programming. Le processus de prise de décision éthique est conçu comme une procédure en plusieurs étapes, capturée par quatre types de modèles interdépendants qui permettent à l’agent d’évaluer son environnement, de raisonner sur sa responsabilité et de faire des choix éthiquement informés. En particulier, un modèle d’action permet à l’agent de représenter des scénarios et les changements qui s’y déroulent, un modèle causal piste les conséquences des décisions prises dans les scénarios, rendant possible un raisonnement sur la responsabilité et l’imputabilité des agents, un modèle du Bien donne une appréciation de la valeur éthique intrinsèque de finalités ou d’évènements, un modèle du Juste détermine les décisions acceptables selon des circonstances données. Le modèle causal joue ici un rôle central, car il permet d’identifier des propriétés que supposent les relations causales et qui déterminent comment et dans quelle mesure il est possible d’en inférer des attributions de responsabilité. Notre ambition est double. Tout d’abord, elle est de permettre la représentation systématique d’un nombre illimité de processus de raisonnements éthiques, à travers un cadre adaptable et extensible en vertu de sa hiérarchisation et de sa syntaxe standardisée. Deuxièmement, elle est d’éviter l’écueil de certains travaux d’éthique computationnelle qui directement intègrent l’information morale dans l’engin de raisonnement général sans l’expliciter – alimentant ainsi les agents avec des réponses atomiques qui ne représentent pas la dynamique sous-jacente. Nous visons à déplacer de manière globale le fardeau du raisonnement moral du programmeur vers le programme lui-même
This thesis is part of the ANR eThicAa project, which has aimed to define moral autonomous agents, provide a formal representation of ethical conflicts and of their objects (within one artificial moral agent, between an artificial moral agent and the rules of the system it belongs to, between an artificial moral agent and a human operator, between several artificial moral agents), and design explanation algorithms for the human user. The particular focus of the thesis pertains to exploring ethical conflicts within a single agent, as well as designing explanation algorithms. The work presented here investigates the use of high-level action languages for designing such ethically constrained autonomous agents. It proposes a novel and modular logic-based framework for representing and reasoning over a variety of ethical theories, based on a modified version of the event calculus and implemented in Answer Set Programming. The ethical decision-making process is conceived of as a multi-step procedure captured by four types of interdependent models which allow the agent to represent situations, reason over accountability and make ethically informed choices. More precisely, an action model enables the agent to appraise its environment and the changes that take place in it, a causal model tracks agent responsibility, a model of the Good makes a claim about the intrinsic value of goals or events, and a model of the Right considers what an agent should do, or is most justified in doing, given the circumstances of its actions. The causalmodel plays a central role here, because it permits identifying some properties that causal relations assume and that determine how, as well as to what extent, we may ascribe ethical responsibility on their basis. The overarching ambition of the presented research is twofold. First, to allow the systematic representation of an unbounded number of ethical reasoning processes, through a framework that is adaptable and extensible by virtue of its designed hierarchisation and standard syntax. Second, to avoid the pitfall of some works in current computational ethics that too readily embed moralinformation within computational engines, thereby feeding agents with atomic answers that fail to truly represent underlying dynamics. We aim instead to comprehensively displace the burden of moral reasoning from the programmer to the program itself