Academic literature on the topic 'Cadre logique'

Notre article ambitionne de montrer, d’une part, la prééminence du paradigme interactif comme élément déterminant dans le processus de constitution de la signification logique et, d’autre part, de scruter les contenus des expressions linguistiques des sémantiques pragmatiques.Pour ce faire, nous exposons trois grandes figures de la logique d’obédience mathématique notamment celles de Gottfreid Leibniz, George Boole et Gottlob Frege. Si cette approche de la logique mathématique a connu des progrès méritoires, il faut signaler qu’elle ne favorise pas la mise en exergue des aspects épistémiques et interactifs dans les notions de conséquences logiques et d’inférence.Notre contribution vise donc à démontrer que ces faiblesses peuvent être solutionnées avec l’approche révolutionnaire de Robert Brandom basée sur le cadre qui promotionne le jeu interactif de l’offre et de la demande des raisons. Cette analyse aboutit, ainsi, à l’idée que le jeu interactif est le socle des approches logiques contemporaines.

Dans cet article je presente les fondements de la logique intuitioniste basee sur la logique lineair. Traditionnellement, la logique intuitioniste est concideree comme etant en disaccord avec les lois fondamentales de la logique classique sur la dualite, comme le tiers-exclu, les lois de Morgan, l'elimination de la double negation, etc. Je propose l'idee suivante, la logique lineaire (classique) est essentiellement la logique intuitioniste, et en raison de 1'utilisation de la dualite classique dans la logique lineaire, la logique intuitioniste est en fait compatible avec la dualite classique, au niveau le plus fondamental. La notion essentielle dans cette analyse est la notion de modalite, "necessairement toujours constructible", presente en logique lineaire. Cette notion joue un role d'objectivisation dans le cadre de la semantique, qui relie logique lineaire et logique intuitioniste.

La logique dialogique ordinaire propose un traitement de la mémoire sous la forme d'un historique des dialogues. Rechercher une référence (la justification) dans cet historique est un processus ambiguë en cas de répétition, ce qui peut rendre complexes ou impossibles les questions de composition de dialogue. Ainsi, deux recherches de justification peuvent se superposer en une double justification problématique. De plus, ce traitement de la mémoire coûte techniquement beaucoup de ressources.Nous proposons un formalisme de la dialogique qui résout ces problèmes: double-justification, composition, économie de mémoire. Pour ce faire, nous internaliserons des règles analysées comme "spéciales", reconfigurant en grande partie le formalisme et à sa suite les notions philosophiques voire métaphysiques mises en jeu dans ce système logique et dans ses interprétations.Cet article se découpe en trois parties :Une présentation du cadre dialogique orientée vers la présentation du problème de la double justification.Une ré-interprétation de ce cadre en termes de matrices : les formules logiques calquées sur la lecture linguistico-mathématique du langage sont remplacées par un concept emprunté à la game semantic, celui de position (sous la forme de matrices de formules).Une brève synthèse des nouvelles perspectives offertes par cette méthode : réaffirmation de la séparation claire entre les différents niveaux d'analyse et économie sur la quantité de mémoire requise (payée en complexité).

Foundations of Illocutionary Logic (FIL) de John Searle et Daniel Vanderveken constitue, à ma connaissance, la première suggestion sérieuse d'un cadre formel destiné à l'élaboration d'une logique de l'illocutoire. Les phénomènes illocutoires sont en effet d'une telle com-plexité que, souvent, les schèmes explicatifs proposés n'ont qu'une valeur très locale et ne constituent une explication que pour quelques exemples bien précis, ceux qui justement ont servi de base empirique sur laquelle ces schèmes se sont élaborés. La prévention de FIL est tout autre. On ne saurait en aucun cas faire un reproche de provincialisme aux auteurs dont le but explicite est d'élaborer un véritable cadre théorique général à l'intérieur duquel tous les phénomènes illocutoires pourront trouver une explication.

Afin d’aider les étudiants à prendre consciences de leur montée en compétences, une nouvelle activité d’auto-évaluation pour Moodle est développée. Son utilisation dans le cadre du cours de Logique programmable est présentée.

Une des deux thématiques retenues pour l’organisation de la conférence « Rio+20 » est la réflexion relative à un cadre institutionnel adapté au développement durable. C’est dans cet esprit que nous présentons ce que nous qualifions de «paradigme de la bioéconomie », qui vise à l’insertion de l ’économie au sein de la biosphère à partir des principes d’organisation des systèmes complexes. La ligne directrice indiquant la voie de l’avenir devrait placer au premier rang une rationalité finalisée, soit l’impératif de satisfaction prioritaire des besoins fondamentaux, substituant ainsi à une logique de concurrence une logique de solidarité.

