A closer look at declarative interpretations

AbstractThree semantics have been proposed as the most promising candidates for a declarative interpretation for logic programs and pure Prolog programs: the least Herbrand model, the least term model, i.e., the C-semantics, and the I-semantics. Previous results show that a strictly increasing information ordering between these semantics exists for the class of all programs. In particular, the I-semantics allows us to model the computed answer substitutions, which is not the case for the other two.We study here the relationship between these three semantics for specific classes of programs. We show that for a large class of programs (which is Turing complete), these three semantics are isomorphic. As a consequence, given a query, we can extract from the least Herbrand model of a program in this class all computed answer substitutions. However, for specific programs the least Herbrand model is tedious to construct and reason about because it contains “ill-typed” facts. Therefore, we propose a fourth semantics that associates with a “correctly typed” program the “well-typed” subset of its least Herbrand model. This semantics is used to reason about partial correctness and absence of failures of correctly typed programs. The results are extended to programs with arithmetic

Sentence mood constitution and indefinite noun phrases

Sentence mood in German is a complex category that is determined by various components of the grammatical system. In particular, verbal mood, the position of the finite verb and the wh-characteristics of the so called 'Vorfeld'-phrase are responsible for the constitution of sentence mood in German. This article proposes a theory of sentence mood constitution in German and investigates the interaction between the pronominal binding of indefinite noun phrases which are semantically analyzed as choice functions. It is shown that the semantic objects determined by sentence mood define different kinds of domains which have to be uniquely accessible as the range of the choice function. The various properties of the pronominal binding of indefinites can be derived by the interplay of the proposed theoretical notions

Politeness and Alignment in Dialogues with a Virtual Guide

Language alignment is something that happens automatically in dialogues between human speakers. The ability to align is expected to increase the believability of virtual dialogue agents. In this paper we extend the notion of alignment to affective language use, describing a model for dynamically adapting the linguistic style of a virtual agent to the level of politeness and formality detected in the user’s utterances. The model has been implemented in the Virtual Guide, an embodied conversational agent giving directions in a virtual environment. Evaluation shows that our formality model needs improvement, but that the politeness tactics used by the Guide are mostly interpreted as intended, and that the alignment to the user’s language is noticeable

Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models

Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive comparative studies which map out the multitude of perspectives in a uniform way. Most recently, however, new methodologies have been proposed which allow one to derive uniform characterizations of different declarative semantics for logic programs with negation. In this paper, we study the relationship between two of these approaches, namely the level mapping characterizations due to [Hitzler and Wendt 2005], and the selector generated models due to [Schwarz 2004]. We will show that the latter can be captured by means of the former, thereby supporting the claim that level mappings provide a very flexible framework which is applicable to very diversely defined semantics.Comment: 17 page

The Pragmatics of Person and Imperatives in Sign Language of the Netherlands

We present new evidence against a grammatical distinction between second and third person in Sign Language of The Netherlands (NGT). More precisely, we show how pushing this distinction into the domain of pragmatics helps account for an otherwise puzzling fact about the NGT imperative: not only is it used to command your addressee, it can also express ‘non-addressee-oriented commands’

Review of Edward Branigan, Narrative Comprehension and Film. London and New York: Routledge, 1992. (Distributed by the Law Book Company Ltd.). 325pp. ISBN 0415075114. (pbk), $45.00.

If Point of View in the Cinema introduced its author as one of the leading film analysts by its attention to the details of the process of cinematic presentation, Narrative Comprehension and Film establishes Edward Branigan as a creative theorist beyond the boundaries of film. The book's voice is that of a craftsman speaking from his workshop. No deconstructive symplok and certainly no rhetorical terrorism. Instead, we find a certain modesty of style, which is deceptive considering that Branigan offers a great deal of substance and a range of attractive speculative insights. The author's mastery of technical intricacies within the broader frame of general narrative makes Narrative Comprehension and Film an outstanding teaching book for film studies as well as other disciplines in the humanities. What makes it especially appealing is its careful elaboration of an inferential account of how we make sense of narrative. For this and other reasons, it is well worth paying closer attention than is perhaps usual for a review article to how the book's argument unfolds and in particular to how it manages to relate the double argument about narrative in film and human perception as interpretive construals

Inferentials in spoken English

Although there is a growing body of research on inferential sentences (Declerck 1992, Delahunty 1990, 1995, 2001, Koops 2007, Pusch 2006), most of this research has been on their forms and functions in written discourse. This has left a gap with regards to their range of structural properties and allowed disagreement over their analysis to linger without a conclusive resolution. Most accounts regard the inferential as a type of it-cleft (Declerck 1992, Delahunty 2001, Huddleston and Pullum 2002, Lambrecht 2001), while a few view it as an instance of extraposition (Collins 1991, Schmid 2009). More recently, Pusch's work in Romance languages proposes the inferential is used as a discourse marker (2006, forthcoming). Based on a corpus study of examples from spoken New Zealand English, the current paper provides a detailed analysis of the formal and discoursal properties of several sub-types of inferentials (positive, negative, as if and like inferentials). We show that despite their apparent formal differences from the prototypical cleft, inferentials are nevertheless best analysed as a type of cleft, though this requires a minor reinterpretation of “cleft construction.” We show how similar the contextualized interpretations of clefts and inferentials are and how these are a function of their lexis and syntax

Relevance theory and the semantics of non-declarative sentences

Wilson and Sperber (1988a; Sperber and Wilson 1986) have proposed semantic analyses of declaratives, imperatives and interrogatives which are based on the notion of 'a direct semantic link between linguistic form and representations of propositional attitude'. They claim, however, that the various syntactic structures encode 'procedural' rather than 'conceptual' information. Rather than encoding concepts which appear in representations of propositional attitude (or what Sperber and Wilson call 'higher-level explicatures') they convey information about how to proceed in recovering such representations. This thesis is an attempt to extend this analysis to some constructions which have not been explicitly discussed by Wilson and Sperber, to consider the differences between this approach and some alternatives, and to question the status of the notion of a 'sentence type', which has often been assumed in analysing the various syntactic structures. Some evidence is provided that certain lexical items also encode procedural information about propositional attitudes, and the role of intonation in utterance-interpretation is also discussed. This analysis is based on relevance-theoretic assumptions about semantics and pragmatics. Chapter one presents the general approach to semantics assumed by relevance theory and shows how Wilson and Sperber's proposal fits into this framework. Chapter two is concerned with the proposed semantic analysis of imperatives. This analysis is extended to some 'pseudo-imperatives': forms consisting of the conjunction or disjunction of an imperative and a declarative clause, which have often been treated as conditionals. An analysis of imperative-like constructions containing 'let' or 'let's' is also proposed. This analysis can be extended to related forms containing 'may'. Chapter three is concerned with the semantic analyses of interrogatives and exciamatives proposed by Wilson and Sperber. This approach is extended to some constructions which seem to resemble interrogatives in some ways and exciamatives in others. The relationship between grammar and intonation is also discussed. Tonal structure can also be seen as encoding procedural information. Chapter four contrasts this approach with alternatives which treat illocutionary force or mood as semantic categories. Wilson and Sperber's approach is more successful than the alternatives and suggests reasons for their inadequacy. A straightforward account of the relationship between form and force, and the interpretation of utterances which have been said to perform 'indirect speech acts', follows from Wilson and Sperber's proposal