本論文以兩篇結論對立的社論為個案，藉由形式語義學設計出將論說性篇章刻畫成一階謂詞邏輯符號的論述分析程序，使自然語言中對真實宣稱或正當宣稱的爭論還原成真值語義和論證形式有效性的判斷，從而具體地挽救被歧見所破壞的溝通行動。設計過程初擬了處理語篇命題結構、複合語句成分、回指關係、量號轄域歧義、因果語句、隱性前提推論、和引述結構的實用方案。 / By the means of formal semantics, this thesis used two opposite editorials as cases to design a discourse analysis procedure which translates expository-argumentative texts into formulae of first-order predicate logic. The procedure reduces disputes in natual language about truth or rightness claims into judgements on truth values and validities of argument forms, thus the communicative actions disabled by quarrels can be practically redempted. The designing drafted feasible treatments for propositional structures of discourses, compound sentential constituents, anaphoras, quantifier scope ambiguities, cause-and-effect statements, inferences for absent premises, and quotation structures.

This thesis describes the development of methods for automatically obtaining coarse gaze direction estimates for pedestrians in surveillance video. Gaze direction estimates are beneficial in the context of surveillance as an indicator of an individual's intentions and their interest in their surroundings and other people. The overall task is broken down into two problems. The first is that of tracking large numbers of pedestrians in low resolution video, which is required to identify the head regions within video frames. The second problem is to process the extracted head regions and estimate the direction in which the person is facing as a coarse estimate of their gaze direction. The first approach for head tracking combines image measurements from HOG head detections and KLT corner tracking using a Kalman filter, and can track the heads of many pedestrians simultaneously to output head regions with pixel-level accuracy. The second approach uses Markov-Chain Monte-Carlo Data Association (MCMCDA) within a temporal sliding window to provide similarly accurate head regions, but with improved speed and robustness. The improved system accurately tracks the heads of twenty pedestrians in 1920x1080 video in real-time and can track through total occlusions for short time periods. The approaches for gaze direction estimation all make use of randomised decision tree classifiers. The first develops classifiers for low resolution head images that are invariant to hair and skin colours using branch decisions based on abstract labels rather than direct image measurements. The second approach addresses higher resolution images using HOG descriptors and novel Colour Triplet Comparison (CTC) based branches. The final approach infers custom appearance models for individual scenes using weakly supervised learning over large datasets of approximately 500,000 images. A Conditional Random Field (CRF) models interactions between appearance information and walking directions to estimate gaze directions for head image sequences.

The present MA thesis is concerned with an English verbonominal construction, which consists of a semantically light verb, in the case of the present thesis have and take, with an eventive object. The construction represents one semantic unit, which is proved by a paraphrase in which the object replaces the whole construction as the verb of the clause without any change of meaning. The construction affects the aspectual features of the verb, which is reflected in Czech translation equivalents. It also allows for easier modification and quantification. The kind of determiner and modifier present has an impact on the Czech counterparts, most importantly on the aspect of the verb. Modifiers usually translate as adverbials or adjectives modifying a syntactic object, if the Czech counterpart is verbonominal. The integration of the English modifiers into the Czech sentence is often problematic. The thesis presents a theoretical survey of information on the topic and provides a linguistic description of 279 examples of the construction obtained through the online corpora InterCorp. The examples are analyzed with respect to determiners, quantifiers and modifiers. This, along with the Czech counterparts, is the basis for conclusions on the influence of the construction on the translation to Czech.

