Semantics as a gateway to language

This paper presents an account of semantics as a system that integrates conceptual representations into language. I define the semantic system as an interface level of the conceptual system CS that translates conceptual representations into a format that is accessible by language. The analysis I put forward does not treat the make up of this level as idiosyncratic, but subsumes it under a unified notion of linguistic interfaces. This allows us to understand core aspects of the linguistic-conceptual interface as an instance of a general pattern underlying the correlation of linguistic and non-linguistic structures. By doing so, the model aims to provide a broader perspective onto the distinction between and interaction of conceptual and linguistic processes and the correlation of semantic and syntactic structures

NETMET: A Program for Generating and Interpreting Metaphors

Metaphors have computable semantics. A program called NETMET both generates metaphors and produces partial literal interpretations of metaphors. NETMET is based on Kittay's semantic field theory of metaphor and Black's interaction theory of metaphor. Input to NETMET consists of a list of literal propositions. NETMET creates metaphors by finding topic and source semantic fields, producing an analogical map from source to topic, then generating utterances in which terms in the source are identified with or predicated of terms in the topic. Given a metaphor, NETMET utilizes if-then rules to generate the implication complex of that metaphor. The literal leaves of the implication complex comprise a partial literal interpretation

From deep dyslexia to agrammatic comprehension on silent reading

We report on a case of a French-speaking patient whose performance on reading aloud single words was characteristically deep dyslexic (in spite of preserved ability to identify letters), and whose comprehension on silent sentence reading was agrammatic and strikingly poorer than on oral reading. The first part of the study is mainly informative as regards (i) the relationship between letter identification, semantic paralexias and the ability to read nonwords, (ii) the differential character of silent and oral reading tasks, and (iii) the potential modality-dependent character of the deficits in comprehension encountered. In the second part of the study we examine the patient's sensitivity to verb-noun ambiguity and probe her skills in the comprehension of indexical structures by exploring her ability to cope with number agreement and temporal and prepositional relations. The results indicate the patient's sensitivity to certain dimensions of these linguistic categories, reveal a partly correct basis for certain incorrect responses, and, on the whole, favor a definition of the patient's disorders in terms of a deficit in integrating indexical information in language comprehension. More generally, the present study substantiates a microgenetic approach to neuropsychology, where the pathological behavior due to brain damage is described as an arrest of microgenesis at an early stage of development, so that patient's responses take the form of unfinished "products" which would normally undergo further development

A Generalised Quantifier Theory of Natural Language in Categorical Compositional Distributional Semantics with Bialgebras

Categorical compositional distributional semantics is a model of natural language; it combines the statistical vector space models of words with the compositional models of grammar. We formalise in this model the generalised quantifier theory of natural language, due to Barwise and Cooper. The underlying setting is a compact closed category with bialgebras. We start from a generative grammar formalisation and develop an abstract categorical compositional semantics for it, then instantiate the abstract setting to sets and relations and to finite dimensional vector spaces and linear maps. We prove the equivalence of the relational instantiation to the truth theoretic semantics of generalised quantifiers. The vector space instantiation formalises the statistical usages of words and enables us to, for the first time, reason about quantified phrases and sentences compositionally in distributional semantics

Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language

We present a natural language question/answering system to interface the University of Évora databases that uses clarification dialogs in order to clarify user questions. It was developed in an integrated logic programming framework, based on constraint logic programming using the GnuProlog(-cx) language [2,11] and the ISCO framework [1]. The use of this LP framework allows the integration of Prolog-like inference mechanisms with classes and inheritance, constraint solving algorithms and provides the connection with relational databases, such as PostgreSQL. This system focus on the questions’ pragmatic analysis, to handle ambiguity, and on an efficient dialogue mechanism, which is able to place relevant questions to clarify the user intentions in a straightforward manner. Proper Nouns resolution and the pp-attachment problem are also handled. This paper briefly presents this innovative system focusing on its ability to correctly determine the user intention through its dialogue capability

Being, doing, and play: A theoretical and clinical exploration

This paper explores the metonymy of the following aphorism, delivered by Winnicott in a 1967 lecture: “From being comes doing, but there can be no do before be.” (1970, p. 25, emphasis in original). This aphorism has been little discussed or explored in the literature, but Winnicott articulated similar ideas in his more academic papers (e.g., 1965, 1970). These similar communications about being and doing will be examined alongside more contemporary thinking about the ideas to which Winnicott alludes in this aphorism; works by Benjamin (1988) and Akhtar (2000) in particular will be brought to bear on the subject. Two case studies will then be discussed, in order to examine the clinical implications of the theoretical discussion. Ultimately, such exploration will substantiate the claim that, through the metonymy of being and doing, Winnicott was alluding to a “statement of human nature” that he published just 3 years later (1970, p. 2). Winnicott’s own concept of play will then be posited as a critical, third element comprising “the life of a human being,” which will serve to situate the discussion within a contemporary, relational framework (1970, p. 2)

Experimental Support for a Categorical Compositional Distributional Model of Meaning

Modelling compositional meaning for sentences using empirical distributional methods has been a challenge for computational linguists. We implement the abstract categorical model of Coecke et al. (arXiv:1003.4394v1 [cs.CL]) using data from the BNC and evaluate it. The implementation is based on unsupervised learning of matrices for relational words and applying them to the vectors of their arguments. The evaluation is based on the word disambiguation task developed by Mitchell and Lapata (2008) for intransitive sentences, and on a similar new experiment designed for transitive sentences. Our model matches the results of its competitors in the first experiment, and betters them in the second. The general improvement in results with increase in syntactic complexity showcases the compositional power of our model.Comment: 11 pages, to be presented at EMNLP 2011, to be published in Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processin

Semantics, Modelling, and the Problem of Representation of Meaning -- a Brief Survey of Recent Literature

Over the past 50 years many have debated what representation should be used to capture the meaning of natural language utterances. Recently new needs of such representations have been raised in research. Here I survey some of the interesting representations suggested to answer for these new needs.Comment: 15 pages, no figure

A system of relational syllogistic incorporating full Boolean reasoning

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B. Such primitives formalize sentences from natural language like `All students read some textbooks'. Here A and B denote arbitrary sets (of objects), and R denotes an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem.Comment: Available at http://link.springer.com/article/10.1007/s10849-012-9165-