Indexical predicates

We discuss the challenge to truth-conditional semantics presented by apparent shifts in extension of predicates such as ‘red’. We propose an explicit indexical semantics for ‘red’ and argue that our account is preferable to the alternatives on conceptual and empirical grounds.

Interface vulnerability and knowledge of the subjunctive/indicative distinction with negated epistemic predicates in L2 Spanish.

Much recent research in SLA is guided by the hypothesis of L2 interface vulnerability (see Sorace 2005). This study contributes to this general project by examining the acquisition of two classes of subjunctive complement clauses in L2 Spanish: subjunctive complements of volitional predicates (purely syntactic) and subjunctive vs. indicative complements with negated epistemic matrix predicates, where the mood distinction is discourse dependent (thus involving the syntax-discourse interface). We provide an analysis of the volitional subjunctive in English and Spanish, suggesting that English learners of L2 Spanish need to access the functional projection Mood P and an uninterpretable modal feature on the Force head available to them from their formal English register grammar, and simultaneously must unacquire the structure of English for-to clauses. For negated epistemic predicates, our analysis maintains that they need to revalue the modal feature on the Force head from uninterpretable to interpretable, within the L2 grammar.With others (e.g. Borgonovo & Prévost 2003; Borgonovo, Bruhn de Garavito & Prévost 2005) and in line with Sorace's (2000, 2003, 2005) notion of interface vulnerability, we maintain that the latter case is more difficult for L2 learners, which is borne out in the data we present. However, the data also show that the indicative/subjunctive distinction with negated epistemics can be acquired by advanced stages of acquisition, questioning the notion of obligatory residual optionality for all properties which require the integration of syntactic and discourse information.

Automatic granularity-aware parallelization of programs with predicates, functions, and constraints

Abstract is not available

Distances between Predicates in By-Analogy Reasoning Systems

The purpose is to develop expert systems where by-analogy reasoning is used. Knowledge “closeness” problems are known to frequently emerge in such systems if knowledge is represented by different production rules. To determine a degree of closeness for production rules a distance between predicates is introduced. Different types of distances between two predicate value distribution functions are considered when predicates are “true”. Asymptotic features and interrelations of distances are studied. Predicate value distribution functions are found by empirical distribution functions, and a procedure is proposed for this purpose. An adequacy of obtained distribution functions is tested on the basis of the statistical 2 χ –criterion and a testing mechanism is discussed. A theorem, by which a simple procedure of measurement of Euclidean distances between distribution function parameters is substituted for a predicate closeness determination one, is proved for parametric distribution function families. The proposed distance measurement apparatus may be applied in expert systems when reasoning is created by analogy.

Estruturas factivas e padrões de extração

This paper investigates the relationship between structural and semantic properties of factive sentences and the pattern of extraction exhibited. It is argued that a classification as weak or strong island is unfeasible for what has been termed Factive Island. The kinds of structures allowed as factive complements are analyzed as well as their corresponding behavior concerning extraction. The common feature these structures show is their presuppositional character, which is derived from a selection requirement. I assume that factive predicates select a [+ specific] complement. The differences showed concerning extraction constitute a spontaneous effect from the structural way each construction may satisfy this requirement.

The impact of spatial data redundancy on SOLAP query performance

Geographic Data Warehouses (GDW) are one of the main technologies used in decision-making processes and spatial analysis, and the literature proposes several conceptual and logical data models for GDW. However, little effort has been focused on studying how spatial data redundancy affects SOLAP (Spatial On-Line Analytical Processing) query performance over GDW. In this paper, we investigate this issue. Firstly, we compare redundant and non-redundant GDW schemas and conclude that redundancy is related to high performance losses. We also analyze the issue of indexing, aiming at improving SOLAP query performance on a redundant GDW. Comparisons of the SB-index approach, the star-join aided by R-tree and the star-join aided by GiST indicate that the SB-index significantly improves the elapsed time in query processing from 25% up to 99% with regard to SOLAP queries defined over the spatial predicates of intersection, enclosure and containment and applied to roll-up and drill-down operations. We also investigate the impact of the increase in data volume on the performance. The increase did not impair the performance of the SB-index, which highly improved the elapsed time in query processing. Performance tests also show that the SB-index is far more compact than the star-join, requiring only a small fraction of at most 0.20% of the volume. Moreover, we propose a specific enhancement of the SB-index to deal with spatial data redundancy. This enhancement improved performance from 80 to 91% for redundant GDW schemas.

