From 'scientific revolution' to 'unscientific revolution': an analysis of approaches to the history of generative linguistics

This paper is devoted to the challenge that generative linguistics poses for linguistic historiography. As a first step, it presents a systematic overview of 19 approaches to the history of generative linguistics. Second, it analyzes the approaches overviewed by asking and answering the following questions: (a) To what extent and how are the views at issue biased? (b) What central topics do the approaches discuss, how successfully do they tackle them, and how do the various standpoints converge and diverge? (c) How do the approaches relate to general trends in the philosophy and history of science? The concluding step summarizes our findings with respect to Chomsky’s impact on linguistic historiography

A Domain-Independent Algorithm for Plan Adaptation

The paradigms of transformational planning, case-based planning, and plan debugging all involve a process known as plan adaptation - modifying or repairing an old plan so it solves a new problem. In this paper we provide a domain-independent algorithm for plan adaptation, demonstrate that it is sound, complete, and systematic, and compare it to other adaptation algorithms in the literature. Our approach is based on a view of planning as searching a graph of partial plans. Generative planning starts at the graph's root and moves from node to node using plan-refinement operators. In planning by adaptation, a library plan - an arbitrary node in the plan graph - is the starting point for the search, and the plan-adaptation algorithm can apply both the same refinement operators available to a generative planner and can also retract constraints and steps from the plan. Our algorithm's completeness ensures that the adaptation algorithm will eventually search the entire graph and its systematicity ensures that it will do so without redundantly searching any parts of the graph.Comment: See http://www.jair.org/ for any accompanying file

Intersemiotic translation and transformational creativity

In this article we approach a case of intersemiotic translation as a paradigmatic example of Boden’s ‘transformational creativity’ category. To develop our argument, we consider Boden’s fundamental notion of ‘conceptual space’ as a regular pattern of semiotic action, or ‘habit’ (sensu Peirce). We exemplify with Gertrude Stein’s intersemiotic translation of Cézanne and Picasso’s proto-cubist and cubist paintings. The results of Stein’s IT transform the conceptual space of modern literature, constraining it towards new patterns of semiosis. Our association of Boden’s framework to describe a cognitive creative phenomenon with a philosophically robust theory of meaning results in a cognitive semiotic account of IT

Fifty years of Hoare's Logic

We present a history of Hoare's logic.Comment: 79 pages. To appear in Formal Aspects of Computin

Design reuse research : a computational perspective

This paper gives an overview of some computer based systems that focus on supporting engineering design reuse. Design reuse is considered here to reflect the utilisation of any knowledge gained from a design activity and not just past designs of artefacts. A design reuse process model, containing three main processes and six knowledge components, is used as a basis to identify the main areas of contribution from the systems. From this it can be concluded that while reuse libraries and design by reuse has received most attention, design for reuse, domain exploration and five of the other knowledge components lack research effort

Two-phased knowledge formalisation for hydrometallurgical gold ore process recommendation and validation

This paper describes an approach to externalising and formalising expert knowledge involved in the design and evaluation of hydrometallurgical process chains for gold ore treatment. The objective was to create a case-based reasoning application for recommending and validating a treatment process of gold ores. We describe a twofold approach. Formalising human expert knowledge about gold mining situations enables the retrieval of similar mining contexts and respective process chains, based on prospection data gathered from a potential gold mining site. Secondly, empirical knowledge on hydrometallurgical treatments is formalised. This enabled us to evaluate and, where needed, redesign the process chain that was recommended by the first aspect of our approach. The main problems with formalisation of knowledge in the domain of gold ore refinement are the diversity and the amount of parameters used in literature and by experts to describe a mining context. We demonstrate how similarity knowledge was used to formalise literature knowledge. The evaluation of data gathered from experiments with an initial prototype workflow recommender, Auric Adviser, provides promising results

Transformation without Paternalism

Human development is meant to be transformational in that it aims to improve people's lives by enhancing their capabilities. But who does it target: people as they are or the people they will become? This paper argues that the human development approach relies on an understanding of personal identity as dynamic rather than as static collections of preferences, and that this distinguishes human development from conventional approaches to development. Nevertheless, this dynamic understanding of personal identity is presently poorly conceptualized and this has implications for development practice. We identify a danger of paternalism and propose institutionalizing two procedural principles as side constraints on development policies and projects: the principle of free prior informed consent and the principle of democratic development

(WP 2016-01) Transformation without Paternalism

Human development is meant to be transformational in that it aims to improve people’s lives by enhancing their capabilities. But who does it target: people as they are or the people they will become? This paper argues that the human development approach relies on an understanding of personal identity as dynamic rather than as static collections of preferences, and that this distinguishes human development from conventional approaches to development. Nevertheless this dynamic understanding of personal identity is presently poorly conceptualized and this has implications for development practice. We identify a danger of paternalism and propose institutionalizing two procedural principles as side constraints on development policies and projects: the principle of free prior informed consent, and the principle of democratic development

Storing and Indexing Plan Derivations through Explanation-based Analysis of Retrieval Failures

Case-Based Planning (CBP) provides a way of scaling up domain-independent planning to solve large problems in complex domains. It replaces the detailed and lengthy search for a solution with the retrieval and adaptation of previous planning experiences. In general, CBP has been demonstrated to improve performance over generative (from-scratch) planning. However, the performance improvements it provides are dependent on adequate judgements as to problem similarity. In particular, although CBP may substantially reduce planning effort overall, it is subject to a mis-retrieval problem. The success of CBP depends on these retrieval errors being relatively rare. This paper describes the design and implementation of a replay framework for the case-based planner DERSNLP+EBL. DERSNLP+EBL extends current CBP methodology by incorporating explanation-based learning techniques that allow it to explain and learn from the retrieval failures it encounters. These techniques are used to refine judgements about case similarity in response to feedback when a wrong decision has been made. The same failure analysis is used in building the case library, through the addition of repairing cases. Large problems are split and stored as single goal subproblems. Multi-goal problems are stored only when these smaller cases fail to be merged into a full solution. An empirical evaluation of this approach demonstrates the advantage of learning from experienced retrieval failure.Comment: See http://www.jair.org/ for any accompanying file