A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems

Nondeterminism and partially instantiated data structures give logic programming expressive power beyond that of functional programming. However, functional programming often provides convenient syntactic features, such as having a designated implicit output argument, which allow function cali nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic functional extensión, used in the Ciao system, which can be implemented in ISO-standard Prolog systems and covers function application, predefined evaluable functors, functional definitions, quoting, and lazy evaluation. The extensión is also composable with higher-order features and can be combined with other extensions to ISO-Prolog such as constraints. We also highlight the features of the Ciao system which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.

As Línguas de Cabo Verde: uma Radiografia Sociolinguística

Esta dissertação constitui um estudo de caso, exploratório e de carácter descritivo. Tem como objectivo fazer uma radiografia sociolinguística de Cabo Verde, particularmente centrada no actual uso das duas línguas faladas no arquipélago, o português (PCV) e o crioulo cabo-verdiano (LCV). A linha de pesquisa adoptada inspira-se fortemente nos estudos de macrosociolinguística, tomando a situação de contacto de línguas, caracterizadora da sociedade cabo-verdiana, como ponto de partida para o enquadramento de um conjunto de questões seleccionadas para investigação mais aprofundada. São, assim, explorados os processos implicados nesta situação de contacto concreta e os resultados linguísticos decorrentes da mesma, como o bilinguismo ou a diglossia (cf. Cap. 3). Recorrendo a contributos teóricos de áreas associadas e complementares (cf. Cap. 1), foca-se a importância da análise dos domínios em que cada uma das línguas é usada, das redes sociais dos falantes ou das suas atitudes linguísticas. A investigação partiu de uma recolha de dados realizada para o efeito, nas nove ilhas habitadas. As unidades de análise retidas correspondem a uma amostragem de dois grupos sociais distintos: falantes jovens, alunos do ensino secundário (inquiridos por questionário), e falantes adultos cuja profissão implica uma intensa actividade linguística (professores e ‘líderes’, inquiridos por entrevistas semi-dirigidas). Foi usada uma metodologia de recolha o mais rigorosa possível e adoptado o tratamento estatístico de dados (cf. Cap. 2). O confronto dos comportamentos linguísticos e das atitudes das duas gerações inquiridas, com diferentes características (cf. Introdução), forneceu importantes informações sobre a dinâmica linguística da sociedade cabo-verdiana, conclusões essas que serão importantes para a definição de orientações no âmbito da política linguística (cf. Cap. 5). É apresentada, como complemento, uma análise exploratória de alguns aspectos sintácticos atestados nas produções dos indivíduos inquiridos com instrução superior (cf. Cap. 4), um contributo, embora modesto, para a definição da variedade padrão do PCV

Syntaksia suomenruotsalaisittain

Summary: Syntactic features of Finno-Swedish

Mikael Agricolan teosten kielen ala-, ylä-, ja -pää-vartaloiset adpositiot

Adpositions with the stems ala, ylä and pää in the language of Mikael Agricola’s writings The language of Mikael Agricola’s (c 1510–1557) writings represents an interesting phase in the development of the Finnish system for adpositions. In the Finnish language, the older Uralic system of postpositions has undergone expansion and a new system of prepositions has been adopted. On the other hand, the adposition system found in Agricola’s writings has also been strongly affected by foreign models, because Agricola’s texts are mainly translations of religious texts, which by and large use a word-for-word translation strategy. In the thesis, I explore Agricola’s use of adpositions; more specifically, which adpositions carry the meaning of ‘being under’ or ‘being over’ something, and in what other functions these adpositions are used. My main focus is on the semantics of the adpositions. I also study the syntactic features of adpositions and adposition structures; these are intertwined with semantics, since the meaning of adpositions is established in the adposition clause. Finally, I compare Agricola’s use of adpositions to the corresponding adpositions of present-day Finnish. Adpositions with stems ala, ylä and pää form an interesting subject for research. Their frequency in the data, however, is highly uneven. The overwhelming majority of the adpositions studied in the thesis are päälle; there are only two occurrences of adpositions with the stem ylä. Adpositions typically denote a location ‘under’ or ‘above’ something. Almost half of the adpositions, however, can be classified as semantically unmotivated and as representing a foreign model in terms of the Finnish language; they do not occur in present-day Finnish. In Agricola’s texts they act in more grammatical roles than the corresponding adpositions of present-day Finnish. In the thesis, the corresponding adpositions in the source languages are carefully analysed. All other uses of the adpositions are marginal in relation to spatial ones and those based on foreign models. The original meanings of the adpositions have not changed much since Agricola, but adpositions considered to originate from foreign models have been intentionally eliminated in presentday standard Finnish. It is also noteworthy that the system of adpositions with the stems ala, ylä and pää has changed since Agricola. His texts include the adposition ala, which corresponds to the modern adposition alle. Likewise the adposition yllä is absent in Agricola, as are the internal locative cases of the adposition pää.

