Deduction-Based Software Component Retrieval

Deduction-based software component retrieval is a software reuse technique that uses formal specifications as component descriptors and as search keys; matching components are identified using an automated theorem prover. This dissertation contains a detailed theoretical investigation of the concept as well as the first substantial experimental evaluation of its technical feasibility.Deduktionsbasiertes Kompenentenretrieval ist eine Softwarereusetechnik, in der formale Spezifikationen zur Beschreibung von Komponenten sowie als Anfragen verwendet werden; passende Komponenten werden mit Hilfe eines automatischen Theorembeweisers ermittelt. Diese Arbeit enthält eine detaillierte theoretische Untersuchung dieses Konzeptes und die erste ausführliche experimentelle Evaluierung seiner technischen Realisierbarkeit

(Non)culmination by abduction

Recent literature has aimed to explain (non-)culminating accomplishment inferences, which often involve the perfective aspect, but can also involve the imperfective. The goal of our paper is to explore how these inferences come about with the Hindi perfective and the Russian imperfective. We propose that abduction, that is, inference to the best explanation, is ideally suited for this task. We show how the occurrence of a (non-)culminated event is abduced in the relevant cases based on a semantic analysis which adopts the distinction between culminated and maximal events, as well as a set of non-defeasible rules encoding general mereological principles. We also show how our abductive framework can take into account facts about the conversation. This, among other things, allows us to make more nuanced predictions about what speakers will infer and when, thereby addressing possible worries of overgeneralization that an abductive framework inevitably faces. We end the paper with two outstanding issues warranting further research. First, we raise questions about the nature of (non-)culminating accomplishment inferences, which have previously been taken to be conversational implicatures. Second, we take some preliminary steps towards extending our analysis to defeasible causatives in Germanic and Romance languages

A Stalnakerian Analysis of Metafictive Statements

Because Stalnaker’s common ground framework is focussed on cooperative information exchange, it is challenging to model fictional discourse. To this end, I develop an extension of Stalnaker’s analysis of assertion that adds a temporary workspace to the common ground. I argue that my framework models metafictive discourse better than competing approaches that are based on adding unofficial common grounds

Fuzzy Logic

Fuzzy Logic is becoming an essential method of solving problems in all domains. It gives tremendous impact on the design of autonomous intelligent systems. The purpose of this book is to introduce Hybrid Algorithms, Techniques, and Implementations of Fuzzy Logic. The book consists of thirteen chapters highlighting models and principles of fuzzy logic and issues on its techniques and implementations. The intended readers of this book are engineers, researchers, and graduate students interested in fuzzy logic systems