A Probabilistic Approach in Historical Linguistics. Word Order Change in Infinitival Clauses: from Latin to Old French

Thesis (Ph.D.) - Indiana University, French, 2015This thesis investigates word order change in infinitival clauses from Object-Verb (OV) to Verb-Object (VO) in the history of Latin and Old French. By applying a variationist approach, I examine a synchronic word order variation in each stage of language change, from which I infer the character, periodization and constraints of diachronic variation. I also show that in discourse-configurational languages, such as Latin and Early Old French, it is possible to identify pragmatically neutral contexts by using information structure annotation. I further argue that by mapping pragmatic categories into a syntactic structure, we can detect how word order change unfolds. For this investigation, the data are extracted from annotated corpora spanning several centuries of Latin and Old French and from additional resources created by using computational linguistic methods. The data are then further codified for various pragmatic, semantic, syntactic and sociolinguistic factors. This study also evaluates previous factors proposed to account for word order alternation and change. I show how information structure and syntactic constraints change over time and propose a method that allows researchers to differentiate a stable word order alternation from alternation indicating a change. Finally, I present a three-stage probabilistic model of word order change, which also conforms to traditional language change patterns

Learning Effect Axioms via Probabilistic Logic Programming

In this paper we showed how we can automatically learn the structure and parameters of probabilistic effect axioms for the Simple Event Calculus (SEC) from positive and negative example interpretations stated as short dialogue sequences in natural language. We used the cplint framework for this task that provides libraries for structure and parameter learning and for answering queries with exact and inexact inference. The example dialogues that are used for learning the structure of the probabilistic logic program are parsed into dependency structures and then further translated into the Event Calculus notation with the help of a simple ontology. The novelty of our approach is that we can not only process uncertainty in event recognition but also learn the structure of effect axioms and combine these two sources of uncertainty to successfully answer queries under this probabilistic setting. Interestingly, our extension of the logic-based version of the SEC is completely elaboration-tolerant in the sense that the probabilistic version fully includes the logic-based version. This makes it possible to use the probabilistic version of the SEC in the traditional way as well as when we have to deal with uncertainty in the observed world. In the future, we would like to extend the probabilistic version of the SEC to deal -- among other things -- with concurrent actions and continuous change

Finally, a Polymorphic Linear Algebra Language (Pearl)

Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library. In this paper, we present Pilatus, a polymorphic iterative linear algebra language, applicable to various types of data analytics workloads. The design of this domain-specific language (DSL) is inspired by both mathematics and programming languages: its basic constructs are borrowed from abstract algebra, whereas the key technology behind its polymorphic design uses the tagless final approach (a.k.a. polymorphic embedding/object algebras). This design enables us to change the behaviour of arithmetic operations to express matrix algebra, graph algorithms, logical probabilistic programs, and differentiable programs. Crucially, the polymorphic design of Pilatus allows us to use multi-stage programming and rewrite-based optimisation to recover the performance of specialised code, supporting fixed sized matrices, algebraic optimisations, and fusion

Probabilistic Approach to Epistemic Modals in the Framework of Dynamic Semantics

In dynamic semantics meaning of a statement is not equated with its truth conditions but with its context change potential. It has also been claimed that dynamic framework can automatically account for certain paradoxes that involve epistemic modals, such as the following one: it seems odd and incoherent to claim: (1) “It is raining and it might not rain”, whereas claiming (2) “It might not rain and it is raining” does not seem equally odd (Yalcin, 2007). Nevertheless, it seems that it cannot capture the fact that statement (2) seems odd as well, even though not as odd as the statement (1) (Gauker, 2007). I will argue that certain probabilistic extensions to the dynamic model can account for this subtlety of our linguistic intuitions and represent if not an improved than at least an alternative framework for capturing the way contexts are updated and beliefs revised with uncertain information.Numer został przygotowany przy wsparciu Ministerstwa Nauki i Szkolnictwa Wyższego