Une entreprise qui souhaite améliorer ses futures conceptions en réutilisant des connaissances acquises dans les conceptions présentes se doit de conserver le produit lui-même, ce qui se fait normalement, mais aussi la logique de conception ayant amené à ce produit, ce qui ne se fait jamais. Cet article présente un cadre formel et un outil pour la prise en compte d'informations portant sur la logique du processus de conception. Ces informations doivent être structurées et organisées pour être utilisées dans des projets de conception futurs et éventuellement pour justifier les décisions prises lors des évolutions futures du projet. Nous examinons tout d’abord le mouvement conjecture-critère sur lequel est basée cette logique de conception et nous montrons qu’il est possible de conserver des informations permettant de tracer cette logique de manière relativement exhaustive. Nous présentons ensuite différents niveaux de représentation de ces informations suivant la réutilisation envisagée. Cette structure est implémentée dans le prototype informatique CALC (Outil d'Aide à la Capitalisation de la Logique de Conception), dont l’usage est discuté.

Même si les difficultés scolaires ne peuvent être isolées de leurs causes et effets sociaux et subjectifs, le décrochage scolaire apparaît comme le fruit d’un processus lent qui trouve son origine dans un décrochage cognitif précoce et se joue dans l’interaction entre les élèves et l’institution scolaire, depuis ses politiques jusqu’à la situation de classe, depuis les interactions avec l’enseignant jusqu’au cadre de travail proposé, tant du point de vue des formes scolaires que des contenus et des formes d’évaluation.

L’objectif de ce travail est de montrer que la politique de transfert de connaissances dans les relations de sous-traitance partenariale peut conduire, sous certaines conditions, à la génération d’innovation de produit. Notre étude empirique à visée exploratoire part d’un cas de PME qui s’est engagée dans une relation d’affaire avec un constructeur automobile durant une période de plus de quinze ans. Cette dynamique relationnelle entre les deux partenaires a engendré la mise en place d’une politique de partage de connaissances et de pratiques managériales. L’analyse des données montre que les deux entreprises ont pu combiner les logiques d’exploitation et d’exploration de connaissances dans le cadre de leur politique de partage de connaissance. Dans ce sens, le donneur d’ordre a mis en place des mécanismes et des outils visant à transférer les pratiques managériales et organisationnelles à son sous-traitant. Aussi, cette politique de partage a généré le développement de nouvelles connaissances qui ont permis au sous-traitant d’inscrire la relation non pas dans une logique de domination qui stipule l’obligation de répondre uniquement aux cahiers de charges conçus unilatéralement par le donneur d’ordre, mais plutôt dans une logique de co-développement.

Cet article porte sur la rationalité judiciaire dans l’appréciation de la preuve, et plus précisément sur la manière par laquelle s’opère la réflexion judiciaire dans l’évaluation de la valeur probante de la preuve sous la forme de récits oraux dans le contentieux relatif aux droits des peuples autochtones. À la lecture de la jurisprudence pertinente, on note qu’une fois admis en preuve, les récits oraux sont tantôt surévalués, tantôt sous-évalués, voire même ignorés, lors de la détermination des faits par le juge. Ces courants jurisprudentiels nous amènent à conclure que la rationalité judiciaire dans l’appréciation de la preuve sous la forme de récits oraux se déploie selon trois logiques : (1) la logique systématique, (2) la logique réconciliatrice et (3) la logique empathique. La découverte de ce triptyque de la rationalité judiciaire dans l’appréciation de la preuve sous la forme de récits oraux nous permet d’apporter un nouvel éclairage sur la complexité de l’acte de juger dans le cadre de litiges mettant en jeu un droit visé par le paragraphe 35(1) de la Loi constitutionnelle de 1982. Cette analyse jette la lumière sur le fait que la démarche d’appréciation de la preuve dans le contentieux relatif aux droits des peuples autochtones est encore largement expérimentale et vient valider empiriquement l’assertion de la Cour suprême du Canada selon laquelle la résolution des revendications autochtones entraîne le droit, et donc le juge, dans les univers mal balisés de l’histoire, des légendes, de la politique et des obligations morales.