Annotation syntaxico-sémantique des actants en corpus spécialisé

L’annotation en rôles sémantiques est une tâche qui permet d’attribuer des étiquettes de rôles telles que Agent, Patient, Instrument, Lieu, Destination etc. aux différents participants actants ou circonstants (arguments ou adjoints) d’une lexie prédicative. Cette tâche nécessite des ressources lexicales riches ou des corpus importants contenant des phrases annotées manuellement par des linguistes sur lesquels peuvent s’appuyer certaines approches d’automatisation (statistiques ou apprentissage machine). Les travaux antérieurs dans ce domaine ont porté essentiellement sur la langue anglaise qui dispose de ressources riches, telles que PropBank, VerbNet et FrameNet, qui ont servi à alimenter les systèmes d’annotation automatisés. L’annotation dans d’autres langues, pour lesquelles on ne dispose pas d’un corpus annoté manuellement, repose souvent sur le FrameNet anglais. Une ressource telle que FrameNet de l’anglais est plus que nécessaire pour les systèmes d’annotation automatisé et l’annotation manuelle de milliers de phrases par des linguistes est une tâche fastidieuse et exigeante en temps. Nous avons proposé dans cette thèse un système automatique pour aider les linguistes dans cette tâche qui pourraient alors se limiter à la validation des annotations proposées par le système. Dans notre travail, nous ne considérons que les verbes qui sont plus susceptibles que les noms d’être accompagnés par des actants réalisés dans les phrases. Ces verbes concernent les termes de spécialité d’informatique et d’Internet (ex. accéder, configurer, naviguer, télécharger) dont la structure actancielle est enrichie manuellement par des rôles sémantiques. La structure actancielle des lexies verbales est décrite selon les principes de la Lexicologie Explicative et Combinatoire, LEC de Mel’čuk et fait appel partiellement (en ce qui concerne les rôles sémantiques) à la notion de Frame Element tel que décrit dans la théorie Frame Semantics (FS) de Fillmore. Ces deux théories ont ceci de commun qu’elles mènent toutes les deux à la construction de dictionnaires différents de ceux issus des approches traditionnelles. Les lexies verbales d’informatique et d’Internet qui ont été annotées manuellement dans plusieurs contextes constituent notre corpus spécialisé. Notre système qui attribue automatiquement des rôles sémantiques aux actants est basé sur des règles ou classificateurs entraînés sur plus de 2300 contextes. Nous sommes limités à une liste de rôles restreinte car certains rôles dans notre corpus n’ont pas assez d’exemples annotés manuellement. Dans notre système, nous n’avons traité que les rôles Patient, Agent et Destination dont le nombre d’exemple est supérieur à 300. Nous avons crée une classe que nous avons nommé Autre où nous avons rassemblé les autres rôles dont le nombre d’exemples annotés est inférieur à 100. Nous avons subdivisé la tâche d’annotation en sous-tâches : identifier les participants actants et circonstants et attribuer des rôles sémantiques uniquement aux actants qui contribuent au sens de la lexie verbale. Nous avons soumis les phrases de notre corpus à l’analyseur syntaxique Syntex afin d’extraire les informations syntaxiques qui décrivent les différents participants d’une lexie verbale dans une phrase. Ces informations ont servi de traits (features) dans notre modèle d’apprentissage. Nous avons proposé deux techniques pour l’identification des participants : une technique à base de règles où nous avons extrait une trentaine de règles et une autre technique basée sur l’apprentissage machine. Ces mêmes techniques ont été utilisées pour la tâche de distinguer les actants des circonstants. Nous avons proposé pour la tâche d’attribuer des rôles sémantiques aux actants, une méthode de partitionnement (clustering) semi supervisé des instances que nous avons comparée à la méthode de classification de rôles sémantiques. Nous avons utilisé CHAMÉLÉON, un algorithme hiérarchique ascendant.

