My aim here is to raise a few questions concerning the problem of representation in scientific discovery computer programs. Representation, as Simon says in his paper, "imposes constraints upon the phenomena that allow the mechanisms to be inferred from the data". The issue is obviously barely outlined by Simon in his paper, while it is addressed in detail in the book by Langley, Simon, Bradshaw and Zytkow (1987), to which I shall refer in this note. Nevertheless, their analysis would appear (...) to leave open certain issues related to the nature of the "constraints" imposed by representation on problem solving strategies. (shrink)

As the capabilities of artificial intelligence systems improve, it becomes important to constrain their actions to ensure their behaviour remains beneficial to humanity. A variety of ethical, legal and safety-based frameworks have been proposed as a basis for designing these constraints. Despite their variations, these frameworks share the common characteristic that decision-making must consider multiple potentially conflicting factors. We demonstrate that these alignment frameworks can be represented as utility functions, but that the widely used Maximum Expected Utility paradigm provides insufficient (...) support for such multiobjective decision-making. We show that a Multiobjective Maximum Expected Utility paradigm based on the combination of vector utilities and non-linear action–selection can overcome many of the issues which limit MEU’s effectiveness in implementing aligned AI. We examine existing approaches to multiobjective AI, and identify how these can contribute to the development of human-aligned intelligent agents. (shrink)

Human and machine discovery are gradual problem-solving processes of searching large problem spaces for incompletely defined goal objects. Research on problem solving has usually focused on search of an instance space (empirical exploration) and a hypothesis space (generation of theories). In scientific discovery, search must often extend to other spaces as well: spaces of possible problems, of new or improved scientific instruments, of new problem representations, of new concepts, and others. This paper focuses especially on the processes for finding new (...) problem representations and new concepts, which are relatively new domains for research on discovery.Scientific discovery has usually been studied as an activity of individual investigators, but these individuals are positioned in a larger social structure of science, being linked by the blackboard of open publication (as well as by direct collaboration). Even while an investigator is working alone, the process is strongly influenced by knowledge and skills stored in memory as a result of previous social interaction. In this sense, all research on discovery, including the investigations on individual processes discussed in this paper, is social psychology, or even sociology. (shrink)

The structure-mapping theory has become the de-facto standard account of analogies in cognitive science and philosophy of science. In this paper I propose a distinction between two kinds of domains and I show how the account of analogies based on structure-preserving mappings fails in certain (object-rich) domains, which are very common in mathematics, and how the axiomatic approach to analogies, which is based on a common linguistic description of the analogs in terms of laws or axioms, can be used successfully (...) to explicate analogies of this kind. Thus, the two accounts of analogies should be regarded as complementary, since each of them is adequate for explicating analogies that are drawn between different kinds of domains. In addition, I illustrate how the account of analogies based on axioms has also considerable practical advantages, e. g., for the discovery of new analogies. (shrink)

Evaluation processes are a basic component of creativity. They guide not only the pure judgement about a new artefact but also the generation itself, as creators constantly evaluate their own work. This paper proposes a model for automatic story generation based on the evaluation of stories. A model of how quality in stories is evaluated is presented, and two possible implementations of the generation guided by this evaluation are shown: exhaustive space exploration and constrained exploration. A theoretical model and its (...) implementation are explained and validation of the evaluation function through comparison with human criteria is described. (shrink)

It is shown how mathematical discoveries such as De Moivre's theorem can result from patterns among the symbols of existing formulae and that significant mathematical analogies are often syntactic rather than semantic, for the good reason that mathematical proofs are always syntactic, in the sense of employing only formal operations on symbols. This radically extends the Lakatos approach to mathematical discovery by allowing proof-directed concepts to generate new theorems from scratch instead of just as evolutionary modifications to some existing theorem. (...) The emphasis upon syntax and proof permits discoveries to go beyond the limits of any prevailing semantics. It also helps explain the shortcomings of inductive AI systems of mathematics learning such as Lenat's AM, in which proof has played no part in the formation of concepts and conjectures. (shrink)

The triplet model treats a concept as complex structure that expresses three kinds of information. The first is about entities subsumed under a concept,their properties and relations. The second is about means and ways of representing the first information in intelligent systems. The third is about linkage between the first and second ones and methods of its constructing. The application of triplet models to generalization and development of concept models in philosophy, logic, cognitive psychology, cognitive science, linguistics, artificial intelligence has (...) been demonstrated. The componential structure of the triplet model and extended concept classification have been given. Theoretical considerations are combined with historical case-studies of concept history. For scientists and students with an interest in problems of knowledge structure and representation. Abstract and Extended Summary in English. (shrink)

The science of the mind, and of consciousness in particular, needs carefully to consider people's common-sense views of the mind, not just what the mind really is. Such views are themselves an aspect of the nature of (conscious) mind, and therefore part of the object of study for a science of mind. Also, since the common-sense views allow broadly successful social interaction, it is reasonable to look to the common-sense views for some rough guidance as to the real nature of (...) the mind. On the other hand, to the extent that common-sense views are inaccurate, and perhaps even in gross conflict with the true nature of the mind, one interesting scientific question is: why do we hold such views, given our access to our own minds? Why should introspection be limited in a way that allows inaccurate views to hold sway? Now, common-sense views of the mind are revealed in natural language discourse that describes mental states, and such descriptions are largely metaphorical. The metaphors are used within thinking about the mind as well as in language. Therefore the study of metaphor is central to the study of mind. The present article is a preliminary study of the importance of metaphor in the scientific study of consciousness. It concentrates on analysing the nature of a range of important metaphors of mind, briefly discussing the extent to which they can be used to describe or qualify states of consciousness, and pointing to important questions about the nature of consciousness that the study of the metaphors raises. The article further conjectures that the reason people use metaphors in describing themselves is often not (just) that they have intellectually worked out some structural analogy --- e.g., between interactions of physical objects in physical space and interactions of ideas in the mind --- but rather that they {\it feel} their own minds to be as described by the metaphor --- e.g., they feel that the ideas in their minds are interacting physical entities. This matter of how a mind feels to itself is an aspect of the central issue of consciousness, namely its phenomenal quality. -/- (NB: The archived file is a preprint. However, it is substantially the same as the published version.). (shrink)