The story of some: Everyday pragmatic inference by children and adults

The statement, some elephants have trunks, is logically true but pragmatically infelicitous. Whilst some is logically consistent with all, it is often pragmatically interpreted as precluding all. In Experiments 1 and 2, we show that with pragmatically impoverished materials, sensitivity to the pragmatic implicature associated with some is apparent earlier in development than has previously been found. Amongst 8-year-old children, we observed much greater sensitivity to the implicature in pragmatically enriched contexts. Finally, in Experiment 3, we found that amongst adults, logical responses to infelicitous some statements take longer to produce than do logical responses to felicitous some statements, and that working memory capacity predicts the tendency to give logical responses to the former kind of statement. These results suggest that some adults develop the ability to inhibit a pragmatic response in favour of a logical answer. We discuss the implications of these findings for theories of pragmatic inference.

From inconsistency handling to non-canonical requirements management: A logical perspective

As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering.

Diagnostic accuracy and reproducibility of tendency oriented perimetry in glaucoma

PURPOSE. To evaluate the diagnostic capability of tendency oriented perimetry (TOP) in glaucoma. METHODS. A): The diagnostic accuracy of mean defect (MD), square-root of the loss variance (sLV), and number of pathologic points (NPP) was calculated in 295 normal and 414 glaucoma eyes (179 early, 112 moderate, and 123 advanced) examined with TOP. B): Threshold fluctuation (F) and its relationship with the loss variance (LV) was measured in 34 normal and 33 glaucoma eyes (mean MD=3 dB; SD=3.9) for TOP and for full-threshold perimetry (FT). C): Twenty-eight eyes with stable glaucoma (mean MD=9.5 dB; SD=7.2) were examined six times to quantify LV error. D): TOP and FT were tested with the simulation program PeriSim using different behavior models. RESULTS. A): The best diagnostic index in early glaucoma (MD

Sensitivity and specificity of frequency-doubling technology, tendency-oriented perimetry, and Humphrey Swedish interactive threshold algorithm-fast perimetry in a glaucoma practice

PURPOSE: To evaluate the sensitivity and specificity of the screening mode of the Humphrey-Welch Allyn frequency-doubling technology (FDT), Octopus tendency-oriented perimetry (TOP), and the Humphrey Swedish Interactive Threshold Algorithm (SITA)-fast (HSF) in patients with glaucoma. DESIGN: A comparative consecutive case series. METHODS: This was a prospective study which took place in the glaucoma unit of an academic department of ophthalmology. One eye of 70 consecutive glaucoma patients and 28 age-matched normal subjects was studied. Eyes were examined with the program C-20 of FDT, G1-TOP, and 24-2 HSF in one visit and in random order. The gold standard for glaucoma was presence of a typical glaucomatous optic disk appearance on stereoscopic examination, which was judged by a glaucoma expert. The sensitivity and specificity, positive and negative predictive value, and receiver operating characteristic (ROC) curves of two algorithms for the FDT screening test, two algorithms for TOP, and three algorithms for HSF, as defined before the start of this study, were evaluated. The time required for each test was also analyzed. RESULTS: Values for area under the ROC curve ranged from 82.5%-93.9%. The largest area (93.9%) under the ROC curve was obtained with the FDT criteria, defining abnormality as presence of at least one abnormal location. Mean test time was 1.08 ± 0.28 minutes, 2.31 ± 0.28 minutes, and 4.14 ± 0.57 minutes for the FDT, TOP, and HSF, respectively. The difference in testing time was statistically significant (P <.0001). CONCLUSIONS: The C-20 FDT, G1-TOP, and 24-2 HSF appear to be useful tools to diagnose glaucoma. The test C-20 FDT and G1-TOP take approximately 1/4 and 1/2 of the time taken by 24 to 2 HSF. © 2002 by Elsevier Science Inc. All rights reserved.

Comparison of diagnostic ability between a fast strategy, tendency-oriented perimetry, and the standard bracketing strategy

Purpose: To compare the diagnostic abilities of the standard bracketing strategy (BR) and a fast strategy, the tendency-oriented perimetry (TOP). Methods: Seventy-seven controls and 91 eyes from patients with glaucoma were analyzed with the strategies TOP and BR. Sensitivity (Se), specificity (Sp), the area under the receiver operating characteristic (ROC) curve (AC) and the optimum cutoff value (CO) were calculated for the visual field indices mean defect (MD), the square root of the loss variance (sLV) and the number of pathological points (NPP). Results: In the glaucoma group, the mean MD value using TOP and BR was 7.5 and 8.3 dB, respectively. The mean sLV value using TOP and BR was 5.0 and 5.3 dB, respectively. Indices provided by TOP had higher ROC values than the ones provided by BR. Using TOP, the index with the best diagnostic ability was sLV (Sp = 94.8, Se = 90.1, AC = 0.966, CO = 2.5 dB), followed by NPP and MD. Using BR, the best results were obtained for MD (Sp = 92.2, Se = 81.3, AC = 0.900, CO = 2.5 dB) followed by sLV and NPP. Conclusions: A fast strategy, TOP, had superior diagnostic ability than the standard BR. Although TOP provided lower LV values than BR, the diagnostic ability of this index was higher than that of the conventional strategy. Copyright © 2005 S. Karger AG.