2 |
Probabilistic Linguistic Matrix Game Based on Fuzzy Envelope and Prospect Theory with Its Application
|
|
|
|
In: Mathematics; Volume 10; Issue 7; Pages: 1070 (2022)
|
|
BASE
|
|
Show details
|
|
3 |
The Cliometrics of Onomastics: Modeling Who's Who in Ancient Greece
|
|
|
|
In: https://hal-univ-paris8.archives-ouvertes.fr/hal-03370259 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Minimal winning coalitions and orders of criticality
|
|
|
|
In: ISSN: 0254-5330 ; EISSN: 1572-9338 ; Annals of Operations Research ; https://hal.archives-ouvertes.fr/hal-03388959 ; Annals of Operations Research, Springer Verlag, 2021, ⟨10.1007/s10479-021-04199-6⟩ ; https://link.springer.com/article/10.1007%2Fs10479-021-04199-6#citeas (2021)
|
|
BASE
|
|
Show details
|
|
5 |
3D Serious Game Modeling and Design: Contributions to Language Learning ; Modélisation et Conception de jeu sérieux tridimensionnel : Contributions à l’apprentissage des langues
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03315793 ; Environnements Informatiques pour l'Apprentissage Humain. Université Ibn Tofail, Kénitra (Maroc), 2021. Français (2021)
|
|
BASE
|
|
Show details
|
|
6 |
Online And Face To Face Teaching: two complementary educational intervention modes ; L'enseignement du FLE en face à face et en ligne : deux modes d'intervention pédagogiques complémentaires
|
|
|
|
In: ISSN: 2773-286X ; Didaskein ; https://hal.archives-ouvertes.fr/hal-03429054 ; Didaskein, 2021, 2 (1), pp.28-47 (2021)
|
|
BASE
|
|
Show details
|
|
7 |
Agentivité de l’horreur, creepypastas et jeu vidéo
|
|
|
|
In: ISSN: 2269-7586 ; Romanesques : revue du Centre d'études du roman et du romanesque [de l'Université de Picardie-Jules Verne] ; https://hal.archives-ouvertes.fr/hal-03472208 ; Romanesques : revue du Centre d'études du roman et du romanesque [de l'Université de Picardie-Jules Verne] , Classiques Garnier, 2021, ⟨10.48611/isbn.978-2-406-12548-8.p.0057⟩ (2021)
|
|
BASE
|
|
Show details
|
|
8 |
Le traitement des dialogues fictifs dans l’élaboration d’un jeu sérieux
|
|
|
|
In: Journée des Doctorants en Sciences Humaines et Sociales ; https://hal.archives-ouvertes.fr/hal-03522927 ; Journée des Doctorants en Sciences Humaines et Sociales, Université d'Orléans; Université de Tours, Jun 2021, Orléans, France (2021)
|
|
BASE
|
|
Show details
|
|
9 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
10 |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03588308 ; Informatique et langage [cs.CL]. Université Montpellier, 2021. Français. ⟨NNT : 2021MONTS064⟩ (2021)
|
|
BASE
|
|
Show details
|
|
11 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
Abstract:
This thesis is situated at the intersection of several disciplines: on the one hand,mathematical logic and theoretical computer science, on the other hand, natural languageprocessing and formal semantics of natural language. The thread tying thesetopics together is the constant use of tools and methodologies of proof theory and thephilosophical problem that motivated our thesis: what are the links between the notionof proof and that of linguistic meaning? More concretely, we study formal proofssystems. in these systems proofs are seen as winning strategies for two-player games.In the games one player, called the Proponent, tries to construct a justification for a certainstatement while the other, the Opponent, tries to refute this statement. Our thesisis composed of three parts, each part containing a maximum of three chapters.The first part is preparatory. In the two chapters that compose it we present the mathematicaltools used in our thesis as well as the philosophical question that underlieour research.The second part consists of two long chapters and presents the central proof-theoreticalresults of our thesis. In the first chapter of this part we present a dialogical logic systemfor classical first order logic. We show that, given a formula A, A is a logical theoremif and only if there is a proponent winning strategy for A. Dialogical logic systems forclassical first-order logic have existed since the 1960’s. However there is no convincingproof of this result in the literature. In the second chapter of this second part wepresent a denotational semantics for the constructive variant of the modal logic K. Ourdenotational semantics is a game semantics: the proofs of modal logic are interpretedby winning strategies for two-player games. We show that our game semantics has aremarkable property; it is ’fully complete’: every winning strategy is the interpretationof a proof of modal logic.The third and last part of our thesis consists of three chapters. Each chapter is devotedto an application of proof theory to the semantics of natural language. In thefirst chapter, we study the relationship between the categorical syntactic analyses ofa sentence and the logical representations of the sentence. We show that, when certainconditions are met, the function that transforms syntactic analyses of a sentenceinto logical representations is injective. In the second chapter of this third part, we useour dialogical logic system, together with type logical grammars, to solve textual entailmentproblems. In the last chapter of this section we present a formal system forthe resolution of anaphora and ellipsis. This problem is usually addressed by model theoreticmethods. We, on the contrary, present a solution based on proof theory. Wedevelop a dialogical logic system in which anaphora and ellipsis can be solved in asimple way.In the conclusion, we sketch possible future developments of our research. Bothfrom a mathematical and logical point of view and from the point of view of naturallanguage applications. ; Notre travail de thèse se situe au carrefour de plusieurs disciplines : d’une part, lalogique mathématique et l’informatique théorique, d’autre part le traitement automatiquedu langage naturel et plus particulièrement la sémantique formelle du langagenaturel. Le fil conducteur est la présence constante des méthodes logiques issues de lathéorie de la preuve et par le problème philosophique qui a motivé notre thèse : quelssont les liens entre la notion de preuve et celle de signification linguistique ou logique? Plus concrètement, nous étudions des systèmes formels dont les preuves sont vuescomme des stratégies gagnantes pour des jeux à deux joueurs. Dans ces jeux, un jouer,appelé Proposant, essaye de construire une justification pour un certain énoncé tandisque l’autre, l’Opposant, essaye de construire une réfutation de cet énoncé.La thèse est composée de trois parties, chaque partie contenant deux ou trois chapitres.La première partie est propédeutique. Dans les deux chapitres qui la composentnous présentons les outils mathématiques utilisés dans notre thèse ainsi que les principeslogiques et philosophiques qui ont guidés nos travaux, notamment la sémantiqueinférentialiste.La deuxième partie de notre thèse contient deux longs chapitres, lesquels présententles résultats de théorie de la démonstration qui constituent le cœur de notre thèse. Enparticulier, dans le premier chapitre de cette partie, nous définissons précisément unsystème de logique dialogique pour la logique classique du premier ordre avec termes.Nous montrons que, pour une formule A, l’existence d’une stratégie gagnante pour Aéquivaut au fait que A est un théorème logique. Bien que des systèmes de logiquedialogique pour la logique classique du premier ordre existent depuis les années 1960il n’existait pas à ce jour de preuve convaincante publiée de ce résultat, notammenten présence de termes. Dans le deuxième chapitre de cette deuxième partie, nous présentonsune sémantique dénotationnelle pour la variante constructive de la logiquemodale K. En particulier notre sémantique dénotationnelle est une sémantique desjeux dans laquelle les preuves de la logique modale sont interprétées par des stratégiesgagnantes pour des jeux à deux jouer. Nous montrons que notre sémantique possèdeune propriété remarquable : elle est ‘pleinement adéquate’ (fully complete) c’est-à-direque toute stratégie gagnante est l’interprétation d’au moins une preuve de la logiquemodale.La troisième et dernière partie se compose de trois chapitres, chacun étant consacréà une application de nos travaux en théorie de la démonstration à la sémantiquedu langage naturel. Dans le premier chapitre, nous étudions le rapport entre les analysessyntaxiques catégorielles d’une même phrase et les représentations sémantiqueslogiques de la phrase analysée. Nous montrons que, lorsque certaines conditions sont respectées, la fonction qui transforme les analyses syntaxiques d’une phrase en représentations logiques est injective. Dans le deuxième chapitre de cette troisièmepartie, nous appliquons notre système de logique dialogique à la résolution au problèmede la reconnaissance d’inférences en langage naturel en utilisant un analyseursyntaxique et sémantique catégoriel. Dans le dernier chapitre de cette partie, nous présentonsun système formel pour la résolution d’anaphore et ellipses, problème généralementabordé par des méthodes de théorie des modèles. Nous, au contraire, présentonsune solution basée sur la théorie de la démonstration, en développant un systèmede logique dialogique qui permet de résoudre simplement les anaphores et les ellipses.Dans la conclusion, nous faisons le bilan de notre travail de thèse et essayons dedécrire les développements futurs possibles de notre recherche, tant du point de vuemathématique et logique que du point de vue des applications au langage naturel.
|
|
Keyword:
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; Dialogical Semantics; Game Semantics; logique mathématique; Mathematical Logic; Natural Language Processing; Proof theory; sémantique des jeux; sémantique dialogique; Théorie de la preuve; traitement automatique du langage naturel
|
|
URL: https://tel.archives-ouvertes.fr/tel-03553000v2/document https://tel.archives-ouvertes.fr/tel-03553000v2/file/TESI-CATTA.pdf https://tel.archives-ouvertes.fr/tel-03553000
|
|
BASE
|
|
Hide details
|
|
12 |
Lexicographically Fair Learning: Algorithms and Generalization
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
On the Connection between Individual Scaled Vickrey Payments and the Egalitarian Allocation ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
A system of classifying and measuring personality, emotion, and behaviour
|
|
|
|
BASE
|
|
Show details
|
|
18 |
The Queer Turn of Video Game Localization ¿Fills You With Determination¿: A Case Study of Undertale
|
|
|
|
BASE
|
|
Show details
|
|
19 |
Lexicographically Fair Learning: Algorithms and Generalization ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
Understanding Human-AI Cooperation Through Game-Theory and Reinforcement Learning Models
|
|
|
|
BASE
|
|
Show details
|
|
|
|