6,113 research outputs found
Modular Complexity Analysis for Term Rewriting
All current investigations to analyze the derivational complexity of term
rewrite systems are based on a single termination method, possibly preceded by
transformations. However, the exclusive use of direct criteria is problematic
due to their restricted power. To overcome this limitation the article
introduces a modular framework which allows to infer (polynomial) upper bounds
on the complexity of term rewrite systems by combining different criteria.
Since the fundamental idea is based on relative rewriting, we study how matrix
interpretations and match-bounds can be used and extended to measure complexity
for relative rewriting, respectively. The modular framework is proved strictly
more powerful than the conventional setting. Furthermore, the results have been
implemented and experiments show significant gains in power.Comment: 33 pages; Special issue of RTA 201
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity
We study the derivational complexity of rewrite systems whose termination is
provable in the dependency pair framework using the processors for reduction
pairs, dependency graphs, or the subterm criterion. We show that the
derivational complexity of such systems is bounded by a multiple recursive
function, provided the derivational complexity induced by the employed base
techniques is at most multiple recursive. Moreover we show that this upper
bound is tight.Comment: 22 pages, extended conference versio
A broad-coverage distributed connectionist model of visual word recognition
In this study we describe a distributed connectionist model of morphological processing, covering a realistically sized sample of the English language. The purpose of this model is to explore how effects of discrete, hierarchically structured morphological paradigms, can arise as a result of the statistical sub-regularities in the mapping between
word forms and word meanings. We present a model that learns to produce at its output a realistic semantic representation of a word, on presentation of a distributed representation of its orthography. After training, in three experiments, we compare the outputs of the model with the lexical decision latencies for large sets of English nouns and verbs. We show that the model has developed detailed representations of morphological structure, giving rise to effects analogous to those observed in visual lexical decision experiments. In addition, we show how the association between word form and word meaning also
give rise to recently reported differences between regular and irregular verbs, even in their completely regular present-tense forms. We interpret these results as underlining the key importance for lexical processing of the statistical regularities in the mappings between form and meaning
Acquisition of gender agreement in Lithuanian:exploring the effect of diminutive usage in an elicited production task
This study examines Lithuanian children's acquisition of gender agreement using an elicited production task. Lithuanian is a richly inflected Baltic language, with two genders and seven cases. Younger (N=24, mean 3;1, 2;5–3;8) and older (N=24, mean 6;3, 5;6–6;9) children were shown pictures of animals and asked to describe them after hearing the animal's name. Animal names differed with respect to familiarity (novel vs. familiar), derivational status (diminutive vs. simplex) and gender (masculine vs. feminine). Analyses of gender-agreement errors based on adjective and pronoun usage indicated that younger children made more errors than older children, with errors more prevalent for novel animal names. For novel animals, and for feminine nouns, children produced fewer errors with nouns introduced in diminutive form. These results complement findings from several Slavic languages (Russian, Serbian and Polish) that diminutives constitute a salient cluster of word forms that may provide an entry point for the child's acquisition of noun morphology
A Combination Framework for Complexity
In this paper we present a combination framework for polynomial complexity
analysis of term rewrite systems. The framework covers both derivational and
runtime complexity analysis. We present generalisations of powerful complexity
techniques, notably a generalisation of complexity pairs and (weak) dependency
pairs. Finally, we also present a novel technique, called dependency graph
decomposition, that in the dependency pair setting greatly increases
modularity. We employ the framework in the automated complexity tool TCT. TCT
implements a majority of the techniques found in the literature, witnessing
that our framework is general enough to capture a very brought setting
Paradigm Completion for Derivational Morphology
The generation of complex derived word forms has been an overlooked problem
in NLP; we fill this gap by applying neural sequence-to-sequence models to the
task. We overview the theoretical motivation for a paradigmatic treatment of
derivational morphology, and introduce the task of derivational paradigm
completion as a parallel to inflectional paradigm completion. State-of-the-art
neural models, adapted from the inflection task, are able to learn a range of
derivation patterns, and outperform a non-neural baseline by 16.4%. However,
due to semantic, historical, and lexical considerations involved in
derivational morphology, future work will be needed to achieve performance
parity with inflection-generating systems.Comment: EMNLP 201
12th International Workshop on Termination (WST 2012) : WST 2012, February 19–23, 2012, Obergurgl, Austria / ed. by Georg Moser
This volume contains the proceedings of the 12th International Workshop on Termination (WST 2012), to be held February 19–23, 2012 in Obergurgl, Austria. The goal of the Workshop on Termination is to be a venue for presentation and discussion of all topics in and around termination. In this way, the workshop tries to bridge the gaps between different communities interested and active in research in and around termination. The 12th International Workshop on Termination in Obergurgl continues the successful workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), Paris (2007), Leipzig (2009), and Edinburgh (2010). The 12th International Workshop on Termination did welcome contributions on all aspects of termination and complexity analysis. Contributions from the imperative, constraint, functional, and logic programming communities, and papers investigating applications of complexity or termination (for example in program transformation or theorem proving) were particularly welcome. We did receive 18 submissions which all were accepted. Each paper was assigned two reviewers. In addition to these 18 contributed talks, WST 2012, hosts three invited talks by Alexander Krauss, Martin Hofmann, and Fausto Spoto
Computation of distances for regular and context-free probabilistic languages
Several mathematical distances between probabilistic languages have been investigated in the literature, motivated by applications in language modeling, computational biology, syntactic pattern matching and machine learning. In most cases, only pairs of probabilistic regular languages were considered. In this paper we extend the previous results to pairs of languages generated by a probabilistic context-free grammar and a probabilistic finite automaton.PostprintPeer reviewe
- …