Dissertations / Theses on the topic 'Modalités épistémiques'

La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique
The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back ; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely : knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study : declarative and epistemic sentences have one and the same logic (assertion logic) ; the plurality of languages games doesn't entail any logical pluralism

La détermination du rôle des modalités épistémiques dans l'élaboration d'une sémiosis est présentée grâce aux méthodes d'analyse de l'appareil théorique mis en place par la sémiotique greimassienne. Les modalités prennent forme au sein des structures ab quo du parcours génératif pour modeler un sujet contribuant à la stabilité du sens recherché, adéquat aux visions modalisantes de l'énonciateur. Les modalités ne peuvent être la fonction d'une sémiosis que faisant partie de la compétence et de la performance du sujet. Tout au long des programmes narratifs, les structures modales peuvent entrer en relation de contrariété et de contradiction qui, projetées sur le carré sémiotique en tant que schémas, engendrent la sémiosis. La modalité du vouloir est à la base de l'instauration du sujet, elle affirme sa puissance d'exister. Le devoir pose le sujet dans une position de dépendance du Destinateur au coeur de la relation ternaire Sujet-Destinateur-Objet. Le pouvoir est l'instance actualisante de la modalisation. Pourvu de cette modalité seulement, le Sujet ne peut assumer pleinement son identité. Le texte de l'Exode 28 de l'Ancien Testament choisi en vue d'une analyse sémiotique, n'impose pas un impératif direct de croire. Le sujet édifie son croire en construisant un objet qui conditionne son existence modale. L'objet à construire (les vêtements sacerdotaux) contribue à la constitution du croire du sujet, tout en provoquant une esthésis où sont perçues les premières valences de l'objet de valeur qui assurent sa pré-croyance. L'esthésis garantit la confiance énonciative. Le contrat épistémique représente un acte de foi réciproque où le faire interprétatif de l'énonciataire correspond au faire persuasif de l' énonciateur. Le croire a le statut d'une modalité d'assomption qui couronne tout l'ensemble modal et permet au sujet de l'assumer. Les modalités épistémiques de savoir et de croire contribuent ainsi à l'élaboration d'une sémiosis infinie où le sujet peut sans cesse enrichir son croire et où, de sujet "potentialisé", il peut devenir sujet réalisé, selon la science d'une sémiotique subjectale
The role of epistemic modalities in building up the semiosis is possible to establish, with reference to French semiotics, only through Greimas's semiotic theory and l'Ecole de Paris. The occurrence of the semiosis is in close connection with the structure which can be defined as a network of relations which precedes their manifestation on the surface structure. The constitutive model is graphically presented by means of a semiotic square where the two schemas defined through the relations of contradiction stand in relation of contrariety and produce the semiosis. The occurrence of the semiosis is theoretically traced by means of generative trajectory structures. Modalities are considered to be necessary conditions for building up the subject's competence (being, wanting, having to do or to be) and his getting to performance (doing, being able to do or to be). Epistemic modalities expressed through the categories of knowing and believing are based on the subject's identity that has already been established. His believing makes it possible for him to assume his own modal completion and the credibility of enunciator's universe. The believing lays the foundation of a new modality - the asumption modality, which, together with the enunciator's persuasive doing, is a premise for the building up of semiosis combining the sender's immanent nature and the receiver's interpretative doing. In the analysed text (Exodus 28 of the Old Testament) the believing is not a fully completed category yet. This category contributes to building up the Subject's epistemic judgement through the making of an Object (sacerdotal vestments). In the process of making the Object, the Subject experiences the esthesis of the Object thus forming his believing which is unlimited in time. In such a way the assumption modality contributes to the creation of an unlimited semiosis in which the subject - the conscious bearer of the whole modality complex - can under go an endless evolution

L'examen des premières élaborations théoriques de Freud concernant la psychose permet d'identifier le processus d'incroyance (Unglaube) comme la condition de possibilité de la certitude. Et si le retour à Freud de Lacan facilite le dégagement du rapport, non pas oppositif, mais continuiste entre incroyance et certitude, il autorise également une extension de la psychopathologie à l'épistémologie en donnant à penser une certitude et une incroyance commune à la psychose et à la science. Toutefois, dans la mesure où Freud emploiera, dans sa célèbre lettre intitulée "Un trouble du souvenir sur l'Acropole", une dernière fois le terme d'incroyance sans rapport aucun avec la psychose ou avec une forme ordinaire d'incrédulité, il paraît légitime d'interroger la possibilité et la fonction d'un état de la structure névrotique situé au carrefour d'une certitude et d'un rejet de croyance. Par conséquent, peut-on supposer une certitude et une incroyance commune à la névrose et à la psychanalyse ?

L'étude du système verbal du tibétain littéraire présente un intérêt typologique à plus d'un titre. D'une part, elle permet d'observer l'évolution du système verbal, notamment les constructions avec un auxiliaire et les connecteurs verbaux, sur une période de plus de mille ans. Cette langue classique a l'avantage d'avoir quasiment préservé la même orthographe au cours de cette très longue période. J'ai choisi de me concentrer sur la période du quinzième siècle en choisissant pour corpus principal une œuvre très célèbre : la biographie de Milarépa. J'ai ensuite comparé le système verbal de cette période avec le tibétain littéraire contemporain. La principale raison qui a motivé cette étude, est l'émergence en tibétain moyen d'un système d'auxiliaires indiquant l'évidentialité, c'est-à-dire la grammaticalisation de la source épistémologique et de l'accès à l'information. Le tibétain est la seule langue littéraire d'Asie ayant une grande ancienneté qui ait développé un système verbal évidentiel complexe. Outre l'étude de la sémantique grammaticale, la deuxième motivation à l'origine de cette étude est la syntaxe des constructions avec un auxiliaire et des connecteurs du tibétain moyen et leur évolution en tibétain littéraire contemporain. Les données du tibétain littéraire et les analyses synchronique et diachronique sont susceptibles d'apporter une contribution à la typologie aussi bien en ce qui concerne l'évidentialité et les modalités épistémiques qu'en ce qui concerne la syntaxe des auxiliaires et des connecteurs.

Le but de cette thèse est d’étudier six marqueurs discursifs (désormais MDs) épistémiques du français et de l’italien, spécialisés dans l’opération dialogique qui permet d’accepter la valeur de vérité d’un contenu propositionnel proposé par l’interlocuteur et d’inscrire ce contenu propositionnel dans le savoir partagé. L’originalité de notre étude réside dans la manière non préconçue dont elle aborde les MDs épistémiques du dialogue. Après avoir défini de façon rigoureuse les notions de MD, d’épistémicité et de négociation intersubjective, nous avons recueilli un corpus représentatif de d’accord, mh, voilà en français dialogique et ho capito, mh, esatto en italien dialogique. Ce corpus est composé de 60 occurrences épistémiques par forme et prend en compte plusieurs locuteurs et situations communicatives différentes. La démarche d’annotation manuelle de notre corpus a ensuite fait émerger que les six MDs possèdent un éventail large et complexe de fonctions, agissant à plusieurs niveaux de l’architecture du discours. Dans le cadre d’une approche modulaire et guidée par les corpus, nous avons ainsi cherché au fil de notre recherche à concilier aspects théoriques, opérationnalisation de choix théoriques dans un schéma d’annotation, et analyse des données. Une comparaison entre les MDs du français et de l’italien, appuyée par des tests de significativité statistique, nous a permis finalement de constater la similitude frappante, aux niveaux local et global du dialogue, entre d’accord et ho capito, mh et mh, voilà et esatto
This dissertation proposes to study six epistemic discourse markers (DMs) of spoken French and Italian, specialized in the dialogic operation that allows for accepting the truth-value of a propositional content proposed by an interlocutor and for grounding the propositional content in the common ground of the speakers.The originality of our research lays in our non aprioristic approach to the epistemic DMs of dialogue.Starting from a solid definition of the notions of DM, epistemicity and intersubjective negotiation, we collected a representative corpus of d’accord, mh, voilà in spoken French dialogues and ho capito, mh, esatto in spoken Italian dialogues. The corpus is composed of 60 epistemic occurrences per form, and takes into account several different speakers and contexts.The manual annotation process of the corpus revealed that the six DMs have a large and complex spectrum of functions, belonging to different levels of discourse structure.Accordingly, in the framework of a modular and corpus-driven approach, we tried to combine theoretical aspects, operationalization of theoretical choices in an annotation scheme, and analysis of the data.A comparison between the DMs of French and Italian, supported by statistical significance tests, finally showed the remarkable similarity, at the local and global levels of dialogue, between d’accord and ho capito, mh and mh, voilà and esatto

