Filters








7,095 Hits in 4.3 sec

Language and semantics of expressions for Grafcet model synthesis in a MDE environment
Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM

Gérard NZEBOP NDENOKA, Maurice Tchuenté, Emmanuel Simeu
2021 ARIMA  
Nous proposons également un métamodèle et une sémantique associée des expressions Grafcet pour faciliter la mise en oeuvre du langage Grafcet sous la forme d'un parseur des expressions Grafcet G7Expr obtenu  ...  Le GRAphe Fonctionnel de Commande Étapes Transitions (GRAFCET) est un puissant lan-gage de modélisation graphique pour la spécification de contrôleurs dans des systèmes à événe-ments discrets.  ...  Enfin en section V, nous présentons une discussion relative à la contribution de ce travail, suivie d'une conclusion.  ... 
doi:10.46298/arima.6452 fatcat:4zrwrrt4krakbo622ftgyn7phm

L'interaction sociale comme fondement de la signification logique

Adjoua Bernadette Dango
2017 Revista de Humanidades de Valparaíso  
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  ...  les contenus des expressions linguistiques des sémantiques pragmatiques.  ...  Notre contribution vise à développer le cadre de prédilection de l'interaction sociale comme le fondement des logiques actuelles, d'une part et, d'examiner les différents principes de base des sémantiques  ... 
doi:10.22370/rhv.2017.9.853 fatcat:c4e625qu65ddxpvqcrzzvebzj4

Collectif, Modern Views of Medieval Logic

Magali Roques
2019 Cahiers de civilisation médiévale  
Terence Parsons) et dans ses prolongements vers une sémantique des modalités (avec la contribution de Simo Knuuttila). Enfin, l'influence d'A.  ...  Prior se fait sentir dans deux contributions portant sur l'étude de la logique temporelle médiévale, appliquée à une question philosophico-théologique centrale à la fin du Moyen Âge, celle des futurs contingents  ... 
doi:10.4000/ccm.4367 fatcat:umyhygvxxjd4tevwht4yznns54

Logiques et sémantiques non classiques

Alain Voizard
1997 Dialogue: Canadian Philosophical Review  
Leblanc qu'ont ete developpees des semantiques et des logiques non standard (logiques libres, avec ou sans identite; semantique en termes de valeurs de verite; et semantique probabiliste entre autres),  ...  Mais Fimportance de la contribution fregeenne reside surtout dans son developpement de la theorie de la quantification sous la forme d'un calcul des predicats.  ...  Dummett a propose de substituer a la semantique vericonditionnelle fregeenne, une extension de la semantique de la logique intuitionniste qui devient, pour la langue naturelle, une semantique en termes  ... 
doi:10.1017/s0012217300009252 fatcat:s7e5kqrswrggnkaw34vgdoixli

Preface

Pierre-Louis Curien
2011 Theoretical Computer Science  
Preface This text is both meant as a preface to this volume of Theoretical Computer Science dedicated to Jean-Yves Girard, and as a short essay in French (with an English summary) on the relation between  ...  The idea of this volume grew out contemporaneously with the following events that were organised on the occasion of Jean-Yves' 60th birthday: Pierre-Louis Curien Laboratoire Preuves, Programmes et Systèmes  ...  L'influence, directe ou diffuse, de la logique linéaire sur l'ensemble du milieu de la sémantique (qui recouvre le continuum allant de la conception à l'implantation des langages de programmation et des  ... 
doi:10.1016/j.tcs.2010.12.015 fatcat:32hbvy6qqvd7jdjxhrvf53iktu

Préfixe, suffixe, mots de la même famille…