L'idée de l'argumentation est de rechercher dans une base de connaissances, pour chaque proposition dont on souhaite évaluer la validité, les raisons qui étayent cette proposition et celles qui l'infirment. Un argument est alors entendu comme une paire comprenant une proposition et les raisons qui la justifient. Notre propos est d'offrir des outils formels pour la génération automatique d'arguments par deux agents en situation de dialogue. Ces outils reposent sur les X-logiques, formalisme non-monotone proposé en 1996 par Siegel et Forget et déterminant un cadre fondateur autour de la notion de preuve pour le raisonnement non-monotone. En particulier l'ensemble X servant à paramétrer la relation d'inférence confère une souplesse inégalée à la gestion dynamique des arguments. Après un tour d'horizon des travaux passés en matière de représentations logiques pour l'argumentation, nous introduisons les X-logiques, à partir desquelles est composée la notion d'attitude d'un agent par rapport à une formule. Nous définissons ensuite des opérateurs de confrontation qui permettent d'associer des ensembles de formules aux attitudes d'un agent. Le concept de réponse d'un agent à un ensemble de formules est alors élaboré en tant que motivation de l'attitude de cet agent vis-à-vis de l'ensemble en question. Plusieurs formes de réponses sont distinguées parmi lesquelles les notions de réponse pertinente ou encore de mensonge. Une réponse représente les raisons qui justifient la conclusion d'un argument : c'est à partir du calcul de ces réponses que nous exhibons une procédure de génération automatique d'arguments. Enfin nous montrons que notre cadre argumentatif permet de générer les contre-arguments conservatifs maximaux de Besnard et Hunter (2001), arguments retenus pour leur pertinence.

Ce travail propose un cadre formel general pour l'etude de backtracking intelligent en programmation logique. On expose d'abord un algorithme d'unification etendue permettant de connaitre l'historique des liaisons en associant un graphe a un systeme d'equations. L'unifiabilite de celui-ci se caracterise par des proprietes simples de ce graphe. En particulier, on peut determiner les causes de non-unifiabilite. L'exploitation de cette information est a la base du schema de backtracking intelligent presente ensuite. Celui-ci procede de trois alternatives: ordre partiel ou total sur les nuds de l'arbre de preuve, analyse plus ou moins fine des causes de non-unifiabilite, generation parallele ou sequentielle des points de backtracking. On etablit la completude des calculs intelligents que ce schema definit par rapport aux calculs exhaustifs comparables. On retrouve comme instances particulieres du schema les differentes methodes existantes. On s'interesse alors a l'instance la plus proche de prolog, c'est-a-dire celle qui utilise un ordre total (lexicographique), une analyse sommaire de non-unifiabilite et une generation sequentielle des points de backtracking, la conjonction de ces choix engendrant des simplifications importantes. Finalement, cette methode est encore simplifiee en vue d'une implementation, aux depens de l'intelligence du backtracking cette fois-ci

La thèse décrit l'étude et l'implantation du langage ELAN qui permet de spécifier, sur une base uniforme de systèmes de calcul, différents langages de programmation logique et différents résolveurs de contraintes. ELAN est basé sur l'idée que la sémantique opérationnelle de langages de programmation logique dans le sens général du terme et la résolution de contraintes peuvent être décrites d'une façon uniforme en donnant la syntaxe des formules, l'ensemble des axiomes et l'ensemble des règles de déduction. Les deux processus peuvent être vus comme l'instance du meme schéma d'application des règles de réécriture (de déduction) sur des formules, suivant une stratégie permettant l'obtention d'une forme spéciale. La logique de réécriture, introduite par Jose Meseguer, peut être ainsi utilisée pour coder différentes logiques intéressantes. Afin de pouvoir spécifier des procédures de résolution, la thèse présente une notion de stratégie, obtenant ainsi des systèmes de calcul. Un système de calcul est alors défini par une signature décrivant la syntaxe, un ensemble de règles de réécriture définissant le mécanisme de déduction et une stratégie qui guide l'application des règles. La thèse décrit également l'implantation d'ELAN et quelques exemples de procédures de résolution réalises avec cette implantation, en particulier la sld-resolution, la surréduction, la surréduction basique, la surréduction paresseuse et l'unification syntaxique et commutative

Cette thèse propose un cadre de programmation hybride fondé sur la programmation logique (PL) et la programmation orientée objet (POO), et étendu par la résolution des contraintes linéaires en nombres naturels. Le langage LOP associé à ce cadre offre une programmation pouvant être statique ou dynamique, déclarative ou procédurale. Le système proposé se compose d'une hiérarchie à trois niveaux de programmation permettant une fusion progressive et non limitative de la PL et de la POO. Chacun de ces niveaux privilégie une facette du mariage de ces deux paradigmes. Le niveau de base, appelé NPO, propose une programmation par objets logiques statiques. Il préserve les avantages de la programmation en Prolog pur, tout en améliorant la structuration des programmes. Le second niveau, appelé NP1, est une extension de NPO par des aspects dynamiques de la POO adaptés à l'esprit de la programmation déclarative. NP1 propose une programmation à la fois dynamique et déclarative par objets logiques multi-états et par méthodes logiques multi-définitions. Le dernier niveau, appelé NP2, intègre des mécanismes de programmation qui sortent du cadre déclaratif fixe au niveau NP1. D'une part, il complète NP1 par des mécanismes de contrôle, nécessaire à la réalisation d'un grand nombre d'applications. D'autre part, il intègre un nouveau modèle de simulation discrète orientée processus, ou les calculs temporels et la gestion des processus sont effectués par un solveur de contraintes. Le langage LOP et son interpréteur sont entièrement conçus par objets et implantés en clos.