Ce mémoire est consacré à l'examen de quatre adverbes à valeur épistémique, à savoir apparemment, visiblement, manifestement et vraisemblablement. Hormis visiblement dans un de ses sens, ces unités lexicales ne se laissent pas paraphraser par 'de manière ADJ', contrairement à bon nombre d'autres adverbes en -ment, tels admirablement, doucement, gentiment et lentement (cf. par exemple, parler doucement/ parler de manière douce ou encore marcher lentement/marcher de manière lente, mais non être apparemment parti/*être parti de manière apparente ou être manifestement malade/*être malade de manière manifeste ). Cette limitation vient de ce que les unités lexicales considérées ne sont pas des adverbes de manière (à l'exception de visiblement dans un de ses sens), même si elles en ont la morphologie. Partant, l'étude vise, dans un premier temps, à proposer des paraphrases qui seront aptes à refléter le fait que les unités en cause n'ont pas le statut attendu; celles-ci seront articulées autour des notions épistémiques telles que le possible, le probable et le certain. L'étude présente, dans un second temps, une synthèse, sous forme d'articles de dictionnaire, des analyses sémantiques effectuées. Ces derniers prennent appui sur quelques principes fondateurs dans le cadre de la lexicologie explicative et combinatoire (cf notamment, Mel'cuk et al. 1984-1988-1992-1999).

Notre thèse s’intéresse aux processus de création des adverbes de modalité dubitative dans l’histoire de l’espagnol. À l’aide des corpus de la Real Academia Española, CORDE et CREA, nous étudions du point de vue diachronique les principaux adverbes et locutions adverbiales qui expriment le doute du locuteur par rapport au contenu propositionnel de l’énoncé : por (a)ventura, acaso, quizá(s), puede que, tal vez, a lo mejor, lo mismo et igual. Notre recherche comprend ainsi la quasi-totalité de l’histoire de la langue espagnole, depuis le XIIe siècle, où l’on retrouve déjà quizá, jusqu’au XXe avec le surgissement de lo mismo et igual. Ces expressions ont des origines diverses – constructions verbales, syntagmes prépositionnels, etc.–mais elles fonctionnent toutes initialement comme des éléments intégrés dans la structure syntaxique de la phrase, dans laquelle elles transmettent des notions qui relèvent du hasard, de la temporalité, de la comparaison, etc. Ce travail s’occupe donc, dans un premier temps, d’élucider les chemins que ces expressions ont empruntés pour parvenir à fonctionner comme des adverbes de modalité dubitative et, dans un deuxième temps, il rend compte des relations qu’entretiennent ces expressions adverbiales, puisque, malgré leur apparente synonymie et interchangeabilité, ces adverbes diffèrent sur certains aspects les uns des autres. À cet égard, l’étude diachronique des contextes d’apparition, des valeurs et des fonctions des éléments qui ont intégré le paradigme nous permet de comprendre les différentes nuances et possibilités d’emploi qui caractérisent ces expressions une fois qu’elles acquièrent leur rôle d’adverbes de modalité dubitative
This thesis aims to study the creation processes of the modal probability adverbs in the history of Spanish. Thus, from the diachronic point of view, we study, with the help of the Real Academia Española corpora, CORDE and CREA, the main adverbs and adverbial locutions that express the speaker's doubt regarding the propositional content of the statement: por (a)ventura, acaso, quizá(s), puede que, tal vez, a lo mejor, lo mismo and igual. Our research covers practically the whole history of the Spanish language, from the twelfth century, in which quizá is documented, until the twentieth, when the most recent adverbs of probability, lo mismo and igual, arise. These expressions have different origins – verbal constructions, prepositional phrases, etc. – but all function initially as integrated elements in the syntactic structure of the sentence, in which they transmit notions related to chance, temporality, comparison, etc. This work, therefore, is concerned firstly with elucidating the paths followed by these expressions in order to function as probability adverbs and, secondly, it gives account of the relations that lie between these adverbial expressions. Despite their apparent synonymy and interchangeability, these adverbs differ from one another in some respects. In this sense, the diachronic study of the contexts of appearance, the meanings and the functions of the elements that have integrated the paradigm allow us to understand the different nuances and possibilities of use that characterize these expressions once they acquire their role of modal probability adverbs
Esta tesis se ocupa del estudio de los procesos de creación de los adverbios de modalidad dubitativa en la historia del español. Con la ayuda de los corpus de la Real Academia Española, CORDE y CREA, estudiamos desde el punto de vista diacrónico los principales adverbios y locuciones adverbiales que expresan la duda del hablante con respecto al contenido proposicional del enunciado: por (a)ventura, acaso, quizá(s), puede que, tal vez, a lo mejor, lo mismo e igual. Nuestra investigación abarca así prácticamente toda la historia de la lengua española, desde el siglo XII, en el que ya se documenta quizá, hasta el XX, en el que surgen los adverbios de duda más recientes lo mismo e igual. Las expresiones estudiadas tienen orígenes diversos –construcciones verbales, sintagmas preposicionales, etc.–, pero todas funcionan inicialmente como elementos integrados en la estructura sintáctica de la frase, en la que transmiten nociones relativas al azar, a la temporalidad, a la comparación, etc. Este trabajo se ocupa, pues, en primer lugar, de elucidar los caminos que han seguido estas expresiones para llegar a funcionar como adverbios de modalidad dubitativa y, en segundo lugar, de dar cuenta de las relaciones que mantienen estas expresiones adverbiales, ya que, a pesar de su aparente sinonimia e intercambiabilidad, estos adverbios difieren unos de otros en algunos aspectos. En este sentido, el estudio diacrónico de los contextos de aparición, valores y funciones de los elementos que han integrado el paradigma nos permite comprender los diferentes matices y posibilidades de uso que caracterizan a estas expresiones una vez que adquieren su papel de adverbios de modalidad dubitativa

Cette thèse porte sur la notion de modalité d'ordre supérieur. Une modalité d'ordre supérieur peut être caractérisée comme une modalité agissant sur une proposition dans laquelle figure déjà une modalité, un aspect de la modalité qui a été très peu étudié jusqu'a présent. Une analyse de ce phénomène est proposée et je présente certains problèmes philosophiques où il se manifeste. Je considère, entre autres, le problème de la transparence épistémique (l'idée qu'un agent sait qu'il sait lorsqu'il sait) et j'applique l'analyse générale de la modalité d'ordre supérieur à la résolution de celui-ci. De même, une solution du paradoxe de Fitch est proposée, s'appuyant essentiellement sur l'idée que certaines des notions modales impliquées dans ce paradoxe sont d'ordre supérieur et que celles-ci sont mal représentées dans un langage modal conventionnel. La discussion de ces problèmes sert de point départ à l'articulation d'une généralisation de la sémantique des mondes possibles. J'introduis un nouveau type de langage modal et montre comment il est interprèté dans cette sémantique. Une étude des propriétés formelles de ce langage est donnée (axiomatisation, complétude, calcul de tableaux, etc. ). Comme application subséquente de ces idées, je montre comment la modalité d'ordre supérieur est sous-jacente à deux analyses célèbres en logique philosophique ; tout d'abord, dans la conception « ockhamiste» de Prior du temps et de la possibilité, et, par la suite, dans l' analyse des conditionnelles contrefactuelles de Stalnaker-Lewis.

L'interet de ce travail repose sur le fait de degager certains faits de langue, en particulier l'emplacement de la marque modale dans un enonce donne, qui semblent etre regi par des necessites particulieres a partir d'une situation d'oral spontane et de reperer les differences entre les trois langues mises en examen (francais, anglais, arabe marocain) a partir d'une etude detaillee de la melodie qui permettra de distinguer les differentes facons d'introduire la position de l'indice de modalite et son incidence sur l'ensemble de l'enonce
The importance of this work is seen in the fact of deducing certain linguistic facts which seem to be governed by particular necessities from a spontaneous oral situation and find the differences between the three languages to be analysed (french, english and moroccan arabic) from a detailed study of melody that helps to distinguish different ways of showing the position of the modal marker and his effect upon the whole sentence

Dans les logiques épistémiques, la connaissance est généralement modélisée par un graphe de mondes possibles, qui correspondent aux alternatives à l'état actuel du monde. Ainsi, les arêtes entre les mondes représentent l'indistinguabilité. Connaître une proposition signifie que cette proposition est vraie dans toutes les alternatives possibles. Les informaticiens théoriques ont cependant remarqué que cela a conduit à plusieurs problèmes, à la fois intuitifs et techniques : plus un agent est ignorant, plus elle a d'alternatives à examiner ; les modèles peuvent alors devenir trop grands pour la vérification de système. Ils ont récemment étudié comment la connaissance pourrait être réduite à la notion de visibilité. Intuitivement, l'idée de base est que quand un agent voit quelque chose, alors elle sait sa valeur de vérité. A l'inverse, toute combinaison de valeurs de vérité des variables non observables est possible pour l'agent. Ces informations d'observabilité permettent de reconstituer la sémantique standard de la connaissance : deux mondes sont indistinguables pour un agent si et seulement si chaque variable observée par cet agent a la même valeur dans les deux mondes. Notre objectif est de démontrer que les logiques épistémiques fondées sur la visibilité constituent un outil approprié pour plusieurs applications importantes dans le domaine de l'intelligence artificielle. Dans le cadre actuel de ces logiques de visibilité, chaque agent a un ensemble de variables propositionnelles qu'elle peut observer ; ces visibilités sont constantes à travers le modèle. Cela accompagne une hypothèse forte : les visibilités sont connues de tous, et sont même connaissance commune. De plus, la construction de la connaissance à partir de la visibilité entraîne des validités contre-intuitives, la plus importante étant que l'opérateur de la connaissance distribue sur les disjonctions de littéraux : si un agent sait que p ou q est vrai, alors elle sait que p est vrai ou que q est vrai, parce qu'elle peut les voir. Dans cette thèse, nous proposons des solutions à ces deux problèmes et les illustrons sur diverses applications telles que la planification épistémique ou les jeux booléens épistémiques, et sur des exemples plus spécifiques tels que le problème des enfants sales ou le problème du bavardage. Nous étudions en outre des propriétés formelles des logiques que nous concevons, fournissant axiomatisations et résultats de complexité
In epistemic logic, knowledge is usually modelled by a graph of possible worlds, representing the alternatives to the current state of the world. So edges between worlds stand for indistinguishability. To know a proposition means that that proposition is true in all possible alternatives. Theoretical computer scientists however noticed that this led to several issues, both intuitively and technically: the more an agent is ignorant, the more alternatives she must consider; models may then become too big for system verification. They recently investigated how knowledge could be reduced to the notion of visibility. Intuitively, the basic idea is that when an agent sees something, then she knows its truth value. The other way round, any combination of truth values of the non-observable variables is possible for the agent. Such observability information allows us to reconstruct the standard semantics of knowledge: two worlds are indistinguishable for an agent if and only if every variable observed by her has the same value in both worlds. We aim to demonstrate that visibility-based epistemic logics provide a suitable tool for several important applications in the field of artificial intelligence. In the current settings of these logics of visibility, every agent has a set of propositional variables that she can observe; these visibilities are constant across the model. This comes with a strong assumption: visibilities are known to everyone, and are even common knowledge. Moreover, constructing knowledge from visibility brings about counter-intuitive validities, the most important being that the knowledge operator distributes over disjunction of literals: if an agent knows that p or q is true, then she knows that p is true or that q is true because she can see them. In this thesis, we propose solutions to these two problems and illustrate them on various applications such as epistemic planning or epistemic boolean games, and on more specific examples such as the muddy children problem or the gossip problem. We moreover study formal properties of the logics we design, providing axiomatizations and complexity results

Cette thèse est une investigation de la structure syntaxique et de l'interprétation modale des phrases impliquant le modal dénominal de nécessité behar ‘devoir, falloir, avoir besoin’ et un complément infinitif. La thèse analyse le statut syntaxique des compléments non finis du verbe modal denominal behar en examinant leur interaction avec des phénomènes syntaxiques sensibles à des conditions structurelles et de localité diverses, et conclut que les compléments d’infinitif de behar peuvent correspondre à différentes structures sous-jacentes. Le type d'infinitif le plus complexe du point de vue structurel est un infinitif non-restructurant qui projette une architecture de phrase complète (c.-à-d. une CP), et le plus petit est un infinitif réduit de restructuration qui projette une structure de phrase de niveau vP. Il y a des preuves pour l'existence des types intermédiaires projetant jusqu'au domaine flexionnel (IP / TP). D'autre part, la thèse examine les propriétés thématiques et de portée des sujets dans chacun des différents types structurels et l'interprétation modale à laquelle elles donnent cours. Sur la base de cette analyse, la thèse soutient que l'interprétation modale n'est déterminée par aucun facteur en particulier (la présence de la restructuration, le statut référentiel du sujet et sa portée relative vis-à-vis du prédicat modal, parmi d'autres fréquemment mentionnés), mais dépend de l'effet cumulatif de plusieurs facteurs travaillant ensemble. La thèse montre également la nécessité d'adopter une vision plus fine de la modalité radicale (root modality), qui permet une association plus simple entre structures syntaxiques et significations modales
This dissertation is an investigation of the syntactic structure and modal interpretation of clauses involving the denominal necessity predicate behar ‘need’ and an infinitival complement. On the one hand, it analyses the syntactic status of non-finite complements of denominal behar by examining their interaction with syntactic phenomena sensitive to different structural and locality conditions, and concludes that the infinitival complements of behar can correspond to different underlying structures. The largest type of infinitive is a non-restructuring infinitive that projects a full clausal architecture (i.e. a CP), and the smallest one is a reduced restructuring infinitive that projects up to vP. There is evidence for intermediate types projecting up to the inflectional domain (IP/TP). On the other hand, the dissertation examines the thematic and scope properties of the subjects in each of the different structural types and the modal interpretation that they can give rise to. On the basis of this analysis it is argued that modal interpretation is not constrained by any single factor (the presence of restructuring, the referential status of the subject and its relative scope vis-à-vis the modal predicate, among other frequently mentioned ones), but depends on the cumulative effect of several factors working together. The dissertation also shows the necessity of adopting a more fine-grained view of root modality, one that allows a simpler mapping of syntactic structures into modal meanings

Dans la première partie de ce travail nous définissons une logique modale, EDL, qui soit la fusion de la logique dynamique et d'une logique épistémique, qui permet de raisonner explicitement avec les connaissances d'un agent, avec une sémantique, une axiomatique associée ainsi qu'une méthode des tableaux, c'est-à-dire une méthode de démonstration automatique. Dans la deuxième partie, plus orientée planification, nous exprimons, à l'aide de EDL, plusieurs des concepts fréquemment posés dans le cadre de la planification sous environnement partiellement observable tels que les connaissances incomplètes, les actions non déterministes, les plans conditionnels, l'observabilité totale, les faits inobservables ou l'acquisition pure et simple de connaissance. Par ailleurs, nous présentons une méthode automatique de vérification de plan ainsi que de génération de plan dédié aux problèmes sous environnement partiellement observable et directement issue de EDL
In the first part of this work we define a modal logic, EDL, who is the fusion of dynamic logic and a modal epistemic logic, which makes it possible to explicitly reason with agent’s knowledge, with a semantic, an axiomatic and a tableaux method. In the second part, more directed planning, we express, using EDL, several of the concepts frequently posed in the framework of planning under partial observability such as incomplete knowledge, nondeterministic actions, conditional plans, total observability, inobservable facts or knowledge gathering action. In addition, we developed, from our logic, an automatic method of plan checking and of plan generation dedicated to the problems under partial observability

La thèse propose une analyse détaillée de l'emploi non-épistémique des verbes should, ought to et be supposed to en anglais britannique à la fin du 20ième siècle. Elle comporte une partie théorique et une partie appliquée. La partie théorique est une étude de 4 notions qui jouent un rôle important dans l'étude de la nécessité non-épistémique, à savoir la façon dont l'information temporelle est communiquée, la source de la nécessité, la subjectivité et la force de la nécessité. La thèse décrit quels éléments jouent un rôle dans la réalisation des structures temporelles dans ces expressions. Au cours de l'analyse, il est établi que les énoncés qui expriment un sens contrefactuel méritent une attention particulière ; il convient d'expliquer la nature de la contrefactualité comme valeur modale et les éléments qui sont à l'origine du sens contrefactuel.Ensuite, aussi bien la force que la source et la subjectivité de la nécessité sont des concepts cruciaux dans le domaine de la nécessité non-épistémique mais leur sens est généralement considéré comme évident. Il nous faut une explication plus spécifique concernant 2 questions : (a) quelle est la nature des sources qui peuvent être à l'origine de la nécessité ? ; (b) comment caractériser une nécessité "forte" ou "subjective" ? La partie appliquée offre une description des emplois de should, ought to et be supposed to sur la base d'un corpus de 1200 exemples tirés du British National Corpus. L'interface sémantique/pragmatique est une question prioritaire dans cette étude ; à quel niveau (sémantique/pragmatique) les interprétations temporelles/fortes/subjectives/contrefactuelles des énoncés non-épistémiques sont-ils réalisés ?
The thesis proposes a detailed analysis of root necessity meanings expressed by should, ought to and be supposed to in late 20th century British English and puts forward a theoretical apparatus for the analysis of the meanings of these verbs that is applied in a corpus-based study. The theoretical part concerns a study of 4 notions that play an important role in the study of root necessity meanings : the expression of temporal information, the source of the necessity, subjectivity and strenght. The lack of clear descriptions of the temporal information communicated by root necessity examples shows that it is necessary to develop a framework that allows us to determine the factors that play a role in the communication of temporal information. Special attention is paid to counterfactual examples ; it is specified how counterfactuality is to be understood as a modal value and which mechanism(s) can produce counterfactuality. Strenght, source and subjectivity are crucial concepts in the field of root necessity but their meaning is often considered self-evident. The dissertation offers a framework that can be used (a) to analyse the nature of the source that can lie at the origin of the necessity ; (b) to analyse the nature of "strong" or "subjective" necessity. The applied part offers a description of the contemporary uses of should, ought to and be suppoded to on the basis of corpus of 1200 examples extracted from the British National Corpus. The semantics/pragmatics interface is a focal point of interest throughout this study : at which (semantic/pragmatic) levels do temporal/strong/subjective/counterfactual interpretations of non-epistemic necessity examples arise ?

Nous avons argumenté, dans cette thèse, en faveur de l’idée selon laquelle l’anglais et l’arabe, deux langues très différentes, possèdent, l’une et l’autre, un système temporel et aspectuel. Ce point de vue a nécessité l’étude d’autres aspects des deux langues. C’est pour cela que nous ne nous sommes pas limitée à étudier uniquement les deux formes perfective (FP) et imperfective (FI) en arabe et les formes équivalentes en anglais. Nous avons également traité, pour les deux langues, la forme participiale, le système négatif, les adverbes temporels, le mode, et la modalité. Nous avons conclu que le temps et l’Aktionsart restent invariables d’une langue à l’autre et que seul l’aspect grammatical varie selon les langues. De fait, l’aspect morphologique détermine le temps en arabe. Nous avons essayé d’expliquer pourquoi Neg sélectionne FI et proposé que FI apparaît en bas de la structure et qu'elle est bloquée par Neg. FI est marquée pour [+Asp], contrairement à FP qui est [+ T]. Nous avons suggéré, finalement, que l’imperfectif en arabe fonctionne comme un infinitif, marqué pour les traits [-T] et [+Agr]
Although English and Arabic are typologically two very different languages, we have argued in this thesis that both possess a temporal and an aspectual system. This view required the study of other aspects of these two languages. That's why we have not limited our study to only perfective (PF) and imperfective (IF) forms in Arabic and their equivalent in English. We also studied the participial form, the negative system, temporal adverbs, mood and modality. We concluded that tense and Aktionsart remain unchanged from one language to another and only the grammatical aspect varies according to the different languages. In fact, morphological aspect determines tense in Arabic. We tried to explain why Neg selects IF and proposed that IF appears at the bottom of the structure and it is blocked by Neg. IF is [+Asp], contrary to PF which is marked for [+T]. We suggested, finally, that the imperfective in Arabic functions like an infinitive with the ! features [-T] and [+Agr]

MARINO NETO, Francisco. A manifestação da modalidade epistêmica em narrativas orais. 2006, 89f. Dissertação (Mestrado em Linguística) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-Graduação em Linguística, Fortaleza-CE, 2006.
Submitted by nazareno mesquita (nazagon36@yahoo.com.br) on 2012-07-05T14:22:49Z No. of bitstreams: 1 2006_diss_FMNETO.pdf: 371597 bytes, checksum: eba4f5dab2d428c5761bf5ac6184d1d7 (MD5)
Approved for entry into archive by Maria Josineide Góis(josineide@ufc.br) on 2013-10-10T14:04:56Z (GMT) No. of bitstreams: 1 2006_diss_FMNETO.pdf: 371597 bytes, checksum: eba4f5dab2d428c5761bf5ac6184d1d7 (MD5)
Made available in DSpace on 2013-10-10T14:04:56Z (GMT). No. of bitstreams: 1 2006_diss_FMNETO.pdf: 371597 bytes, checksum: eba4f5dab2d428c5761bf5ac6184d1d7 (MD5) Previous issue date: 2006
A presente pesquisa tem o objetivo de proceder a uma análise da manifestação da modalidade dita epistêmica (aquela que se circunscreve no eixo do conhecimento, em um continuum entre a certeza e a não-certeza, entre certo e possível) em narrativas orais, especificamente as narrativas de experiência pessoal e as narrativas recontadas, do Corpus Discurso & Gramática. A língua falada e escrita na cidade de Natal (FURTADO DA CUNHA, 1998). A investigação tem suporte na Gramática Funcional, assumindo que os enunciados se constituem em camadas que representam instâncias dos processos de modalização (DIK, 1997; HENGEVELD, 1987, 1988). Os resultados desta análise dizem respeito, primeiramente, à freqüência dos modalizadores epistêmicos nos dois tipos de narrativa; nesse caso, observou-se maior freqüência nas narrativas recontadas. Ainda com relação aos dois tipos de narrativa, ao se avaliar o nível de comprometimento no uso dos modalizadores epistêmicos, os resultados indicaram que os informantes tenderam bem mais para o descomprometimento com a veracidade dos conteúdos relatados. Nas narrativas orais, o escopo da modalização teve maior freqüência no nível da proposição; a segunda maior freqüência é relativa ao nível do termo e, por último, a modalização menos freqüente foi a que incidiu sobre a predicação. Com relação ao nível de descomprometimento relativo ao escopo da modalização epistêmica, a maior incidência deu-se no nível do termo, depois no da proposição e, finalmente, a modalização incidiu, com menor freqüência, no nível da predicação. Quantos aos meios lingüísticos utilizados para a modalização epistêmica nas narrativas orais, constatou-se a predominância do verbo, seguido do advérbio; o adjetivo, o substantivo e o pronome apresentaram freqüência bem reduzida. Conforme hipótese levantada, a narrativa de experiência pessoal apresentou menor índice de modalização. Em termos proporcionais, no entanto, o nível de descomprometimento foi menor nas narrativas recontadas. A qualificação epistêmica da proposição excedeu bastante a modalização epistêmica objetiva.
Cette recherche vise à procéder à une analyse de la catégorie modalité et à l’évaluation de quelques manifestations de la modalité dite épistémique (celle qui se situe dans l’axe de la connaissance, dans le continuum entre la certitude et l’incertitude, entre le certain et le possible) dans des récits oraux, spécifiquement les récits d’expérience personnelle et les récits racontés. Cette recherche se base sur la Grammaire fonctionnaliste. L’investigation fonctionnaliste de la catégorie modalité assure que les énoncés se constituent de couches qui représentent les instances des processus de la modalisation, d’après Dik (1997) et Hengeveld (1987, 1988). Les résultats de cette analyse concernent d’abord la fréquence des modalisateurs épistémiques. Dans ce cas, on a observé une fréquence plus élevée dans les récits racontés.En parlant encore des deux types de récits, lorsqu’on a évalué le niveau d’engagement par rapport à l’usage des modalisateurs épistimiques, les résultats ont indiqué que les informateurs ont bien plus tendu au dégagement de la véracité de ce qu’ils racontent. Dans les récits oraux, la portée de la modalisation a présenté une fréquence plus élevée au niveau de la proposition. La deuxième fréquence plus élevée se rapporte au niveau du terme. En dernier, la modalisation la moins fréquente, c’est celle dont l’incidence est retombée sur la prédication. En ce qui concerne le niveau de dégagement touchant la portée de la modalisation épistémique, on a remarqué la plus haute fréquence au niveau du terme, ensuite au niveau de la proposition et, finalement, la plus basse fréquence a atteint le niveau de la prédication. Quant aux moyens linguistiques utilisés pour la modalisation épistémique dans les récits oraux, on constaté la prédominance du verbe; en deuxième place, on a l’adverbe; l’adjectif, le nom e le pronom ont présenté la fréquence bien réduite. D’après l’hypothèse émise, le récit d’expérience personnelle a présenté le plus bas indice de modalisation; par contre, proportionnellement, le niveau de dégagement a été plus bas dans les récits racontés. La qualification épistémique de la proposition a beaucoup excédé la modalisation épistémique objective.

Le but de cette thèse est de fournir une logique du comportement d'un agent artificiel interagissant rationnellement avec un humain. La rationalité de son comportement le rend capable d'une part de construire et suivre un plan de communication et d'autre part de respecter des conventions de communication. Notre recherche est orientée vers un modèle logique du raisonnement de l'agent sur ce qu'il dit et ressent, dans le but de rendre ses interactions avec un humain les plus naturelles possible pour ce dernier. La première étape de ce travail a été d'étendre une logique modélisant la mise à jour des croyances, afin que cette dernière soit réalisée selon un protocole de communication. Dans ce cadre, un agent qui suit un comportement coopératif respecte une certaine cohérence entre ce qu'il croit, ce qui est le cas, et ce qu'il peut dire selon son plan de communication. La deuxième étape a concerné l'expression des émotions. Cette modélisation est construite à partir de composantes plus primitives qui sont ce qu'un agent dit, ce qu'il aurait pu faire, sa représentation du monde, ses désirs et valeurs morales
The aim of this thesis is to design a logic of the behavior of an artificial agent that interacts rationally with a human. The rationality of her behavior enables her on the one hand to build and follow communication plans and on the other hand to follow communication conventions. Our research is oriented towards a logical model of the agent's reasoning about what she says and feels with the aim of making her interactions with a human the most natural for the latter. The first step of our work was to extend a logic modeling belief update such that the update follows a communication's protocol. In this framework, an agent following the rules of cooperative behavior respects coherence between what she believes, what is the case, and what she can say according to her communication plan. The second step concerned the agent's expression of emotions. This modeling builds on primitives representing what an agent says, what she could have done, her representation of the world and her desires and moral values

De nombreuses situations font intervenir la notion de communication ainsi que des restrictions sur cette communication. C'est le cas lorsque l'on pense à des informations militaires, des communications médicales, des normes morales, des jeux, etc. Dans certaines des ces situations, il se peut qu'existent des structures pour penser et organiser le droit de communiquer. Dans l'armée par exemple une telle structure est assez simple et facile à comprendre: plus on est haut-placé dans la hiérarchie militaire, plus on a le droit de savoir et moins on a l'autorisation de dire. Le champ médical est un exemple où des restrictions plus subtiles empêchent un patron d'avoir accès à des données médicales d'un de ses travailleurs, alors qu'un docteur devrait pouvoir y avoir accès. Souvent, ces structures sont présentées sous la forme d'un ensemble de règles informelles, ensemble qui peut être incomplet et même contradictoire, laissant la justice décider ce qu'il convient de faire en cas de conflits. L'objectif de ce mémoire est d'apporter quelques éléments, dans le champ de la logique, pour une meilleure compréhension de la notion de `droit de savoir', éléments qui pourraient nous aider à comprendre et répondre aux problèmes pour lesquels cette notion rentre en jeu. On concentre notre réflexion sur la partie informative de la communication, ce qui amène notre sujet central à la notion de `droit de donner une information'
Many situations involve communication and some kind of restrictions on this communication. This is the case when we think about military information, medical communication, moral norms, games, etc. In some situations, we may have structures to think about and organize the right to communicate in such situations. In the army, for example, such a structure is quite simple and easy to understand: the higher you are in the hierarchy, the more you may know and the less you are allowed to say. Indeed, a general can know any secret information but have no right to reveal it to his soldiers, while a soldier can give any information he wants (and may have to give the information he has) without having the right to access most of the information. As another example, in the medical field, more subtle restrictions prevent a boss from getting one of his workers' medical information, while a doctor may have access to it. Often such structures are presented as an informal and incomplete set of rules, that may be contradictory (and let the justice decide what should be done in case of conflict). But we have no general framework to analyze such situations. The aim of this dissertation is to make some progress, in the field of logic, in the understanding of the notion of `right to say', progress that may help us understand and answer problems that involve such a notion. We focus on the informative part of communication (and not on its form) leading our topic to the notion of `right to give a piece of information'

La pratique de l’espagnol en discours implique différentes possibilités d’expression. Elle se heurte à la rigidité normative de la concordance temporelle des grammaires descriptives : temps de la principale/temps de la subordonnée, incluant l’antériorité et la postériorité des procès. Notre objectif tente de déterminer ce mode incompris qu’est le subjonctif. Notre démarche a consisté à rendre compte des différentes raisons de la discordance temporelle dans la presse péninsulaire contemporaine. En effet parfois le journaliste-rapporteur a le choix entre deux possibilités temporelles du subjonctif. Aussi nous démontrons qu’un sens unique regroupe tous les sens attribués à ce mode dont les paramètres peuvent être déterminés grâce à la théorie calculatoire des modalités de L. Gosselin. Notre recherche met en évidence les causes multifactorielles parfois en interaction, à savoir le double sémantisme des verbes introducteurs d’alternance modale, le type de discours, le double positionnement énonciatif, le point de vue du locuteur, la dislocation temporelle, les adverbes de temps opposé dans les deux propositions, la cohérence textuelle, les inférences, etc. qui peuvent conduire, malgré la non-concordance, à une meilleure expressivité grâce aux effets de sens des temps du subjonctif
The practice of Spanish in speech implies different possibilities of expression. It comes up against the normative rigidity of the temporal concordance of prescriptive grammars: tense of the principal / tense of the subordinate, sometimes including the anteriority and posteriority of the processes. Our objective attempts to determine this misunderstood mode that is the subjunctive. Our approach consisted in accounting for the different reasons for the temporal discordance in the contemporary peninsular press. Indeed, sometimes the journalist-reporter has the choice between two temporal possibilities of the subjunctive. Thus, we show that a single meaning includes all the meanings attributed to this mode whose parameters can be determined thanks to L. Gosselin’s computational theory of modalities. Our research highlights the multifactorial causes that are sometimes interacting (i.e. the double semantics of modal alternation introductory verbs, the type of discourse, the enunciative double positioning, the speaker’s point of view, the temporal dislocation, the adverbs of opposite time in the two propositions, the textual coherence, the inferences, etc.) which can lead, despite the non-concordance, to a better expressiveness thanks to the sense effects of the times of the subjective

La logique Here-and-there (HT) est une logique monotone à trois valeurs, intermédiaire entre les logiques intuitionniste et classique. La logique de l'équilibre est un formalisme non-monotone dont la sémantique est donnée par un critère de minimalisation sur les modèles de la logique HT. Ce formalisme est fortement lié à la programmation orientée ensemble réponse (ASP), un paradigme relativement nouveau de programmation déclarative. La logique de l'équilibre constitue la base logique de l'ASP: elle reproduit la sémantique par ensemble réponse des programmes logiques et étend la syntaxe de l'ASP à des théories propositionnelles plus générales, i.e., des ensembles finis de formules propositionnelles. Cette thèse traite aussi bien des logiques modales sous-jacentes à la logique de l'équilibre que de ses extensions modales. Ceci nous permet de produire un cadre complet pour l'ASP et d'examiner de nouveau la base logique de l'ASP. A cet égard, nous présentons d'abord une logique modale monotone appelée MEM et capable de caractériser aussi bien l'existence d'un modèle de la logique de l'équilibre que la relation de conséquence dans ces modèles. La logique MEM reproduit donc la propriété de minimalisation qui est essentielle dans la définition des modèles de la logique de l'équilibre. Nous définissons ensuite une extension dynamique de la logique de l'équilibre. Pour ce faire, nous étendons le langage de la logique HT par deux ensembles de programmes atomiques qui permettent de mettre à jour, si possible, les valeurs de vérité des variables propositionnelles. Ces programmes atomiques sont ensuite combinés au moyen des connecteurs habituels de la logique dynamique. Le formalisme résultant est appelé logique Here-and-there dynamique (D-HT) et permet la mise-à-jour des modèles de la logique de l'équilibre. Par ailleurs, nous établissons un lien entre la logique D-HT et la logique dynamique des affectations propositionnelles (DL-PA): les affectations propositionnelles mettent à vrai ou à faux les valeurs de vérité des variables propositionnelles et transforment le modèle courant comme en logique dynamique propositionnelle. En conséquence, DL-PA constitue également une logique modale sous-jacente à la logique de l'équilibre. Au début des années 1990, Gelfond avait défini les spécifications épistémiques (E-S) comme une extension de la programmation logique disjonctive par des notions épistémiques. L'idée de base des E-S est de raisonner correctement à propos d'une information incomplète au moyen de la notion de vue-monde dans des situations où la notion précédente d'ensemble réponse n'est pas assez précise pour traiter le raisonnement de sens commun et où il y a une multitude d'ensembles réponses. Nous ajoutons ici des opérateurs épistémiques au langage original de la logique HT et nous définissons une version épistémique de la logique de l'équilibre. Cette version épistémique constitue une nouvelle sémantique non seulement pour les spécifications épistémiques de Gelfond, mais aussi plus généralement pour les programmes logiques épistémiques étendus. Enfin, nous comparons notre approche avec les sémantiques existantes et nous proposons une équivalence forte pour les théories de l'E-HT. Ceci nous conduit naturellement des E-S aux ASP épistémiques et peut être considéré comme point de départ pour les nouvelles extensions du cadre ASP
Here-and-there (HT) logic is a three-valued monotonic logic which is intermediate between classical logic and intuitionistic logic. Equilibrium logic is a nonmonotonic formalism whose semantics is given through a minimisation criterion over HT models. It is closely aligned with answer set programming (ASP), which is a relatively new paradigm for declarative programming. To spell it out, equilibrium logic provides a logical foundation for ASP: it captures the answer set semantics of logic programs and extends the syntax of answer set programs to more general propositional theories, i.e., finite sets of propositional formulas. This dissertation addresses modal logics underlying equilibrium logic as well as its modal extensions. It allows us to provide a comprehensive framework for ASP and to reexamine its logical foundations. In this respect, we first introduce a monotonic modal logic called MEM that is powerful enough to characterise the existence of an equilibrium model as well as the consequence relation in equilibrium models. The logic MEM thus captures the minimisation attitude that is central in the definition of equilibrium models. Then we introduce a dynamic extension of equilibrium logic. We first extend the language of HT logic by two kinds of atomic programs, allowing to update the truth value of a propositional variable here or there, if possible. These atomic programs are then combined by the usual dynamic logic connectives. The resulting formalism is called dynamic here-and-there logic (D-HT), and it allows for atomic change of equilibrium models. Moreover, we relate D-HT to dynamic logic of propositional assignments (DL-PA): propositional assignments set the truth values of propositional variables to either true or false and update the current model in the style of dynamic epistemic logics. Eventually, DL-PA constitutes an alternative monotonic modal logic underlying equilibrium logic. In the beginning of the 90s, Gelfond has introduced epistemic specifications (E-S) as an extension of disjunctive logic programming by epistemic notions. The underlying idea of E-S is to correctly reason about incomplete information, especially in situations when there are multiple answer sets. Related to this aim, he has proposed the world view semantics because the previous answer set semantics was not powerful enough to deal with commonsense reasoning. We here add epistemic operators to the original language of HT logic and define an epistemic version of equilibrium logic. This provides a new semantics not only for Gelfond's epistemic specifications, but also for more general nested epistemic logic programs. Finally, we compare our approach with the already existing semantics, and also provide a strong equivalence result for EHT theories. This paves the way from E-S to epistemic ASP, and can be regarded as a nice starting point for further frameworks of extensions of ASP

Cette étude vise à fournir une description détaillée de l’évidentialité en anglais dans une approche contrastive avec le tibétain. Elle repose sur un corpus spécialement recueilli au Tibet et en Angleterre (TSC et CSC/LAC, 2010-2012, 10 h.). Le tibétain possède un système évidentiel complexe et grammaticalisé dont la description peut fournir une grille d’analyse préliminaire pour notre étude de l’évidentialité en anglais. Des exemples authentiques et des données quantitatives issus du corpus nous permettent d’illustrer et de compléter les descriptions du groupe verbal tibétain dans plusieurs travaux pionniers antérieurs à la présente recherche (Tournadre & Sangda Dorje 1998) afin de poser les bases de la sémantique évidentielle. Les marqueurs évidentiels qui émergent dans les parties tibétaine et anglaise du corpus sont examinés afin de déterminer les paramètres qui motivent leur utilisation. Les marqueurs tibétains sont principalement grammaticaux et intégrés à des paradigmes syntaxiques : copules, suffixes verbaux et enclitiques. Les marqueurs évidentiels anglais sont lexicaux ou semi-grammaticaux : verbes de perception, verbes de cognition, verbes de discours, modaux, adverbes, conjoints, parenthétiques et marqueurs de discours (Nuyts 2001a, Cappelli 2007, Sanders & Sweetser 2009, Mortensen 2010, Whitt 2010, Gisborne 2010, Miller 2008, Boulonnais 2010, Gurajek 2010, Kaltenböck et coll. 2011, Heine 2013). Cette description de l’évidentialité en tibétain et en anglais nous permet d’analyser les conséquences d’un rendu grammatical ou lexical de cette notion (Talmy 2000, Bybee et coll. 1994, Nuyts 2001a, Boye & Harder 2009). Des analyses quantitatives et qualitatives du corpus contrastif et sur large corpus illustrent les différences de complexité, d'optionalité, de fréquence, de restriction sémantique, de prise en charge, de statut informatif, et de stratégie de discours dans les deux systèmes.Enfin, nous réévaluons la dichotomie, souvent considérée comme acquise, entre évidentialité grammaticale et lexicale (Aikhenvald 2004). Nous avançons que les marqueurs évidentiels des deux langues se positionnent à différents endroits sur un continuum multidimensionnel lexique-grammaire. Cette étude ne remet pas en question que le système évidentiel tibétain est plus grammaticalisé que le système anglais, mais démontre que ce dernier présente tous les signes d’une grammaticalisation partielle. Nous concluons ainsi que l’évidentialité est une notion pertinente et nécessaire pour une description linguistique complète de l’anglais
This study aims to give a detailed description of evidentiality in English in contrast with Tibetan. It is based on a specialised corpus collected in Tibet and in England (TSC and CSC/LAC, 2010-2012, 10 h.).Tibetan has a complex and grammaticalised evidential system, and its description can provide a preliminary analytical grid for a semantic assessment of English evidentiality. Athentic examples and quantitative data from the corpus illustrate and supplement the analyses of the Tibetan verb phrase from previous research (Tournadre & Sangda Dorje 1998), in order to lay the foundation of the semantics of evidentiality. The evidential markers that emerge in the Tibetan and English sections of the corpus are examined so as to determine the parameters that motivate their usage. Tibetan evidentials are mainly grammatical and paradigmatised: copulas, verb suffixes and enclitics. English evidentials are either lexical or semi-grammatical: perception verbs, cognition verbs, speech verbs, modals, adverbs, conjuncts, parentheticals and discourse markers (Nuyts 2001a, Cappelli 2007, Sanders & Sweetser 2009, Mortensen 2010, Whitt 2010, Gisborne 2010, Miller 2008, Boulonnais 2010, Gurajek 2010, Kaltenböck et al. 2011, Heine 2013).This survey of Tibetan and English evidentiality provides precise data for the analysis of the consequences of a grammatical or a lexical rendering of this notion (Talmy 2000, Bybee et al. 1994, Nuyts 2001a, Boye & Harder 2009). Qualitative and quantitative evidence illustrates the differences in complexity, optionality, frequency, semantic restriction, speaker commitment, informative status and discourse strategy in the two systems. Finally, this study reassesses the assumed dichotomy between grammatical and lexical evidentiality (Aikhenvald 2004), arguing that evidentials in both Tibetan and English inhabit a lexicon-grammar multidimensional continuum, merely in different positions. This study does not question that the Tibetan evidential system is more grammaticalised than the English one, but it shows that the latter presents all the signs of partial grammaticalisation. This reassessment leads to the conclusion that evidentiality is a relevant and necessary notion for a thorough linguistic description of English

Les comportement épistémiques, mobiles et spatiaux sont omniprésent dans les systèmes distribués aujourd’hui. La nature intrinsèque épistémique de ces types de systèmes provient des interactions des éleménts qui en font parties. La plupart des gens sont familiarisés avec des systèmes numériques où les utilisateurs peuvent partager ses croyances, opinions et même des mensonges intentionnels (des canulars). Aussi, les modèles de ces systèmes doivent tenir compte des interactions avec d’autres de même que leur nature distribués. Ces comportements spatiaux et mobiles font part d’applications où les données se déplacent dans des espaces (peut-être imbriqués) qui sont définis par, par exemple, cercles d’amis, des groupes, ou des dossiers partagés. Nous pensons donc qu’une solide compréhension des notion d’espaces, de mobilité spatial ainsi que le flux d’information épistémique est cruciale dans la plupart des modèles de systèmes distribués de nos jours.Les systèmes de contrainte (sc) fournissent les domaines et les opérations de base pour les fondements sémantiques de la famille de modèles déclaratifs formels de la théorie de la concurrence connu sous le nom de programmation concurrent par contraintes (pcc). Les systèmes des contraintes spatiales (scs) représentent des structures algébriques qui étendent sc pour raisonner sur les comportement spatiaux et épistémiques de base tel que croyance et l’extrusion. Les assertions spatiales et épistémiques peuvent être vues comme des modalités spécifiques. D’autres modalités peuvent être utilisées pour les assertions concernant le temps, les connaissances et même pour l’analyse des groupes entre autres concepts utilisés dans la spécification et la vérification des systèmes concurrents.Dans cette thèse nous étudions l’expressivité des systèmes de contraintes spatiales dans la perspective générale du comportement modal et épistémique. Nous montrerons que les systèmes de contraintes spatiales sont assez robustes pour capturer des modalités inverses et pour obtenir de nouveaux résultats pour les logiques modales. Également, nous montrerons que nous pouvons utiliser les scs pour exprimer un comportement épistémique fondamental comme connaissance. Finalement, nous donnerons une caractérisation algébrique de la notion de l’information distribuée au moyen de constructions sur scs
Epistemic, mobile and spatial behaviour are common place in today’s distributed systems. The intrinsic epistemic nature of these systems arises from the interactions of the elements taking part of them. Most people are familiar with digital systems where users share their beliefs, opinions and even intentional lies (hoaxes). Models of those systems must take into account the interactions with others as well as the distributed quality these systems present. Spatial and mobile behaviour are exhibited by applications and data moving across (possibly nested) spaces defined by, for example, friend circles, groups, and shared folders. We therefore believe that a solid understanding of the notion of space and spatial mobility as well as the flow of epistemic information is relevant in many models of today’s distributed systems.Constraint systems (cs’s) provide the basic domains and opera- tions for the semantic foundations of the family of formal declarative models from concurrency theory known as concurrent constraint programming (ccp). Spatial constraint systems (scs’s) are algebraic structures that extend cs’s for reasoning about basic spatial and epistemic behaviour such as belief and extrusion. Both spatial and epistemic assertions can be viewed as specific modalities. Other modalities can be used for assertions about time, knowledge and even the analysis of groups among other concepts used in the specification and verification of concurrent systems.In this thesis we study the expressiveness of spatial constraint systems in the broader perspective of modal and epistemic behaviour. We shall show that spatial constraint systems are sufficiently robust to capture inverse modalities and to derive new results for modal logics. We shall show that we can use scs’s to express a fundamental epistemic behaviour such as knowledge. Finally we shall give an algebraic characterization of the notion of distributed information by means of constructors over scs’s

Cette thèse est structurée autour de deux axes d’études : (1) développer des logiques épistémiques formalisant la prise en compte de nouvelles données en présence d'informations incomplètes ou incohérentes ; (2) caractériser les notions de bisimulation sur les modèles de ces nouvelles logiques. Les logiques modales utilisées pour formaliser des raisonnements dans le cadre d’informations incomplètes et incohérentes, telle que la logique modale de contingence, sont généralement plus faibles que les logiques modales standards. Nos travaux se basent sur des méthodes logiques, algébriques et co-algébriques
In this Ph.D. dissertation we investigate reasoning about information change in the presence of incomplete or inconsistent information, and the characterisation of notions of bisimulation on models encoding such reasoning patterns. Modal logics for incomplete and inconsistent information are typically weaker than the standard modal logics, such as the modal logic of contingency. We use logical, algebraic and co-algebraic methods to achieve our aims. The dissertation consists of two main parts. The first part focusses on reasoning about information change, and the second part focusses on expressivity and bisimulation. In the following, we give an overview of the contents of this dissertation

Les logiques multivalentes sont définies comme une famille de logiques non classiques dont la caractéristique commune est de ne pas restreindre les valeurs de vérité aux seuls « vrai » et « faux ». À cet égard, Kleene (1938) a offert une logique se fondant sur l’intuition que tout énoncé est soit vrai, soit faux ; mais qu’il existe néanmoins des énoncés dont la valeur de vérité n’est pas connue. La formalisation d’une telle intuition amena Kleene à introduire une troisième attribution de valeur de vérité pour les énoncés : « inconnu ». Pour autant, une telle formalisation reste ambiguë : elle échoue à résoudre la dichotomie entre le fait que tout énoncé est soit vrai, soit faux et le fait qu’il existe des énoncés dont l’attribution de valeur de vérité n’est ni « vrai », ni « faux ». L’enjeu de la présente thèse sera l’introduction d’une nouvelle logique multivalente intitulée logique de l’agent rationnel se fondant sur les idées de Kleene tout en en éliminant l’ambiguïté décrite plus haut.La logique de l’agent rationnel permet de modéliser le raisonnement d’un agent en considérant la connaissance (ou l’ignorance) qu’il peut avoir de la valeur de vérité classique des énoncés. D’un point de vue technique, nous introduisons plusieurs définitions de la notion de conséquence logique dans ce cadre, et construisons sur cette base, des sémantiques complètes de notre logique. Nous montrons ensuite l’intérêt d’une telle formalisation en l’appliquant à l’étude d’un problème épistémologique connu sous le nom de « paradoxe de la connaissabilité ». D’un point de vue épistémologique, l’introduction de la logique de l’agent rationnel permet d’analyser la notion d’ignorance comme indépendante de celle de connaissance. Une telle formalisation ouvre ainsi la voie à une position inédite, selon laquelle la notion d’ignorance est primitive et non analysable
Many-valued logics is a family of non-classical logics, which is characterized by the fundamental fact that they do not restrict the truth values to only truth and falsity. According to this line of inquiry, Kleene (1938) constructed a logic that is based on the idea that every proposition is either true, or false, but there exist propositions for which the truth value is unknown. The formalisation of this idea leads to the introduction of a third assignment of truth value to propositions, interpreted as “unknown”. However, this formalisation contains an ambiguity, because it does not permit the resolution of a contradiction between the fact that every proposition is either true or false, and the fact that there exist propositions for which the assignment of truth value is neither “true” nor “false”. The initial aim of the present thesis is to explore Kleene’s idea in order to introduce and analyse a new many-valued logic, to be called the logic of a rational agent, that is founded on Kleene’s ideas, but that eliminates the above-mentioned ambiguity.The logic of a rational agent models the reasoning of an agent, taking into account the knowledge (or ignorance) of the classical truth value of a proposition that the agent can have. On the technical level, we introduce diverse definitions of entailment relations and construct consistent and complete semantics on this base. We then show the interest inherent in such a formalisation, by proposing an application of this logic to a famous epistemological problem, known as the “knowability paradox”. On the epistemological level, the logic of a rational agent permits us to offer an analysis of the notion of ignorance, as understood independently from the notion of knowledge. Such a formalization

Cette thèse est une investigation de la structure syntaxique et de l'interprétation modale des phrases impliquant le modal dénominal de nécessité behar ‘devoir, falloir, avoir besoin’ et un complément infinitif. La thèse analyse le statut syntaxique des compléments non finis du verbe modal denominal behar en examinant leur interaction avec des phénomènes syntaxiques sensibles à des conditions structurelles et de localité diverses, et conclut que les compléments d’infinitif de behar peuvent correspondre à différentes structures sous-jacentes. Le type d'infinitif le plus complexe du point de vue structurel est un infinitif non-restructurant qui projette une architecture de phrase complète (c.-à-d. une CP), et le plus petit est un infinitif réduit de restructuration qui projette une structure de phrase de niveau vP. Il y a des preuves pour l'existence des types intermédiaires projetant jusqu'au domaine flexionnel (IP / TP). D'autre part, la thèse examine les propriétés thématiques et de portée des sujets dans chacun des différents types structurels et l'interprétation modale à laquelle elles donnent cours. Sur la base de cette analyse, la thèse soutient que l'interprétation modale n'est déterminée par aucun facteur en particulier (la présence de la restructuration, le statut référentiel du sujet et sa portée relative vis-à-vis du prédicat modal, parmi d'autres fréquemment mentionnés), mais dépend de l'effet cumulatif de plusieurs facteurs travaillant ensemble. La thèse montre également la nécessité d'adopter une vision plus fine de la modalité radicale (root modality), qui permet une association plus simple entre structures syntaxiques et significations modales
This dissertation is an investigation of the syntactic structure and modal interpretation of clauses involving the denominal necessity predicate behar ‘need’ and an infinitival complement. On the one hand, it analyses the syntactic status of non-finite complements of denominal behar by examining their interaction with syntactic phenomena sensitive to different structural and locality conditions, and concludes that the infinitival complements of behar can correspond to different underlying structures. The largest type of infinitive is a non-restructuring infinitive that projects a full clausal architecture (i.e. a CP), and the smallest one is a reduced restructuring infinitive that projects up to vP. There is evidence for intermediate types projecting up to the inflectional domain (IP/TP). On the other hand, the dissertation examines the thematic and scope properties of the subjects in each of the different structural types and the modal interpretation that they can give rise to. On the basis of this analysis it is argued that modal interpretation is not constrained by any single factor (the presence of restructuring, the referential status of the subject and its relative scope vis-à-vis the modal predicate, among other frequently mentioned ones), but depends on the cumulative effect of several factors working together. The dissertation also shows the necessity of adopting a more fine-grained view of root modality, one that allows a simpler mapping of syntactic structures into modal meanings