Florence Charles
2014 Repères  
La prise en compte des logiques didactiques associées à l'objet dans les textes curriculaires considérés permet d'éclairer cette conceptualisation, de même que la prise en compte de la terminologie en  ...  La dérivation en tant qu'objet d'enseignement occupe une place de choix dans les textes des programmes, récents et actuels, qui régissent l'enseignement du vocabulaire au cycle 3 de l'école élémentaire  ...  La contribution se propose à partir d'une étude de la terminologie employée dans les programmes d'enseignement récents et actuels, qui datent respectivement de 2002, 2007 (sachant que ces programmes,  ... 
doi:10.4000/reperes.706 fatcat:d2zcvxy25nb2jb4zxeed5qjfai

Signe et signification à l'aune de la dichotomie syntaxe / sémantique

Manuel Gustavo Isaac
2015 Corela  
Ce sont les Recherches logiques (1901) qui, à ce niveau, prolongent le programme fondationnaliste des années 1890 en élargissant sa portée à l'enquête de l'essence rationnelle de toute science déductive  ...  Et puisque de fait, syntaxe et sémantique figurent désormais à l'interface de la logique et de la linguistique, on cherchera alors ici à établir la généalogie de leur divergence.  ... 
doi:10.4000/corela.3838 fatcat:62q7apmoynbq7ox7j6bdhkcwsm

Introduction - Des Jeux en logique

Manuel Rebuschi, Tero Tulenheimo
2004 Philosophia Scientiæ  
L'étude de diverses logiques IF, dont la sémantique des jeux est partie intégrante, est en train de devenir un programme de recherche avec ses questions propres, logico-mathématiques, philosophiques et  ...  l'autre, se sontétablis en quelques décennies : (a) la logique dialogique ; (b) la théorie sémantique des jeux de Hintikka et de ses collaborateurs ; (c) la théorie générale des jeux et de la logique de  ... 
doi:10.4000/philosophiascientiae.554 fatcat:zednjke6nzgxxfo3hwfgwavcra

Les actes de discours. Essai de philosophie du langage et de l'esprit sur la signification des énonciations. Daniel Vanderveken, 1988, Bruxelles, Pierre Mardaga éditeur, collection Philosophie et langage, 226 p

François Latraverse
1991 Revue québécoise de linguistique  
Il s'agit ici «d'appliquer l'appareil logique de la sémantique générale à l'analyse lexicale des principaux verbes de parole de la langue française» (165).  ...  de la logique formelle.  ... 
doi:10.7202/602716ar fatcat:3jvhohfq2ndgxm56g6jgqpfo74

Êtes-Vous Logique Ou Pragmatique? Une Perspective Pragmatique Sur Les Relations Entre Logique Et Langage

Jacques Moeschler
2015 Zenodo  
La conférence publiée ici a été présentée par Jacques Moeschler, professeur ordinaire de linguistique française à l'Université de Genève, à l'occasion de la réunion du Comité de l'Académie suisse des sciences  ...  La contribution se termine sur un inventaire des recherches futures et des implications de l'approche pragmatique pour la recherche dans les sciences humaines et sociales.  ...  à la philosophie qu'à la linguistique) et idéologiques (la méfiance séculaire des linguistes vis-à-vis de la logique).  ... 
doi:10.5281/zenodo.891216 fatcat:ln2w5mffnbf3dh442cgt2ngtja

Présentation

Jacques Anis, Georges Kleiber
2003 Linx  
Je me rappelle notamment ce programme qui conseillait ou déconseillait de manger des huîtres selon le nom du mois.  ...  qu'il me revint de reprendre d'un cursus de Linguistique et Informatique, domaine où il avait été un pionnier, en participant à l'élaboration du programme qui permettrait l'interrogation en langue naturelle  ...  Multiples sont les approches du sens ; les deux contributions suivantes relèvent de cette sémantique logique qui fut une préoccupation centrale de Michel Galmiche.  ... 
doi:10.4000/linx.106 fatcat:ebpjgoma3bc5fp2j3ns4fey3fu

La logique modale des modèles d'équilibre

Luis Farina del Cerro, Andreas Herzig
2012 Revue d'intelligence artificielle : Revue des Sciences et Technologies de l'Information  
La sémantique de la logique de l'équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et--bas.  ...  Nous donnons ici une sémantique directe de la logique de l'équilibre en termes d'un langage modal dans lequel le langage de la logique de l'équilibre peut être traduit. ABSTRACT.  ...  Le présent article s'intéresse à la sémantique de ce formalisme. Il existe plusieurs sémantiques pour la programmation par ensembles réponse (Lifschitz, 2010) .  ... 
doi:10.3166/ria.26.85-102 fatcat:7hg36y7urnf5ndj35ei32ddrmu

L'apport de l'analyse sémantique latente à l'analyse des politiques publiques multiniveaux : un exemple avec la politique de formation tout au long de la vie

Frédéric Bertrand
2016 Revue Internationale de Politique Comparée  
Ce processus soulève à la fois la question de l'évolution du rôle de l'État nation dans les nouvelles formes de gouvernance européenne, de l'appropriation nationale des normes communautaires, de la place  ...  une double logique de négociation et de reddition de comptes 3 avec les différents niveaux.  ...  Ont été retenus les 42 mots du dictionnaire dont la contribution au premier axe était supérieure à la contribution moyenne des mots à l'axe.  ... 
doi:10.3917/ripc.231.0007 fatcat:sprr33efg5fp5dr2fybdbqntmi

Linguistiques textuelles et discursives

Guy Achard-Bayle
2020 Pratiques  
Skalička (1948) , ont introduit dans la langue, avec la parole, ce qui deviendra l'élément naturel 9 de la sémantique logique de R. Martin : « la dynamique communicative » , p. 206).  ...  Martin) qui ont marqué les sciences du langage telles qu'elles se sont développées et illustrées à Metz à travers la linguistique textuelle ainsi que la sémantique logique et référentielle.  ... 
doi:10.4000/pratiques.8521 fatcat:aca6xqg6crbz7lhhwmsogjpoqu

Vers un Calcul des Significations dans l'Analyse des Langues

Jean-Pierre Desclés
2020 Revista de Filosofia Moderna e Contemporânea  
L'article présente des réflexions épistémologiques sur le programme de recherche qui a pour objet l'étude de l'activité de langage exprimée par les langues, activité qui ne se ramène pas à la simple communication  ...  et à l'expression de la pensée.  ...  Dans l'étude de la sémantique des langages de la logique moderne et des langages de programmation, la pragmatique et la signification ne semblent pas opératoires, ce qui n'est évidemment pas le cas lorsqu'on  ... 
doi:10.26512/rfmc.v8i1.31016 doaj:7c4abb25efb44b4da8ced287889fad6d fatcat:fmdmfc7xn5e5tcci2wej54hs34
« Previous Showing results 1 — 15 out of 7,095 results