On s'intéresse à la connaissance que l'on peut avoir d'un système en se basant uniquement sur des observations que l'on peut en faire et où certaines informations peuvent rester cachées. On peut structurer ces observations en comparant leur contenu et la quantité d'informations qu'elles fournissent, pour obtenir ce que nous nommons des représentations. On peut de plus étudier les relations existant entre les différentes façons d'observer un même système, pour obtenir certaines fonctions reliant les représentations entre elles. Avec ce formalisme, on se livre à une étude logique du comportement de l'information pour cette approche. Le premier résultat est que l'on se base sur la logique intuitionniste, puisque les propositions que l'on considère expriment des connaissances sûres, et que l'ajout d'information n'en modifie pas la véracité. On étend cette logique en utilisant des opérateurs "modaux" pour symboliser les différentes façons d'observer le système et exprimer le fait qu'une information est accesible ou non depuis le point de vue correspondant. Suivant les contraintes que l'on impose, on obtient plusieurs comportements de ces opérateurs dont découlent plusieurs logiques proches de la logique nommée IS4. Le postulat de base utilisé (on étudie un système en l'observant) est très général. Or, notre étude montre que cela impose une logique relativement faible, puisque ni le tiers-exclus, ni l'axiome modal 5 ne sont vérifiés, et ne peuvent l'être même en ajoutant des hypothèses. Cela signifie que seuls les éléments que l'on manipule, soit les résultats d'observations, sont importants. On est donc obligé de raisonner de façon constructive à partir de ceux-ci et la non observation d'un fait ne permet pas d'en déduire sa négation. Ainsi, les seuls éléments dont il faut tenir compte dans l'observation et l'étude de la nature sont les observations que l'on en fait et toute connaissance s'obtient de façon strictement déductive à partir de celle-ci.

Comment un robot peut-il estimer si une tâche est réalisable ou pas dans un envi ronnement donné ? De nombreux travaux en robotique s'appuient pour répondre sur les affordances de la psychologie écologique. Apprendre quelles sont les actions permises nécessite selon nous d'apprendre les relations de dépendances locales et globales entre capteurs et effecteurs au cours de l'action.
Pour cela nous assimilons le robot à un réseau sensorimoteur aléatoire, et pour représenter son activité nous introduisons des mesures de dépendance probabilist es et statistiques. Celles-ci nous permettent de construire des matrices, graphes et complexes simpliciaux aléatoires dont nous étudions les propriétés spectrales, topologiques et homologiques.
Puis nous vérifions expérimentalement l'intérêt des outils proposés à l'aide d'un robot mobile simulé, autour de la capacité de pousser les objets de l'environnement, dans le cadre de tâches de classification supervisée et non supervisée.

Dans le domaine de la modélisation du raisonnement, plusieurs approches se basent sur les logiques modales qui permettent de formaliser le raisonnement sur des éléments non factuels, comme la croyance, le savoir ou encore la nécessité. Une extension pondérées de ces logiques modales permet de moduler les éléments non factuels qu'elle décrit. En particulier, nous nous intéressons à l'extension pondérée des logiques modales qui permet de formaliser des croyances graduelles : nous traitons des aspects sémantiques et axiomatiques ainsi que des aspects syntaxiques liés à la manipulations de telles croyances modulées. Ainsi, les travaux de cette thèse sont organisés en trois parties. Nous proposons, d'une part, une sémantique proportionnelle qui étend la sémantique de Kripke classiquement utilisée pour les logiques modales ; ainsi qu'une étude des axiomes modaux dans le contexte de cette sémantique des modalités pondérées. D'autre part, nous proposons un modèle ensembliste flou pour représenter et manipuler des degrés de croyances. Enfin, nous mettons en œuvre ces modèles théoriques dans deux applications : un outil de vérification de formules modales pondérées et un joueur artificiel pour le jeu coopératif Hanabi dont la prise de décision repose sur un raisonnement sur ses propres croyances
In the field of reasoning models, many approaches are based on modal logics, which allow to formalise the non-factual reasoning, as belief, knowledge or necessity reasoning. A weighted extension for these modal logics aims at modulating the considered non-factual elements. In particular, we examine the weighted extension of modal logics for graded beliefs: we study their semantical and axiomatical issues related to manipulating such modulated beliefs. Therefore, this thesis works are organised in three parts. We first propose a proportional semantics which extends the Kripke semantics, classically used for modal logics. We also study modal axioms regarding the proposed semantics. Then, we propose a fuzzy set model for representing and manipulating belief degrees. We finally use these two formal models in two different applications: a model checking tool for weighted modal formulae and an artifical player for a cooperative game called Hanabi in which decision making is based on graded belief reasoning

Dans le domaine de la modélisation du raisonnement, plusieurs approches se basent sur les logiques modales qui permettent de formaliser le raisonnement sur des éléments non factuels, comme la croyance, le savoir ou encore la nécessité. Une extension pondérées de ces logiques modales permet de moduler les éléments non factuels qu'elle décrit. En particulier, nous nous intéressons à l'extension pondérée des logiques modales qui permet de formaliser des croyances graduelles : nous traitons des aspects sémantiques et axiomatiques ainsi que des aspects syntaxiques liés à la manipulations de telles croyances modulées. Ainsi, les travaux de cette thèse sont organisés en trois parties. Nous proposons, d'une part, une sémantique proportionnelle qui étend la sémantique de Kripke classiquement utilisée pour les logiques modales ; ainsi qu'une étude des axiomes modaux dans le contexte de cette sémantique des modalités pondérées. D'autre part, nous proposons un modèle ensembliste flou pour représenter et manipuler des degrés de croyances. Enfin, nous mettons en œuvre ces modèles théoriques dans deux applications : un outil de vérification de formules modales pondérées et un joueur artificiel pour le jeu coopératif Hanabi dont la prise de décision repose sur un raisonnement sur ses propres croyances
In the field of reasoning models, many approaches are based on modal logics, which allow to formalise the non-factual reasoning, as belief, knowledge or necessity reasoning. A weighted extension for these modal logics aims at modulating the considered non-factual elements. In particular, we examine the weighted extension of modal logics for graded beliefs: we study their semantical and axiomatical issues related to manipulating such modulated beliefs. Therefore, this thesis works are organised in three parts. We first propose a proportional semantics which extends the Kripke semantics, classically used for modal logics. We also study modal axioms regarding the proposed semantics. Then, we propose a fuzzy set model for representing and manipulating belief degrees. We finally use these two formal models in two different applications: a model checking tool for weighted modal formulae and an artifical player for a cooperative game called Hanabi in which decision making is based on graded belief reasoning

Lorsqu’une entreprise prend la décision stratégique de lancer une nouvelle famille de produits ou de concevoir un produit existant, l’architecte système a pour mission de concevoir ou faire évoluer, en même temps, l’organisation du projet pour la rendre plus performante. Dans ce mémoire, notre objectif est de développer des modèles et méthodes permettant d’aider les architectes système dans cette double activité. Dans le cadre de l’Ingénierie Système, notre méthode se base sur la définition de nos propres concepts d’architecture et de conception modulaire pour les étendre à la définition de l’architecture de l’organisation du projet. Nous proposons ensuite, en cohérence avec notre positionnement, un algorithme de clustering utilisant l’outil DSM comme méthode de représentation, cet algorithme a pour fonction de révéler l’architecture d’un domaine en partant de sa représentation matricielle (DSM). L’application de notre méthode de développement des architectures est liée aux quatre situations de conceptions identifiées. Pour chacune de ces situations, nous proposons une méthode de conception des architectures, faisant appel à un traitement flou et/ou à des opérations matricielles. Chacune de ces situations est ensuite illustrée par une application à la conception d’un moteur thermique de l’industrie automobile. La démarche présentée dans ce chapitre est une vision statique de la conception des architectures. Face à cette vision statique, nous montrons la nécessité de faire « co-évaluer » les architectures couplées. Nous proposons alors l’exploration des incertitudes comme méthode pour suivre l’évolution des systèmes (perturbations) étudiés. Nous développons une méthode basée sur un traitement flou pour faire co-évaluer les architectures perturbées et pour les rendre cohérentes
When a company makes the strategic decision of launching a new product family or redesigning an existing product, the system architect is in charge of designing and making evolve the architecture of this product. The system architect is also the Development Project (DP) manager and thus he is in charge of conceiving or making evolve at the same time the DP organisation (design teams). In this memory, our objective was to develop models and methods making it possible to help the system architects in this double duty. In short, we propose in this work a method for designing both product and organization architectures in the preliminary phases of the DB. In Engineering System context, our method is based on the definition of our own concepts of product architecture and modularity and in their extension to DP organization. We propose then in coherence with our positioning a clustering algorithm using DSM representation tool, the algorithm objective is to reveal project domains architectures starting from their matrix representation (DSM). The use of our method is tightly related to the design situations that the architect can face. In this memory, we identified four of them. For each one of these situations, we propose a method for architectures designing, calling upon a Fuzzy logic treatment. Each one of these situations is then illustrated by an application to the design of a thermal engine in the car industry. The step presented in this chapter is a static vision of the design of architectures. By opposition to this static vision, we show the need for making co-evaluate coupled architectures. We propose then the exploration of uncertainties to model systems evolution. We develop a method based on a fussy treatment to make co-evaluate disturbed architectures in order to obtain coherent ones

L'utilisation d'outils issus de la découverte scientifique computationnelle a montré un effet inattendu de l'interaction avec une machine apprenante : l'apparition d'un jeu dialectique de localisation et de correction d'erreurs, aussi bien dans les règles apprises par la machine que dans l'ontologie é́crite par l'utilisateur. Ces erreurs mettent en é́vidence des biais de modé́lisation ou de mesure, ainsi que des biais liés aux exemples fournis à la machine. C'est en ré́alité ce processus dialectique qui est exploité dans les diffé́rentes applications, et l'apprentissage ne sert finalement qu'à géné́rer des contradictions entre la théorie de la machine et celle de l'utilisateur. Cette constatation m'a incité́ à dé́finir un cadre formel pour cette dialectique. Dans ce contexte, j'ai décidé́ de positionner ce mode d'interaction avec une machine apprenante par rapports aux principaux paradigmes d'apprentissage, afin de déterminer un protocole d'interaction adapté à la dé́couverte scientifique computationnelle, c'est à dire adapté́ à l'apprentissage humain comme à l'apprentissage machine, et tenant compte d'une certaine démarche scientifique. Le protocole d'interaction vers lequel je me suis orienté́ peut être considé́ré́ comme une extension de l'apprentissage par requêtes [Angluin, 1988] proposant une restriction des requêtes d'appartenance à des expé́riences finies, et une distribution des requêtes d'é́quivalence sur une communauté́ d'apprenti. Une fois l'intuition de ce protocole dé́gagé́e, sa dé́finition logique m'a occupé un certain temps,
et je pré́sente dans ce document une dé́finition logique de jugements modaux fondée sur une extension du carré́ des oppositions.

Ce chapitre présente l'utilisation d'une logique calculatoire en biologie des systèmes, comme cadre unifié et sûr, adapté à la fois à la modélisation du comportement des systèmes biologiques et à l'expression et à la vérification de leurs propriétés. Ce chapitre offre une introduction à la logique linéaire ainsi qu'à l'utilisation du système Coq dans notre domaine.

Cette contribution vise à évaluer de façon critique les nouveaux défis liés à la traduction et à l’interprétation (TI) dans une Afrique subsaharienne caractérisée par sa grande diversité linguistique. L’auteur espère identifier et suggérer des méthodologies pouvant être appliquées pour rapprocher cette région du reste du monde. Il identifie, en outre, la nécessité pour l’Afrique subsaharienne de mettre en œuvre des politiques et pratiques qui favorisent le multilinguisme. Elles sont principalement basées sur la pluralité des langues, avec un espace adéquat pour les langues internationales, étant donnée le rôle crucial des parcours scolaires sur ce continent. Dans l’environnement de travail dynamique d’aujourd’hui, différentes institutions reconnaissent le rôle important joué par la TI dans la recherche et le renforcement de l’efficacité des individus comme des organisations. L’auteur s’appuie sur un cadre logique illustrant l’importance de la traduction dans les sphères socioculturelles et linguistiques, pour la production de connaissances sur l’Afrique. Il soutient que la traduction devrait être considérée comme une occasion d’explorer la diversité des possibles dans la littérature africaine. Il conclut en décrivant les méthodes envisageables et les nouvelles orientations.

La course technologique entre puissances, jointe à la volonté de restreindre les dépendances, pousse à dessiner un paysage de coopérations nouveau : focalisation des alliances traditionnelles sur les enjeux technologiques, développement de cadres spécifiques… L’Union européenne, avec sa culture propre, s’intègre désormais dans cette logique. La multiplicité des initiatives, bilatérales, minilatérales, multilatérales, risque cependant de conduire à la fragmentation d’un système mal gouvernable.

Les enjeux et les logiques des transgressions délinquantes et criminelles apparaissent particulièrement au cours du travail thérapeutique en groupe à médiations. Cet article propose d’interroger d’abord la nature des transgressions les plus fréquentes qui se manifestent au sein des groupes thérapeutiques pour patients délinquants et criminels, dans le cadre spécifique de la prison, et leurs modalités de traitement au sein même du cadre thérapeutique, afin de dégager les logiques de ces processus transgressifs. Dans cet objectif, les groupes thérapeutiques d’écriture en prison, puis les groupes thérapeutiques à médiations sensorielles, par exemple médiation olfactive sensorielle ou médiation picturale, permettent de mettre en lumière les principaux processus sous-jacents aux actes des auteurs de transgressions délinquantes et criminelles : les processus de symbolisation mis en œuvre dans les médiations thérapeutiques relèvent essentiellement d’une symbolisation à partir de la sensorimotricité, et ils mobilisent le registre de l’hallucination. À l’appui du constat de l’omniprésence d’une sorte de décomposition de la sensorialité, sous le signe de vécus catastrophiques comme des vécus d’explosion, de mutilation, de vidage, l’hypothèse mise au travail dans cet article est que le transfert de la sensorialité des patients sur un medium sensoriel, présenté par des cliniciens, leur permet d’évoluer de cette sensorialité démantelée et destructive, à une recomposition sensorielle, un remantèlement, une réorganisation du registre sensorimoteur dans le lien au medium malléable.

În prezentul studiu se analizează modul în care Eugen Ionescu urmează modelul Caragiale în special după ce începe să scrie teatru și e obsedat de căutarea unui mecanism complicat al discursului artistic, bazat pe nonsensuri. Dramaturgul francez de origine română făcea în acest sens următoarea automărturisire: „La logique se révèle dans l’illogisme de l’absurd dont [l’humour] a pris conscience”. Teatrul lui Ionescu a urmărit ceea ce dramaturgul însuși denumește „spargerea limbajului”, „producerea haosului limbajului”. Se ajunge, astfel, după cum spune în Jurnal, la „ruinele realului aparent, la frontiera indicibilului, la abis”. Autorul studiului demonstrează că a crea nonsensuri înseamnă a te juca cu realitatea, a o sfida, că Eugen Ionescu, influențat de Caragiale, pune un semn de identitate între Adevăr și Iluzie, că folosește expresii proverbiale, ziceri tipice, alunecări în obscuritate și confuzie. Personajele ionesciene reprezintă „o lume stranie”, „o lume pe dos”.

Introduction u cours des deux derniers millénaires, il y a eu plusieurs façons de conserver, transmettre et même créer la connaissance ; la tradition orale, l’écrit manuscrit, l’écrit imprimé et l’écrit numérisé. La tradition orale et le manuscrit ont dominé pendant plus de 1400 ans, et ce, jusqu’à l’apparition du livre imprimé en 1451, résultant de l’invention mécanique de Gutenberg. Il faudra attendre un peu plus de 550 ans, avant que l’invention du support électronique déloge à son tour le livre imprimé, prenant une ampleur sans précédent grâce à la révolution numérique contemporaine, résultat du maillage des technologies de l’informatique, de la robotique et de la science des données. Les premières universités qui sont nées en Occident, au Moyen Âge, ont développé cette tradition orale de la connaissance tout en multipliant l’usage du manuscrit créant ainsi de véritables communautés de maîtres et d’étudiants ; la venue de l’imprimerie permettra la multiplication des universités où l’oral et l’écrit continueront de jouer un rôle déterminant dans la création et la transmission des connaissances même si le « support » a évolué du manuscrit à l’imprimé puis vers le numérique. Au cours de toutes ces années, le modèle de l’université s’est raffiné et perfectionné sur une trajectoire somme toute assez linéaire en élargissant son rôle dans l’éducation à celui-ci de la recherche et de l’innovation, en multipliant les disciplines offertes et les clientèles desservies. L’université de chaque ville universitaire est devenue une institution florissante et indispensable à son rayonnement international, à un point tel que l’on mesure souvent sa contribution par la taille de sa clientèle étudiante, l’empreinte de ses campus, la grandeur de ses bibliothèques spécialisées ; c’est toutefois la renommée de ses chercheurs qui consacre la réputation de chaque université au cours de cette longue trajectoire pendant laquelle a pu s’établir la liberté universitaire. « Les libertés universitaires empruntèrent beaucoup aux libertés ecclésiastiques » : Étudiants et maîtres, qu'ils furent, ou non, hommes d'Église, furent assimilés à des clercs relevant de la seule justice ecclésiastique, réputée plus équitable. Mais ils échappèrent aussi largement à la justice ecclésiastique locale, n'étant justiciables que devant leur propre institution les professeurs et le recteur, chef élu de l’université - ou devant le pape ou ses délégués. Les libertés académiques marquèrent donc l’émergence d'un droit propre, qui ménageait aux maîtres et aux étudiants une place à part dans la société. Ce droit était le même, à travers l'Occident, pour tous ceux qui appartenaient à ces institutions supranationales que furent, par essence, les premières universités. À la fin du Moyen Âge, l'affirmation des États nationaux obligea les libertés académiques à s'inscrire dans ce nouveau cadre politique, comme de simples pratiques dérogatoires au droit commun et toujours sujettes à révision. Vestige vénérable de l’antique indépendance et privilège octroyé par le prince, elles eurent donc désormais un statut ambigu » . La révolution numérique viendra fragiliser ce statut. En effet, la révolution numérique vient bouleverser cette longue trajectoire linéaire de l’université en lui enlevant son quasi monopole dans la conservation et le partage du savoir parce qu’elle rend plus facile et somme toute, moins coûteux l’accès à l’information, au savoir et aux données. Le numérique est révolutionnaire comme l’était l’imprimé et son influence sur l’université, sera tout aussi considérable, car cette révolution impacte radicalement tous les secteurs de l’économie en accélérant la robotisation et la numérisation des processus de création, de fabrication et de distribution des biens et des services. Ces innovations utilisent la radio-identification (RFID) qui permet de mémoriser et de récupérer à distance des données sur les objets et l’Internet des objets qui permet aux objets d’être reliés automatiquement à des réseaux de communications .Ces innovations s’entrecroisent aux technologies de la réalité virtuelle, à celles des algorithmiques intelligentes et de l’intelligence artificielle et viennent littéralement inonder de données les institutions et les organisations qui doivent alors les analyser, les gérer et les protéger. Le monde numérique est né et avec lui, a surgi toute une série de compétences radicalement nouvelles que les étudiants, les enseignants et les chercheurs de nos universités doivent rapidement maîtriser pour évoluer dans ce Nouveau Monde, y travailler et contribuer à la rendre plus humain et plus équitable. En effet, tous les secteurs de l’activité commerciale, économique, culturelle ou sociale exigent déjà clairement des connaissances et des compétences numériques et technologiques de tous les participants au marché du travail. Dans cette nouvelle logique industrielle du monde numérique, les gagnants sont déjà bien identifiés. Ce sont les fameux GAFAM (Google, Apple, Facebook, Amazon et Microsoft) suivis de près par les NATU (Netflix, Airbnb, Tesla et Uber) et par les géants chinois du numérique, les BATX (Baidu, Alibaba, Tenant et Xiaomi). Ces géants sont alimentés par les recherches, les innovations et les applications mobiles (APPs) créées par les partenaires de leurs écosystèmes regroupant, sur différents campus d’entreprises, plusieurs des cerveaux qui sont au cœur de cette révolution numérique. L’université voit donc remise en question sa capacité traditionnelle d’attirer, de retenir et de promouvoir les artisans du monde de demain. Son aptitude à former des esprits critiques et à contribuer à la transmission des valeurs universelles est également ébranlée par ce tsunami de changements. Il faut cependant reconnaître que les facultés de médecine, d’ingénierie et de sciences naturelles aux États-Unis qui ont développé des contacts étroits, abondants et suivis avec les hôpitaux, les grandes entreprises et l’administration publique et cela dès la fin du 19e siècle ont été plus en mesure que bien d’autres, de recruter et retenir les gens de talent. Elle ont énormément contribué à faire avancer les connaissances scientifiques et la scolarisation en sciences appliquées ..La concentration inouïe des Prix Nobel scientifiques aux États-Unis est à cet égard très convaincante . La révolution numérique contemporaine survient également au moment même où de grands bouleversements frappent la planète : l’urgence climatique, le vieillissement des populations, la « déglobalisation », les déplacements des populations, les guerres, les pandémies, la crise des inégalités, de l’éthique et des démocraties. Ces bouleversements interpellent les universitaires et c’est pourquoi leur communauté doit adopter une raison d’être et ainsi renouveler leur mission afin des mieux répondre à ces enjeux de la civilisation. Cette communauté doit non seulement se doter d’une vision et des modes de fonctionnement adaptés aux nouvelles réalités liées aux technologies numériques, mais elle doit aussi tenir compte de ces grands bouleversements. Tout ceci l’oblige à s’intégrer à des écosystèmes où les connaissances sont partagées et où de nouvelles compétences doivent être rapidement acquises. Le but de ce texte est de mieux cerner l’ampleur du défi que pose le monde numérique au milieu universitaire et de proposer quelques idées pouvant alimenter la réflexion des universitaires dans cette démarche d’adaptation au monde numérique. Or, ma conviction la plus profonde c’est que la révolution numérique aura des impacts sur nos sociétés et notre civilisation aussi grands que ceux provoqués par la découverte de l’imprimerie et son industrialisation au 15e siècle. C’est pourquoi la première section de ce document est consacrée à un rappel historique de la révolution de l’imprimerie par Gutenberg alors que la deuxième section illustrera comment les caractéristiques de la révolution numérique viennent soutenir cette conviction si profonde. Une troisième section fournira plus de détails sur le défi d’adaptation que le monde numérique pose aux universités alors que la quatrième section évoquera les contours du changement de paradigme que cette adaptation va imposer. La cinquième section servira à illustrer un scénario de rêves qui permettra de mieux illustrer l’ampleur de la gestion du changement qui guette les universitaires. La conclusion permettra de revenir sur quelques concepts et principes clefs pour guider la démarche vers l’action. L’université ne peut plus « être en haut et seule », elle doit être « au centre et avec » des écosystèmes de partenariats multiples, dans un modèle hybride physique/virtuel. C’est ainsi qu’elle pourra conserver son leadership historique de vigie du savoir et des connaissances d’un monde complexe, continuer d’établir l’authenticité des faits et imposer la nécessaire rigueur de la science et de l’objectivité.