Processing empty categories in a second language: When naturalistic exposure fills the (intermediate) gap

An ongoing debate on second language (L2) processing revolves around whether or not L2 learners process syntactic information similarly to monolinguals (L1), and what factors lead to a native-like processing. According to the Shallow Structure Hypothesis (Clahsen & Felser, 2006a), L2 learners’ processing does not include abstract syntactic features, such as intermediate gaps of wh-movement, but relies more on lexical/semantic information. Other researchers have suggested that naturalistic L2 exposure can lead to native-like processing (Dussias, 2003). This study investigates the effect of naturalistic exposure in processing wh-dependencies. Twenty-six advanced Greek learners of L2 English with an average nine years of naturalistic exposure, 30 with classroom exposure, and 30 native speakers of English completed a self-paced reading task with sentences involving intermediate gaps. L2 learners with naturalistic exposure showed evidence of native-like processing of the intermediate gaps, suggesting that linguistic immersion can lead to native-like abstract syntactic processing in the L2.

Subject-to-subject raising and the syntax of tense in L2 Spanish: a full access approach

This paper investigates the acquisition of syntax in L2 grammars. We tested adult L2 speakers of Spanish (English L1) on the feature specification of T(ense), which is different in English and Spanish in so-called subject-to-subject raising structures. We present experimental results with the verb parecer “to seem/to appear” in different tenses, with and without experiencers, and with Tense Phrase (TP), verb phrase (vP) and Adjectival Phrase (AP) complements. The results show that advanced L2 learners can perform just like native Spanish speakers regarding grammatical knowledge in this domain, although the subtle differences between both languages are not explicitly taught. We argue that these results support Full Access approaches to Universal Grammar (UG) in L2 acquisition, by providing evidence that uninterpretable syntactic features can be learned in adult L2, even when such features are not directly instantiated in the same grammatical domain in the L1 grammar.

Um estudo sobre os diferentes valores modais do verbo 'poder' em entrevistas jornalísticas do espanhol

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

La lengua gauchesca en sus orígenes

La llamada 'lengua gauchesca' presenta serios inconvenientes cuando se pretende su definición. La dificultad estriba en que puede ponerse en discusión tanto su carácter de lengua diferenciada como su atribución al 'gaucho', en tanto este colectivo no es unívoco, sino responde a diferentes perfiles sociales, diversamente evaluados a lo largo de la historia colonial y poscolonial rioplatense. El presente trabajo intenta probar que la lengua gauchesca es un constructo literario, lingüísticamente basado en la variedad rural rioplatense, a partir de la cual los autores del género sintetizaron un nuevo código, elaborado desde un vocabulario inicial hasta la formación de una variedad secundaria estandarizada

La lengua gauchesca en sus orígenes

La llamada 'lengua gauchesca' presenta serios inconvenientes cuando se pretende su definición. La dificultad estriba en que puede ponerse en discusión tanto su carácter de lengua diferenciada como su atribución al 'gaucho', en tanto este colectivo no es unívoco, sino responde a diferentes perfiles sociales, diversamente evaluados a lo largo de la historia colonial y poscolonial rioplatense. El presente trabajo intenta probar que la lengua gauchesca es un constructo literario, lingüísticamente basado en la variedad rural rioplatense, a partir de la cual los autores del género sintetizaron un nuevo código, elaborado desde un vocabulario inicial hasta la formación de una variedad secundaria estandarizada

La lengua gauchesca en sus orígenes

La llamada 'lengua gauchesca' presenta serios inconvenientes cuando se pretende su definición. La dificultad estriba en que puede ponerse en discusión tanto su carácter de lengua diferenciada como su atribución al 'gaucho', en tanto este colectivo no es unívoco, sino responde a diferentes perfiles sociales, diversamente evaluados a lo largo de la historia colonial y poscolonial rioplatense. El presente trabajo intenta probar que la lengua gauchesca es un constructo literario, lingüísticamente basado en la variedad rural rioplatense, a partir de la cual los autores del género sintetizaron un nuevo código, elaborado desde un vocabulario inicial hasta la formación de una variedad secundaria estandarizada

