The partition semantics of questions, syntactically

Groenendijk and Stokhof (1984, 1996; Groenendijk 1999) provide a logically attractive theory of the semantics of natural language questions, commonly referred to as the partition theory. Two central notions in this theory are entailment between questions and answerhood. For example, the question "Who is going to the party?" entails the question "Is John going to the party?", and "John is going to the party" counts as an answer to both. Groenendijk and Stokhof define these two notions in terms of partitions of a set of possible worlds. We provide a syntactic characterization of entailment between questions and answerhood . We show that answers are, in some sense, exactly those formulas that are built up from instances of the question. This result lets us compare the partition theory with other approaches to interrogation -- both linguistic analyses, such as Hamblin's and Karttunen's semantics, and computational systems, such as Prolog. Our comparison separates a notion of answerhood into three aspects: equivalence (when two questions or answers are interchangeable), atomic answers (what instances of a question count as answers), and compound answers (how answers compose).Comment: 14 page

Design and application of a multi-modal process tomography system

This paper presents a design and application study of an integrated multi-modal system designed to support a range of common modalities: electrical resistance, electrical capacitance and ultrasonic tomography. Such a system is designed for use with complex processes that exhibit behaviour changes over time and space, and thus demand equally diverse sensing modalities. A multi-modal process tomography system able to exploit multiple sensor modes must permit the integration of their data, probably centred upon a composite process model. The paper presents an overview of this approach followed by an overview of the systems engineering and integrated design constraints. These include a range of hardware oriented challenges: the complexity and specificity of the front end electronics for each modality; the need for front end data pre-processing and packing; the need to integrate the data to facilitate data fusion; and finally the features to enable successful fusion and interpretation. A range of software aspects are also reviewed: the need to support differing front-end sensors for each modality in a generic fashion; the need to communicate with front end data pre-processing and packing systems; the need to integrate the data to allow data fusion; and finally to enable successful interpretation. The review of the system concepts is illustrated with an application to the study of a complex multi-component process

Hidden protocols: Modifying our expectations in an evolving world

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V

The "song triptych": reflections on a Debussyan genre

Debussy composed eight sets of three songs between 1891 and 1913. Containing almost all the mélodies of these years, the series tracks his development from post-Wagnerian maturity to ‘late’ style.While we have several fine readings of individual songs, the distinctive ‘triptych’ form of the Debussyan ‘song cycle’ has received little focused analytical attention. One reason might be glimpsed in Susan Youens’s assertion that these little cycles are not as ‘musically unified as [those] of Schubert, Schumann or Mahler’. Indeed the few existing studies of these tripartite sets generally emphasize textual links over musical ones, often in service of a narrowly ‘narrative’ sense of unity.In this paper, I take a fresh look at the various kinds of textual and musical unity on view in this distinctly Debussyan genre. I begin with a contextual glance into visual culture of the time, which saw a striking revival of interest in painted or printed triptychs. Then, in testing how such ‘painterly’ orientation can qualify our sense of multi-part literary and musical form,I outline an allegorical reading of Debussy’s successive triptychs as an evolving response to the pressures of modernist music historiography

The language of social software

Computer software is written in languages likeC, Java orHaskell. In many cases social software is expressed in natural language. The paper explores connections between the areas of natural language analysis and analysis of social protocols, and proposes an extended program for natural language semantics, where the goals of natural language communication are derived from the demands of specific social protocols

Compatible Quantum Theory

Formulations of quantum mechanics can be characterized as realistic, operationalist, or a combination of the two. In this paper a realistic theory is defined as describing a closed system entirely by means of entities and concepts pertaining to the system. An operationalist theory, on the other hand, requires in addition entities external to the system. A realistic formulation comprises an ontology, the set of (mathematical) entities that describe the system, and assertions, the set of correct statements (predictions) the theory makes about the objects in the ontology. Classical mechanics is the prime example of a realistic physical theory. The present realistic formulation of the histories approach originally introduced by Griffiths, which we call 'Compatible Quantum Theory (CQT)', consists of a 'microscopic' part (MIQM), which applies to a closed quantum system of any size, and a 'macroscopic' part (MAQM), which requires the participation of a large (ideally, an infinite) system. The first (MIQM) can be fully formulated based solely on the assumption of a Hilbert space ontology and the noncontextuality of probability values, relying in an essential way on Gleason's theorem and on an application to dynamics due in large part to Nistico. The microscopic theory does not, however, possess a unique corpus of assertions, but rather a multiplicity of contextual truths ('c-truths'), each one associated with a different framework. This circumstance leads us to consider the microscopic theory to be physically indeterminate and therefore incomplete, though logically coherent. The completion of the theory requires a macroscopic mechanism for selecting a physical framework, which is part of the macroscopic theory (MAQM). Detailed definitions and proofs are presented in the appendice

William Shakespeare as a Purveyor of Re-Productions: Understanding Shakespeare’s Plays as Profitable Products

This project, “Recasting William Shakespeare in The Business of Playwriting,” works to reinvigorate the value gained by reading Shakespeare by: Beginning with espousing the importance of reading Shakespeare as a practical businessman first, instead of the mythological literary genius that men decades and now centuries after Shakespeare marketed and herald him as. Although this is not the primary focus of this paper, it is an important framework that begins to enable us to shift our presumptions of the canonical text, Romeo and Juliet . The next section sets the backdrop, i.e. the environment, in which Shakespeare used an emerging profession to recreate literature and runs through the “ancestry” of the star-crossed lovers archetype. Finally, the main section of this project identifies and explicates particular loci where Shakespeare transformed the original text in order to target and appeal to the audience of the times; in particular to Romeo & Juliet , this includes that of the creation of suspense, tragedy in relation to comedy, and an interrogation of love at first sight. This project concludes with a quick review of other proof of audience recognition within Shakespeare’s corpus that can lead to further investigations and close readings of other texts, Shakespearean or not, for financial motivations. All of which will help readers of Shakespeare come away with a greater business appreciation of his work and possibly force readers to think about the economic constraints and incentives shaping literature

Toward a dynamic logic of questions

Questions are triggers for explicit events of ‘issue management’. We give a complete logic in dynamic-epistemic style for events of raising, refining, and resolving an issue, all in the presence of information flow through observation or communication. We explore extensions of the framework to multi-agent scenarios and long-term temporal protocols. We sketch a comparison with some alternative accounts

A Multi-disciplinary Approach to Interactive Information Retrieval upon Semi-structured Data Sets

The so called logic and probabilistic views on IR can be reconciled by a unifying framework for IIR. I present a proposal for a PhD research according to a multidisciplinary perspective and I discuss some of its consequences for IR as a discipline