Les constructions à verbe support et les constructions à prédicat composé ont été longuement étudiées, mais de façon indépendante dans la linguistique française et anglo-saxonne. En se basant sur le courant du Lexique-Grammaire, cette thèse a visé de répondre à la lacune dans les langues africaines, des études sur des constructions similaires dans lesquelles le verbe est sémantiquement vague et dont la force prédicative repose principalement sur nom. Cette thèse comprend aussi une étude comparative entre les langues des familles différentes pour valider la notion d’universalité de ce type de verbes qui sont dénommés les verbes supports dans le courant dont nous nous basons. En effet notre recherche à démontré que les verbes délexicalisés et désemantisés actualisent des nominaux gérondifs prédicatifs dans la langue éwé, une langue Kwa de la famille Nigéro-congolaise pour laquelle il n’existait pas d’études préalables à ce sujet. D’ailleurs, une étude comparative nous a aussi révélé que les constructions à verbe support en français partagent certaines propriétés syntaxico-sémantiques avec des constructions à prédicat composé en anglais et des constructions à nominal gérondif en éwé telles que la réduction du verbe support et sa reconstructibilité par le biais d’une proposition relative. Les trois langues ont aussi partagé la propriété de certains verbes actualisateurs fonctionnant comme des agents de nominalisation. Cependant, il existe aussi des différences au niveau des constructions. L’une des différences est le fait que la détermination du nom joue un rôle important dans les constructions à verbe support en français et les constructions à prédicat composé en anglais alors que la détermination n’est pas un enjeu important dans la construction à nominal gérondif. D’autres différences qui sont ressorties de notre thèse étaient les différences dans le nombre et la fréquence des constructions à verbe support dans les trois langues ainsi que les différences dans les relations d’interdépendance des éléments différents des constructions étudiées dans les trois langues. En général, l’anglais et le français semblaient très proches et il y avait peu des distinctions syntaxico-sémantiques. Par contre, l’éwé montrait plus de différences – ce qui est un argument en faveur de l’existence de grammaires locales différenciées selon les langues comme le suggère le cadre du Lexique-Grammaire.Cependant, il existe aussi des différences au niveau des constructions. L’une des différences est le fait que la détermination joue un rôle important dans les constructions à verbe support en anglais et en français alors que la détermination n’est pas un enjeu important dans la construction à support en éwé. D’autres différences qui sont ressorties de notre thèse étaient les différences dans le nombre et la fréquence des constructions à verbe support dans les trois langues ainsi que les différences dans les relations d’interdépendance des éléments différents des CVS dans les trois langues. En général, l’anglais et le français semblaient très proches et il y avait peu des distinctions syntaxico-sémantiques. Par contre, l’éwé montrait plus de différences – ce qui est un argument en faveur de l’existence de grammaires locales différenciées selon les langues comme le suggère le cadre du Lexique-Grammaire. / Support verbs have been studied to a great extent in the Lexicon-Grammar framework. This thesis aims at filling the gap of studies of support verb constructions in African languages, as well as that of comparative studies among languages of different families in order to validate the notion of the universality of support verbs. Indeed our research has demonstrated that support verbs do exist in Ewe, a Kwa language of the Niger-Congo family for which there had been no prior study of this notion. Moreover, a comparative study also revealed to us that support verb constructions in English, French and Ewe share certain syntax-semantic properties such as the reduction of the support verbe and its reconstruction through a relative clause. The three languages also shared the property of support verbs being agents of nominalization. However, there are also differences in these constructions. One of the differences is the fact that determination plays an important role in support verb constructions in English and French. However, determination is not an important factor in support verb constructions in Ewe. Other differences that were reflected in our thesis include the differences in number and frequency of support verb constructions (SVCs) in the tree languages, as well as differences in the interdependency links among the various elements of SVCs in the three languages. On the whole, English and French seem linguistically close and there were few syntax-semantic differences. On the other hand, Ewe displayed more differences – which supports the concept of different language-specific local grammars suggested by the Lexical-Grammar framework.