Relativizing Minimality for A-movement: phi- and theta-relations

This paper discusses two arguments raised against Hornstein`s (1999, 2001) Movement Theory of Control (MTC): Landau`s (2003) contrast between raising and passivized subject control predicates and Culicover and Jackendoff`s (2001) contrast between control and raising within nominals. I show that rather than counter-arguments, the data they present can actually be analyzed as arguments in favor of the MTC. More specifically, I argue that the puzzling contrasts discussed by these authors can be adequately accounted for within the MTC if minimality computations regarding A-movement are relativized in terms of phi- or theta-relations.

The Gothic scene of international relations: ghosts, monsters, terror and the sublime after September 11

Accepting Furet’s claim that events acquire meaning and significance only in the context of narratives, this article argues that a particular type of international relations narrative has emerged with greater distinction after the traumatic experience of September 11: the gothic narrative. In a sense the political rhetoric of President Bush marks the latest example of America’s fine tradition in the gothic genre that began with Edgar Allan Poe and Nathaniel Hawthorne and extends through Henry James to Stephen King. His discourse of national security, it will be shown, assumes many of the predicates of gothic narratives. The gothic scenes evoked by Bush as much as Poe involve monsters and ghosts in tenebrous atmospheres that generate fear and anxiety, where terror is a pervasive tormentor of the senses. Poe’s narratives, for example, turn on encounters with dark, perverse, seemingly indomitable, forces often entombed in haunted houses. Similarly, Bush’s post-September 11 narratives play upon fears of terrorists and rogue states who are equally dark, perverse and indomitable forces. In both cases, ineffable and potently violent and cruel forces haunt and terrorise the civilised, human world.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Wörter stehen da einige. On nominal split topicalization in non-standard viennese german

This work investigates the syntactic, semantic, and pragmatic properties of nominal Split Topicalization (ST) constructions in Standard and non-Standard German. The topic phrase denotes a property, and the MF phrase either modifies this property or picks out a specific entity. Semantically, the topic phrase will be analysed as a property-denoting expression which restricts the denotation of the verbal predicate, while the MF phrase is composed either via specify or restrict (cf. Chung and Ladusaw, 2003). Syntactically, the base position of the topic phrase is the (incorporating) verb, and the MF phrase is generated independently as the complement of the verb containing an empty pronoun. Since predicates introduce abstract discourse referents, the topic phrase can be resumed via "pro" in the MF phrase.

Verbs d'actitud

En aquest article es defi neix la classe dels verbs d'actitud, tant intensionalment, a partir de criteris sint àctics i sem àntics, com extensionalment. Quant a la sintaxi, s'observa que els verbs que pertanyen a aquest grup presenten almenys una estructura distintiva compartida; pel que fa a la sem àntica, a m és d'identifi car-hi els mateixos components de signifi cat, s'ha observat que presenten també el mateix tipus general d'estructura esdevenimental. La hipòtesi de treball és la de Levin [6] -els verbs que tenen el mateix signifi cat comparteixen el mateix comportament sintàctic-, encara que amb alguns matisos. El punt de partida és tamb é la classifi cació d'aquesta autora, sobre la qual es proposa una reagrupaci ó en funci ó dels criteris esmentats.

More evidence concerning the aspect hypothesis: The acquisition of English progressive aspect by Catalan-Spanish instructed learners

A robust finding of studies investigating the Aspect Hypothesis is that learners at early stages of acquisition show a strong preference for using the progressive aspect as associated with activity verbs. As they advance in their acquisition of the second or foreign language, learners move from this prototypical association to associations traditionally considered to be more peripheral (e.g.-ing with accomplishments or achievements). Within this framework, the goal of this paper is to provide further evidence from groups of learners with different proficiency levels with regard to the acquisition of progressive aspect by tutored learners of English who are bilingual Catalan-Spanish. This is done by eliciting data by means of two different task types and by looking at both tokens and types. Our results are consistent with previous research according to which-ing morphology is closely associated with durative lexical aspect, although not necessarily with activity predicates. The study also shows that the type of task has an influence on the frequency and the distribution of learners" progressive forms.