Computational Interpretations of the Gricean Maxims in the Generation of Referring Expressions

We examine the problem of generating definite noun phrases that are appropriate referring expressions; that is, noun phrases that (a) successfully identify the intended referent to the hearer whilst (b) not conveying to him or her any false conversational implicatures (Grice, 1975). We review several possible computational interpretations of the conversational implicature maxims, with different computational costs, and argue that the simplest may be the best, because it seems to be closest to what human speakers do. We describe our recommended algorithm in detail, along with a specification of the resources a host system must provide in order to make use of the algorithm, and an implementation used in the natural language generation component of the IDAS system.     

Categorical reasoning from multiple diagrams.

Syllogistic reasoning from categorical premise pairs is generally taken to be a multistep process. Quantifiers (all, no, some, some ... not) must be interpreted, representations constructed, and conclusions identified from these. Explanations of performance have been proposed in which errors may occur at any of these stages. The current paper contrasts (a) representation explanations of performance, in which errors occur because not all possible representations are constructed, and/or mistakes are made when doing so (e.g., mental models theory), and (b) conclusion identification explanations, in which errors occur even when information has been correctly and exhaustively represented, due to systematic difficulties that people may have when identifying particular conclusions, or in identifying conclusions in particular circumstances. Three experiments are reported, in which people identified valid conclusions from diagrams analogous to Euler circles, so that the first two stages of reasoning from premise pairs were effectively removed. Despite this, several phenomena associated with reasoning from premise pairs persisted, and it is suggested that whereas representation explanations may account for some of these phenomena, conclusion identification explanations, which have never previously been considered, are required for others.