Dans cette thèse nous proposons un modèle temporel dans le cadre des machines à états abstraits (ASM). Une extension du langage de spécification ASM est développé qui correspond à ce modéle temporel pour le temps continu. L'extension du langage avec des constructions de temps permet de diminuer la taille de la spécification et donc de réduire la probabilité d'erreurs. La sémantique de l'extension du langage ASM est fournie et prend en compte les définitions des fonctions externes, les valeurs des délais et les choix de résolution des non-déterminismes. Un sous-système de vérification des propriétés exprimées en logique FOTL (FirstOrder Timed Logic) est développé. Un simulateur d'ASMs temporisées est développé et implémenté, il comprend un analyseur syntaxique, un interprète du langage, un sous-système de vérification des propriétés ainsi qu'une interface graphique / In this thesis a temporal model for abstract state machines (ASM) method is pro- posed. An extension of ASM specification language on the base of the proposed temporal model with continuous time is developed. The language extension helps to reduce the size of the specification hence to diminish the probability of an error. The semantics of the extended ASM language is developed which takes into account the definitions of external functions, the values of time delays and the method of non-determinism resolving. A subsystem for verification of user properties in the FOTL language is developed. A simulator prototype for ASMs with time is developed and implemented. It includes the parser of the timed ASM language, the interpreter, the verification subsystem and the graphical user interface

Made available in DSpace on 2016-04-27T17:27:11Z (GMT). No. of bitstreams: 1 Cassia Sampaio Sanctos.pdf: 875084 bytes, checksum: 3baa23ce43e41c748fa70bf983f30e20 (MD5) Previous issue date: 2015-05-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The thesis constitutes a critical review of Gödel´s doctoral dissertation which presents a proof for the completeness of first order logic. The introduction addresses the concepts of formalism, axiomatic method and completeness, thus the proof can be contextualized. The language for the restricted functional calculus is defined, with the corresponding syntax and semantics, and the original Gödel´s demonstration is updated. The appendix contains a translation of the referred dissertation, which is unprecedented in Portuguese / O trabalho constitui um comentário crítico da dissertação de doutorado de Gödel que apresenta uma prova de completude da lógica de primeira ordem. A introdução trata dos conceitos de formalismo, método axiomático e completude, para que seja possível contextualizar a prova. A linguagem para o cálculo funcional restrito é definida, com sua sintaxe e semântica, e a demonstração original de Gödel é atualizada. O apêndice contém a tradução da referida dissertação, que é inédita em língua portuguesa

