1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi- cally is needed, for example, to direct and control the reasoning, to speculate or generalize strategic lemmas, and sometimes simply because the conjec- ture to be proved does not hold. In software verification, for example, correct versions of specifications and programs typically are obtained only after a number of...
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let ...
At present there exists no empirically-motivated theory of how perceivers assign a grammatically-permissible interpretation to a sentence. Implicit in many investigations of language comprehension is the idea that each constituent of a sentence is interpreted by the perceiver at the earliest conceivable point, using all potentially relevant sources of information. A variety of counter examples are presented to argue against this implicit theory of sentence interpretation. It is argued that an explicit alternative theory is needed to specify which decisions are made at which points during...
At present there exists no empirically-motivated theory of how perceivers assign a grammatically-permissible interpretation to a sentence. Implicit in...
The present volume contributes to the growing body of work on sentence pro cessing. The goal of work in this area is to construct a theory of human sen tence processing in general, i.e., given a grammar of some particular language and a general characterization of the human sentence processing mechanisms, the particular processing system for that language should follows automati cally. At least that's the goal. What is needed in order to pursue this goal is systematic in-depth analysis of the sentence routines of individual languages. With respect to German, that is precisely what the present...
The present volume contributes to the growing body of work on sentence pro cessing. The goal of work in this area is to construct a theory of human se...
Recent studies in psycho linguistics have ranged through a variety of languages. In this trend, which has no precedent, studies in language processing have followed studies in language acquisition and theoretical linguistics in considering language universals in a broader scope than only in English. Since the beginning of the century, studies in language acquisition have produced a vast body of data from a number of Indoeuropean languages, and the emphasis on the universal has preceded the emphasis on the particular (see (Slobin 1985) for a review). Nowadays, the research in the field...
Recent studies in psycho linguistics have ranged through a variety of languages. In this trend, which has no precedent, studies in language processing...
Over the past 25 years, applied econometrics has undergone tremen- dous changes, with active developments in fields of research such as time series, labor econometrics, financial econometrics and simulation based methods. Time series analysis has been an active field of research since the seminal work by Box and Jenkins (1976), who introduced a gen- eral framework in which time series can be analyzed. In the world of financial econometrics and the application of time series techniques, the ARCH model of Engle (1982) has shifted the focus from the modelling of the process in itself to the...
Over the past 25 years, applied econometrics has undergone tremen- dous changes, with active developments in fields of research such as time series, l...
This work is a psycho linguistic investigation of the processing of tense (more specifically, the English past tense): When it is interpreted, how it is interpreted, and what it is interpreted with respect to. While there has been a great deal of attention paid to tense in the syntax and semantics literature, little work has been done on the details of the psychological processing of this category. The chief value and contribution of this book is to present a richly detailed in-depth study of the processing of tense in adult comprehension tasks, providing an excellent model of how to conceive...
This work is a psycho linguistic investigation of the processing of tense (more specifically, the English past tense): When it is interpreted, how it ...
claim is that such morphological processes can be learnt without symbolization and innate knowledge. See Rumelhart and McClelland (1986) for the original model of past tense acquisition, Plunkett and Marchman (1993), Nakisa, Plunkett and Hahn (1996) and Elman et al. (1996) for developments and extensions to other morphological processes, and Marcus et al. (1992) and Pinker and Prince (1988) for criticism. One line of investigation supporting the view of language as a genetic endowment is closely linked to traditional research on language acquisition and argues as follows: If language is...
claim is that such morphological processes can be learnt without symbolization and innate knowledge. See Rumelhart and McClelland (1986) for the origi...
claim is that such morphological processes can be learnt without symbolization and innate knowledge. See Rumelhart and McClelland (1986) for the original model of past tense acquisition, Plunkett and Marchman (1993), Nakisa, Plunkett and Hahn (1996) and Elman et al. (1996) for developments and extensions to other morphological processes, and Marcus et al. (1992) and Pinker and Prince (1988) for criticism. One line of investigation supporting the view of language as a genetic endowment is closely linked to traditional research on language acquisition and argues as follows: If language is...
claim is that such morphological processes can be learnt without symbolization and innate knowledge. See Rumelhart and McClelland (1986) for the origi...
Every now and again I receive a lengthy manuscript from a kind of theoretician known to psychiatrists as the "triangle people" - kooks who have independently discovered that everything in the universe comes in threes (solid, liquid, gas; protons, neutrons, electrons; the Father, the Son, the Holy Ghost; Moe, Larry, Curly; and so on) . At the risk of sounding like a triangle person, let me explain why I think that the topic of this volume - - storage and computation in the language fac ulty - though having just two sides rather than three, is the key to understanding every interesting issue in...
Every now and again I receive a lengthy manuscript from a kind of theoretician known to psychiatrists as the "triangle people" - kooks who have indepe...
Recent developments in linguistic theory, as well as the growing body of evidence from languages other than English, provide new opportunities for deeper explorations into how language is represented in the mind of learners. This collection of new empirical studies on the acquisition of Spanish morphosyntax by leading researchers in the field of language acquisition, specifically contributes to the characterization of the L1 / L2 connection in acquisition. Using L1 and L2 Spanish data from children and adults, the authors seek to address the central questions that have occupied developmental...
Recent developments in linguistic theory, as well as the growing body of evidence from languages other than English, provide new opportunities for dee...