Notas sobre la lengua guaymí en Costa Rica

Como aproximación panorámica al estudio actual del guaymí, una de las lenguas de la familia chibcha, es un análisis introductorio de los rasgos gramaticales y tipológicos generales de esa lengua. Previa información de índole antropológica e histórico-cultural, se exponen en forma analítica aspectos sintácticos, sobre la frase verbal, el morfema de negación, el de reflexivización, los sujetos dativos, los objetos directos. Señala algunas tareas pendientes, que suponen un estudio más pormenorizado y extendido.Providing a panoramic view of the present studies of the Guaymí language, one of the Chibchan languages, this is an introductory analysis of the general grammatical and typological features of that language. First, information is given on anthropological, historical and cultural aspects. Then syntactic features are described for the verb phrase, the morpheme for negation, reflexive forms, dative subjects and direct objects. Mention is made of pending tasks requiring a broader and more detailed study.

Using syntactic and semantic features for classifying mo- dal values in the portuguese language

This paper presents a study made in a field poorly explored in the Portuguese language – modality and its automatic tagging. Our main goal was to find a set of attributes for the creation of automatic tag- gers with improved performance over the bag-of-words (bow) approach. The performance was measured using precision, recall and F1. Because it is a relatively unexplored field, the study covers the creation of the corpus (composed by eleven verbs), the use of a parser to extract syntac- tic and semantic information from the sentences and a machine learning approach to identify modality values. Based on three different sets of attributes – from trigger itself and the trigger’s path (from the parse tree) and context – the system creates a tagger for each verb achiev- ing (in almost every verb) an improvement in F1 when compared to the traditional bow approach.

A graphical tool for the tomographic characterisation of microstructural features on metal matrix composites

Research on the micro-structural characterization of metal-matrix composites uses X-ray computed tomography to collect information about the interior features of the samples, in order to elucidate their exhibited properties. The tomographic raw data needs several steps of computational processing in order to eliminate noise and interference. Our experience with a program (Tritom) that handles these questions has shown that in some cases the processing steps take a very long time and that it is not easy for a Materials Science specialist to interact with Tritom in order to define the most adequate parameter values and the proper sequence of the available processing steps. For easing the use of Tritom, a system was built which addresses the aspects described before and that is based on the OpenDX visualization system. OpenDX visualization facilities constitute a great benefit to Tritom. The visual programming environment of OpenDX allows an easy definition of a sequence of processing steps thus fulfilling the requirement of an easy use by non-specialists on Computer Science. Also the possibility of incorporating external modules in a visual OpenDX program allows the researchers to tackle the aspect of reducing the long execution time of some processing steps. The longer processing steps of Tritom have been parallelized in two different types of hardware architectures (message-passing and shared-memory); the corresponding parallel programs can be easily incorporated in a sequence of processing steps defined in an OpenDX program. The benefits of our system are illustrated through an example where the tool is applied in the study of the sensitivity to crushing – and the implications thereof – of the reinforcements used in a functionally graded syntactic metallic foam.

Narrative comprehension: Semantic and syntactic summary production

The purpose of this research was to examine from a syntactic and narrative structure perspective two narrative summary types: a summary with a length constraint and an unconstrained summary. In addition, this research served to develop a multidimensional theory of narrative comprehension.^ College freshmen read two short stories written by written by Sake and were asked to write a constrained summary for one text and an unconstrained summary for the other text. Following this the subjects completed a metacognitive questionnaire. The summaries were analyzed to examine transitivity features and narrative structure features. The metacognitive questionnaires were examined to extract information about plot structure, differences between one and two episode stories, and to gain insight into the strategies used by subjects in producing both summary types.^ A Paired t-test conducted on the data found that there was a significant transitivity feature mean difference between a constrained summary and an unconstrained summary indicating that the number of transitivity features produced from each summary type were task dependent.^ Chi-square tests conducted on the data found that there were proportional differences in usage between plot features and thematic abstract units in an unconstrained summary and a constrained summary indicating that plot features and thematic abstract units produced from each summary type were task dependent.^ Qualitative analyses indicated that setting, goal, and resolution are typical within plot organization, there are summary production differences between one and two episode narratives, and subjects do not seem to be aware of summary production strategies.^ The results of this research have implications for comprehension and writing instruction. ^