Les systèmes embarqués sont de plus en plus intégrés dans les applications temps réel actuelles. Ils sont généralement constitués de composants matériels et logiciels profondément Intégrés mais hétérogènes. Ces composants sont développés sous des contraintes très strictes. En conséquence, le travail des ingénieurs de conception est devenu plus difficile. Pour répondre aux normes de haute qualité dans les systèmes embarqués de nos jours et pour satisfaire aux besoins quotidiens de l'industrie, l'automatisation du processus de développement de ces systèmes prend de plus en plus d'ampleur. Un défi majeur est de développer une approche automatisée qui peut être utilisée pour la vérification intégrée et la validation de systèmes complexes et hétérogènes.Dans le cadre de cette thèse, nous proposons une nouvelle approche compositionnelle pour la modélisation et la vérification des systèmes complexes décrits en langage SystemC. Cette approche est basée sur le modèle des SystemC Waiting State Automata (WSA). Les SystemC Waiting State Automata sont des automates permettant de modéliser le comportement abstrait des systèmes matériels et logiciels décrits en SystemC tout en préservant la sémantique de l'ordonnanceur SystemC au niveau des cycles temporels et au niveau des delta-cycles. Ce modèle permet de réduire la complexité de la modélisation des systèmes complexes due au problème de l'explosion combinatoire tout en restant fidèle au système initial. Ce modèle est compositionnel et supporte le rafinement. De plus, il est étendu par des paramètres temps ainsi que des compteurs afin de prendre en compte les aspects relatifs à la temporalité et aux propriétés fonctionnelles comme notamment la qualité de service. Nous proposons ensuite une chaîne de construction automatique des WSAs à partir de la description SystemC. Cette construction repose sur l'exécution symbolique et l'abstraction des prédicats. Nous proposons un ensemble d'algorithmes de composition et de réduction de ces automates afin de pouvoir étudier, analyser et vérifier les comportements concurrents des systèmes décrits ainsi que les échanges de données entre les différents composants. Nous proposons enfin d'appliquer notre approche dans le cadre de la modélisation et la simulation des systèmes complexes. Ensuite l'expérimenter pour donner une estimation du pire temps d'exécution (worst-case execution time (WCET)) en utilisant le modèle du Timed SystemC WSA. Enfin, on définit l'application des techniques du model checking pour prouver la correction de l'analyse abstraite de notre approche. / Embedded systems are increasingly integrated into existing real-time applications. They are usually composed of deeply integrated but heterogeneous hardware and software components. These components are developed under strict constraints. Accordingly, the work of design engineers became more tricky and challenging. To meet the high quality standards in nowadays embedded systems and to satisfy the rising industrial demands, the automatization of the developing process of those systems is gaining more and more importance. A major challenge is to develop an automated approach that can be used for the integrated verification and validation of complex and heterogeneous HW/SW systems.In this thesis, we propose a new compositional approach to model and verify hardware and software written in SystemC language. This approach is based on the SystemC Waiting State Automata (WSA). The SystemC Waiting State Automata are used to model the abstract behavior of hardware or software systems described in SystemC. They preserve the semantics of the SystemC scheduler at the temporal and the delta-cycle level. This model allows to reduce the complexity of the modeling process of complex systems due to the problem of state explosion during modeling while remaining faithful to the original system. The SystemC waiting state automaton is also compositional and supports refinement. In addition, this model is extended with parameters such as time and counters in order to take into account further aspects like temporality and other extra-functional properties such as QoS.In this thesis, we propose a stepwise approach on how to automatically extract the SystemC WSAs from SystemC descriptions. This construction is based on symbolic execution together with predicate abstraction. We propose a set of algorithms to symbolically compose and reduce the SystemC WSAs in order to study, analyze and verify concurrent behavior of systems as well as the data exchange between various components. We then propose to use the SystemC WSA to model and simulate hardware and software systems, and to compute the worst cas execution time (WCET) using the Timed SystemC WSA. Finally, we define how to apply model checking techniques to prove the correctness of the abstract analysis.

The aim of this dissertation is to analyze the linguistic development of Lithuanian children adopted to Italy focusing on the expression of action (and state) as one of the most important communicative tasks; to define the stages of acquisition of Italian as a second language, the speed with which the stages occur and the factors that influence it; to investigate the position of Lithuanian in the linguistic repertoire of the adopted children. In order to achieve these goals a sociolinguistic survey of adoptive parents has been conducted, adopted children have been observed for a year after the adoption, spontaneous speech data were collected of one selected child, the data then has been transcribed and annotated for analysis with the program CHILDES, a detailed analysis of the expression of action / state has been conducted. Summarizing the results of the research, the dissertation confirms that the adopted children rapidly acquire the new language (L2), they reach a very high level of linguistic quality, comparable to that of the native speakers, even though their acquisition is completely (or mostly) natural and not formal. The expression of action / state starts by using pragmatic principles and gradually passing to the grammatical ones whereas the grammar is acquired in a typical evolving sequence. Even the second language acquisition of the older adopted children has some similarities with the children’s mother tongue acquisition (L1). Age is not the major factor that... [to full text] / Šios disertacijos tikslas – ištirti iš Lietuvos į Italiją įvaikintų vaikų kalbos raidą po įvaikinimo, didžiausią dėmesį skiriant veiksmo raiškai, kaip vienai svarbiausių komunikacijos tikslų; nustatyti antrosios, italų, kalbos įsisavinimo etapus, spartą ir ją lemiančius veiksnius; išsiaiškinti lietuvių kalbos padėtį įvaikintų vaikų kalbiniame repertuare. Šiam tikslui pasiekti buvo atlikta sociolingvistinė įtėvių apklausa, metus laiko po įvaikinimo stebėti vaikai ir rinkti tyrimui pasirinkto vaiko spontaninės kalbos duomenys, kurie vėliau transkribuoti ir užkoduoti analizei pagal programą CHILDES, atlikta išsami veiksmo / būsenos raiškos raidos analizė. Apibendrinant atlikto tyrimo rezultatus, disertacijoje pagrindžiama, kad įvaikinti vaikai itin sparčiai įsisavina naują (K2) kalbą, jie pasiekia labai aukštą, gimtakalbiams prilyginamą, tikslinės kalbos kokybės lygį nepaisant to, kad jų kalbos įsisavinimas yra vien tik (ar daugiausia) natūralus, o ne formalus. Veiksmo raiškos raida vyksta palaipsniui nuo pragmatinių principų pereinant prie gramatinių, o gramatika įsisavinama tipiškai, sudėtingėjančia seka. Net ir vyresnių įvaikintų vaikų antrosios kalbos įsisavinimas turi tam tikrų panašumų su mažų gimtakalbių (K1) vaikų raida. Amžius nėra pagrindinis veiksnys, leidžiantis įvaikintiems vaikams greitai ir sėkmingai įsisavinti naują kalbą. Didžiausią įtaką turi tarptautinio įvaikinimo situacijoje palanki kalbinė aplinka. Per metus naujoji kalba tampa visai ar beveik vienintelė... [toliau žr. visą tekstą]

This study focuses on the predicate argument structure (PAS) of a sub-class of verbs in Xitsonga - verbs of change of possession: give, contribute, future having, providing, obtaining and verbs of exchange. It is shown that these verbs select various theta roles to form their PAS in the different alternations allowed in this language. The effects of the applicative {-el-} and causative {-is-} verbal affixes on the PAS of such verbs are also considered. The study confirms the fact that the ordering of objects in ditransitive verbs is determined by an interplay of syntactic and semantic factors. Ambiguity arises in the case of two animate objects. In this case the object with a definite reading will appear adjacent to the verb. / African Languages / M. A. (Arican Languages)

Orientador: Sonia Maria Lazzarini Cyrino / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-08-22T08:47:05Z (GMT). No. of bitstreams: 1 Meira_Vivian_D.pdf: 1178142 bytes, checksum: e326a7771cea8102eee5851541fef4ea (MD5) Previous issue date: 2013 / Resumo: Esta tese investiga padrões de referencialidade em complementação sentencial no português, italiano e grego moderno, especialmente, o fenômeno conhecido como obviação ou referência disjunta. Esta é uma restrição atestada nas línguas e se caracteriza pelo fato de o sujeito da oração subordinada ser obrigatoriamente disjunto em referência ao sujeito da oração matriz. Tradicionalmente, assume-se que a obviação é uma propriedade de complementação subjuntiva ou um fenômeno resultante, juntamente com o controle, da competição entre formas finitas/não-finitas. No entanto, os dados não condizem com essas hipóteses, já que a obviação é exibida tanto em complementação indicativa quanto nos contextos de infinitivo flexionado. Além disso, nem todo contexto volitivo exibe obviação. Assumindo a teoria de seleção semântica e a versão minimalista de subcategorização (cf. Adger, 2004), propomos que a obviação, exibida em complementação sentencial, é uma restrição semântica exigida por três tipos de predicados, os causativos, os volitivos e os perceptivos físicos, que serão tomados como predicados modais no sentido de serem capazes de impor restrições semânticas aos seus complementos. Estes predicados foram denominados de predicados de obviação, por compartilharem entre si algumas propriedades, como denotar leitura eventiva/não-epistêmica, exigir sujeito pronominal na encaixada independente referencialmente do sujeito matriz e subcategorizar complemento TP. Argumentamos ainda que esses predicados, devido ao seu caráter modal, selecionam semanticamente um traço [obviativo], que é transmitido ao sujeito da encaixada. Predicados de obviação se distinguem de outro grupo de predicado modal, os predicados de controle, por estes não permitirem que o argumento da encaixada seja disjunto do sujeito matriz. Esses dois grupos se distinguem de outro grupo de verbos que permitem referência livre, constituído especialmente por predicados epistêmicos, declarativos, dentre outros, que denotam leitura epistêmica/proposicional e subcategorizam complemento CP. Sintaticamente este grupo de predicados se distingue dos predicados de obviação por subcategorizarem estruturas distintas, pois, enquanto estes têm complemento TP, aqueles selecionam complemento CP. Para explicar por que obviação e controle são exibidos pelo predicado volitivo, propomos que há dois tipos de acepções no volitivo nas línguas: o volitivo padrão, que seleciona controle e o volitivo causativo, que exige obviação. Defendemos que o complemento infinitivo flexionado selecionado por causativo e perceptivo é uma estrutura TP, o que o diferencia da estrutura de infinitivo flexionado selecionada por factivos/epistêmicos/declarativos, que é tomado como um CP. Estes permitem referência livre e aqueles exigem obviação. Nossa proposta é mostrar que a obviação, exibida em complementação sentencial, não é um fenômeno restrito às línguas românicas ou às línguas que exibem a distinção finito/não-finito, mas são uma restrição semântica imposta por predicados de obviação os seus complementos e, devido a isso, essa restrição semântica será exibida por línguas que dispõem desses contextos em complementação sentencial / Abstract: This thesis investigates patterns of referentiality in sentential complementation in Portuguese, Italian and Modern Greek, especially the phenomenon known as obviation or disjoint reference. This is a constraint attested in languages, and it is characterized by the fact that the subject of the subordinate clause must be disjoint in reference to the subject of the matrix sentence. Traditionally, obviation has been assumed to be a property of subjunctive complementation, or a phenomenon arising along with the control from the competition between finite/non-finite forms. However, the data are not consistent with these hypotheses, since obviation appears in indicative complementation and inflected infinitive contexts. Moreover, obviation is not displayed in every volitional context. Based on the theory of semantic selection and a minimalist version of subcategorization (cf. Adger, 2004), this thesis proposes that obviation, in sentential complementation, is a semantic constraint required by three types of predicates, the causative, volitional and physical perceptive predicates, which will be taken as predicates able to impose semantic constraints on their complements. These predicates are called obviation predicates, which share some common properties, as denoting eventive/non-epistemic reading, they require referentially independent subject pronouns in an embedded clause, and select a TP complement. We argue that these predicates, because of their modal character, select semantically a trace [obviative], which is transmitted to the subject in the embedded clause. Obviation predicates are distinguished from another group of modal predicates, control predicates, which do not allow, in an embedded clause, an argument referentially independent from the matrix subject. These two groups are distinguished from yet another group of verbs that allow free reference, specially constituted by epistemic, declarative predicates, among others, which denote an epistemic/propositional reading and select CP complements. Syntactically, this group can be distinguished from obviation predicates by selecting distinct structures, because while these have a TP complement, the former select CP complements. To explain why both obviation and control are displayed by volitional predicates, we propose that there are two types of volitional meanings in the languages: the default volitional that selects control, and the causative volitional, that requires obviation. Furthermore, we argue that the inflected infinitive complement selected by causative and perceptive verbs is a TP structure, and they require obviation, which differ from the inflected infinitive selected by factives/epistemic/declarative verb, which take CP complements and allows free reference. The purpose of this thesis is to show that obviation, in sentential complementation, is not a phenomenon restricted to the Romance languages, or languages that exhibit a distinction between finite and non-finite forms, but that it is a semantic constraint imposed by obviation predicates on their complements and, consequently, this constraint will appear in languages which have these contexts in sentential complementation / Doutorado / Linguistica / Doutora em Linguística