Digital cultural assets are often thought to exist in separate spheres based on their two principal points of origin: digitized and born digital. Increasingly, advances in digital curation are blurring this dichotomy, by introducing so-called “collections as data,” which regardless of their origination make cultural assets more amenable to the application of new computational tools and methodologies. This paper brings together archivists, scholars, and technologists to demonstrate computational treatments of digital cultural assets using Artificial Intelligence and Machine Learning techniques that (...) can help unlock hard-to-reach archival content. It describes an extended, iterative study applied to digitized and datafied WWII-era records housed at the FDR Presidential Library, rich content that is regrettably under-utilized by scholars examining American responses to the Holocaust. Authors detail the benefits of interdisciplinary collaboration for evaluating user needs, identifying and applying tools and methodologies, and reaching the real-world outcome of public access to augmented data. They also discuss issues of digital representation, relational context, and interface design to enable new modes of public and scholarly access. While based on a case study, we believe that this work is a substantial contribution to revealing the strengths and weaknesses of using AI/ML systems in cultural organizations. We give particular care to lessons learned, and generalize the approach taken across broad classes of collections with a focus on responsive iterations, reproducibility, and the relevance of data and its structures to users. (shrink)

The explicit history of the “hidden variables” problem is well-known and established. The main events of its chronology are traced. An implicit context of that history is suggested. It links the problem with the “conservation of energy conservation” in quantum mechanics. Bohr, Kramers, and Slaters (1924) admitted its violation being due to the “fourth Heisenberg uncertainty”, that of energy in relation to time. Wolfgang Pauli rejected the conjecture and even forecast the existence of a new and unknown then elementary particle, (...) neutrino, on the ground of energy conservation in quantum mechanics, afterwards confirmed experimentally. Bohr recognized his defeat and Pauli’s truth: the paradigm of elementary particles (furthermore underlying the Standard model) dominates nowadays. However, the reason of energy conservation in quantum mechanics is quite different from that in classical mechanics (the Lie group of all translations in time). Even more, if the reason was the latter, Bohr, Cramers, and Slatters’s argument would be valid. The link between the “conservation of energy conservation” and the problem of hidden variables is the following: the former is equivalent to their absence. The same can be verified historically by the unification of Heisenberg’s matrix mechanics and Schrödinger’s wave mechanics in the contemporary quantum mechanics by means of the separable complex Hilbert space. The Heisenberg version relies on the vector interpretation of Hilbert space, and the Schrödinger one, on the wave-function interpretation. However the both are equivalent to each other only under the additional condition that a certain well-ordering is equivalent to the corresponding ordinal number (as in Neumann’s definition of “ordinal number”). The same condition interpreted in the proper terms of quantum mechanics means its “unitarity”, therefore the “conservation of energy conservation”. In other words, the “conservation of energy conservation” is postulated in the foundations of quantum mechanics by means of the concept of the separable complex Hilbert space, which furthermore is equivalent to postulating the absence of hidden variables in quantum mechanics (directly deducible from the properties of that Hilbert space). Further, the lesson of that unification (of Heisenberg’s approach and Schrödinger’s version) can be directly interpreted in terms of the unification of general relativity and quantum mechanics in the cherished “quantum gravity” as well as a “manual” of how one can do this considering them as isomorphic to each other in a new mathematical structure corresponding to quantum information. Even more, the condition of the unification is analogical to that in the historical precedent of the unifying mathematical structure (namely the separable complex Hilbert space of quantum mechanics) and consists in the class of equivalence of any smooth deformations of the pseudo-Riemannian space of general relativity: each element of that class is a wave function and vice versa as well. Thus, quantum mechanics can be considered as a “thermodynamic version” of general relativity, after which the universe is observed as if “outside” (similarly to a phenomenological thermodynamic system observable only “outside” as a whole). The statistical approach to that “phenomenological thermodynamics” of quantum mechanics implies Gibbs classes of equivalence of all states of the universe, furthermore re-presentable in Boltzmann’s manner implying general relativity properly … The meta-lesson is that the historical lesson can serve for future discoveries. (shrink)

In this work, we provide a broad overview of the distinct stages of E-Discovery. We portray them as an interconnected, often complex workflow process, while relating them to the general Electronic Discovery Reference Model (EDRM). We start with the definition of E-Discovery. We then describe the very positive role that NIST’s Text REtrieval Conference (TREC) has added to the science of E-Discovery, in terms of the tasks involved and the evaluation of the legal discovery work (...) performed. Given the critical nature that data analysis plays at various stages of the process, we present a pyramid model, which complements the EDRM model: for gathering and hosting; indexing; searching and navigating; and finally consolidating and summarizing E-Discovery findings. Next we discuss where the current areas of need and areas of growth appear to be, using one of the field’s most authoritative surveys of providers and consumers of E-Discovery products and services. We subsequently address some areas of Artificial Intelligence, both Information Retrieval-related and not, which promise to make future contributions to the E-Discovery discipline. Some of these areas include data mining applied to e-mail and social networks, classification and machine learning, and the technologies that will enable next generation E-Discovery. The lesson we convey is that the more IR researchers and others understand the broader context of E-Discovery, including the stages that occur before and after primary search, the greater will be the prospects for broader solutions, creative optimizations and synergies yet to be tapped. (shrink)

The effectiveness of information retrieval technology in electronic discovery (E-discovery) has become the subject of judicial rulings and practitioner controversy. The scale and nature of E-discovery tasks, however, has pushed traditional information retrieval evaluation approaches to their limits. This paper reviews the legal and operational context of E-discovery and the approaches to evaluating search technology that have evolved in the research community. It then describes a multi-year effort carried out as part of the Text (...) Retrieval Conference to develop evaluation methods for responsive review tasks in E-discovery. This work has led to new approaches to measuring effectiveness in both batch and interactive frameworks, large data sets, and some surprising results for the recall and precision of Boolean and statistical information retrieval methods. The paper concludes by offering some thoughts about future research in both the legal and technical communities toward the goal of reliable, effective use of information retrieval in E-discovery. (shrink)

Alexei V. Samsonovich, Int. J. Mach. Conscious., 06, 49 (2014). DOI: 10.1142/S1793843014400083.

In this paper we take a fresh look at the information retrieval problem of balancing recall with precision in electronic document extraction. We examine the IR constructs of uncertainty, context and relevance, proposing a new process model for context learning, and introducing a new IT artifact designed to support user driven learning by leveraging explicit knowledge to discover implicit knowledge within a corpus of documents. The IT artifact is a prototype designed to present a small set of extracted documents (...) from a targeted corpus based upon user inputted criteria. The prototype provides the user with the opportunity to balance exploration and exploitation, via iterative relevance feedback to address the problem of imprecision resulting from uncertainty. We model the problem as an exploration–exploitation dilemma and apply it to a specific case of IR called eDiscovery. We conduct a series of behavioral experiments to evaluate the model and the artifact. Our initial findings indicate that the proposed model and the artifact improve performance in the IR result. (shrink)

In this paper we investigate the role of information machines in the scientific enterprise intended as a social activity. Our discussion is based on a powerful kind of information machines called scientific social agencies, which are multiagent systems of distributed artificial intelligence. Scientific social agency, on the one hand, can provide great benefits to the present common scientific practice but, on the other hand, its development represents a strong and still open technical challenge. This paper shows a coherent (...) framework in which scientific social agency is settled. Moreover, the double role of a scientific social agency in assisting scientists in their activity and in representing the products of their research is illustrated by means of some examples. (shrink)

Scientific discovery is often regarded as romantic and creative - and hence unanalyzable - whereas the everyday process of verifying discoveries is sober and more suited to analysis. Yet this fascinating exploration of how scientific work proceeds argues that however sudden the moment of discovery may seem, the discovery process can be described and modeled. Using the methods and concepts of contemporary information-processing psychology (or cognitive science) the authors develop a series of artificial-intelligence programs that can (...) simulate the human thought processes used to discover scientific laws. The programs - BACON, DALTON, GLAUBER, and STAHL - are all largely data-driven, that is, when presented with series of chemical or physical measurements they search for uniformities and linking elements, generating and checking hypotheses and creating new concepts as they go along. "Scientific Discovery examines the nature of scientific research and reviews the arguments for and against a normative theory of discovery; describes the evolution of the BACON programs, which discover quantitative empirical laws and invent new concepts; presents programs that discover laws in qualitative and quantitative data; and ties the results together, suggesting how a combined and extended program might find research problems, invent new instruments, and invent appropriate problem representations. Numerous prominent historical examples of discoveries from physics and chemistry are used as tests for the programs and anchor the discussion concretely in the history of science. Pat Langley is an Associate Professor in the Department of Information and Computer Science at the University of California, Irvine.Herbert Simon is a Professor in the Departments of Psychology, Computer Science, and Philosophy at Carnegie-Mellon University. Gary L. Bradshaw is an Assistant Professor in the Department of Psychology and Institute of Cognitive Science at the University of Colorado, Boulder. Jan M. Zytkow is an Associate Professor in the Computer Science Department at Wichita State University. (shrink)

On Discovery became a key reference for anyone who wanted to know about "firsts" in theology, philosophy, science, technology, literature, language, law, material culture, and other fields. Polydore took his information from dozens of Greek, Roman, biblical, and Patristic authorities. His main point was to show that many Greek and Roman claims for discovery were false and that ancient Jews or other Asian peoples had priority.

This article provides an overview of, and thematic justification for, the special issue of the journal of Artificial Intelligence and Law entitled “E-Discovery”. In attempting to define a characteristic “AI & Law” approach to e-discovery, and since a central theme of AI & Law involves computationally modeling legal knowledge, reasoning and decision making, we focus on the theme of representing and reasoning with litigators’ theories or hypotheses about document relevance through a variety of techniques including machine learning. We (...) also identify two emerging techniques for enabling users’ document queries to better express the theories of relevance and connect them to documents: social network analysis and a hypothesis ontology. (shrink)

This paper articulates an account of causation as a collection of information-theoretic relationships between patterns instantiated in the causal nexus. I draw on Dennett’s account of real patterns to characterize potential causal relata as patterns with specific identification criteria and noise tolerance levels, and actual causal relata as those patterns instantiated at some spatiotemporal location in the rich causal nexus as originally developed by Salmon. I develop a representation framework using phase space to precisely characterize causal relata, including their (...) degree of counterfactual robustness, causal profiles, causal connectivity, and privileged grain size. By doing so, I show how the philosophical notion of causation can be rendered in a format that is amenable for direct application of mathematical techniques from information theory such that the resulting informational measures are causal informational measures. This account provides a metaphysics of causation that supports interventionist semantics and causal modeling and discovery techniques. (shrink)

The information overload in E-Discovery proceedings makes reviewing expensive and it increases the risk of failure to produce results on time and consistently. New interactive techniques have been introduced to increase reviewer productivity. In contrast, the techniques presented in this article propose an alternative method that tries to reduce information during culling so that less information needs to be reviewed. The proposed method first focuses on mapping the email collection universe using straightforward statistical methods based on (...) keyword filtering combined with date time and custodian identities. Subsequently, a social network is constructed from the email collection that is analyzed by filtering on date time and keywords. By using the network context we expect to provide a better understanding of the keyword hits and the ability to discard certain parts of the collection. (shrink)

In this article, we draw upon the philosophy of critical realism to reflect upon issues concerning discovery processes and opportunity development. First, paradoxes in the relationship between opportunity discovery and creativity are identified and explained. Second, the question of how to investigate opportunities is discussed and a solution informed by critical realism presented whereby three new types of discovery are identified and defined for empirical investigation. Using critical realism to augment entrepreneurial opportunity theory, we propose that (...) class='Hi'>discovery processes have significance beyond discovery theory and can be considered revealing for theories of opportunity development more generally. We conclude with conceptual and practical comment on the importance of ontological theorising for entrepreneurship. (shrink)

Retrieval of relevant unstructured information from the ever-increasing textual communications of individuals and businesses has become a major barrier to effective litigation/defense, mergers/acquisitions, and regulatory compliance. Such e-discovery requires simultaneously high precision with high recall (high-P/R) and is therefore a prototype for many legal reasoning tasks. The requisite exhaustive information retrieval (IR) system must employ very different techniques than those applicable in the hyper-precise, consumer search task where insignificant recall is the accepted norm. We apply Russell, et (...) al.’s cognitive task analysis of sensemaking by intelligence analysts to develop a semi-autonomous system that achieves high IR accuracy of F1 ≥ 0.8 compared to F1 < 0.4 typical of computer-assisted human-assessment (CAHA) or alternative approaches such as Roitblat, et al.’s. By understanding the ‘Learning Loop Complexes’ of lawyers engaged in successful small-scale document review, we have used socio-technical design principles to create roles, processes, and technologies for scalable human-assisted computer-assessment (HACA). Results from the NIST-TREC Legal Track’s interactive task from both 2008 and 2009 validate the efficacy of this sensemaking approach to the high-P/R IR task. (shrink)

_Global Discovery Activities_ is a ready-to-use guide that helps students learn and appreciate cultures from around the world. Each section explores a different culture and includes recommendations for children’s books, folk tales, celebrations, games, songs, arts and crafts, and foods. This informative and fun-filled book contains more than 400 activities and 150 full-page reproducible activity sheets. _Global Discovery_ will help your students learn about the cultures of * Africa * Asia * Australia and New Zealand * Canada * Caribbean (...) and other Islands * East Europe * Western Europe * Latin America * North America. (shrink)

Physicians' duties to their patients traditionally have been construed narrowly in time and scope to focus on the specific episode of care or clinical encounter. Physicians generally have had no ethical or legal duty to notify patients about new medical information discovered after a visit, notwithstanding the health care benefits to patients that might flow from receiving the information. The rule was based on the relatively high burdens that notification would impose on physicians compared with the likelihood of (...) benefits to patients. This established view, however, no longer may be appropriate in light of new physician-patient relationships and the reduced burden of patient notification using new types of health information technology. This article explores the duty to inform patients and former patients about relevant, medical developments subsequent to their episode of care. It concludes by recommending the recognition in ethics and law of a limited, ongoing duty to notify patients of significant information relevant to their health. (shrink)

Given the very large numbers of documents involved in e-discovery investigations, lawyers face a considerable challenge of collaborative sensemaking. We report findings from three workplace studies which looked at different aspects of how this challenge was met. From a sociotechnical perspective, the studies aimed to understand how investigators collectively and individually worked with information to support sensemaking and decision making. Here, we focus on discovery-led refinement; specifically, how engaging with the materials of the investigations led to discoveries (...) that supported refinement of the problems and new strategies for addressing them. These refinements were essential for tractability. We begin with observations which show how new lines of enquiry were recursively embedded. We then analyse the conceptual structure of a line of enquiry and consider how reflecting this in e-discovery support systems might support scalability and group collaboration. We then focus on the individual activity of manual document review where refinement corresponded with the inductive identification of classes of irrelevant and relevant documents within a collection. Our observations point to the effects of priming on dealing with these efficiently and to issues of cognitive ergonomics at the human–computer interface. We use these observations to introduce visualisations that might enable reviewers to deal with such refinements more efficiently. (shrink)

In this paper I start from a definition of “culture of the artificial” which might be stated by referring to the background of philosophical, methodological, pragmatical assumptions which characterizes the development of the information processing analysis of mental processes and of some trends in contemporary cognitive science: in a word, the development of AI as a candidate science of mind. The aim of this paper is to show how (with which plausibility and limitations) the discovery of the mentioned (...) background might be dated back to a period preceding the cybernetic era, the decade 1930–1940 at least. Therefore a somewhat detailed analysis of Hull's “robot approach” is given, as well as of some of its independent and future developments. -/- Reprinted in R.L. Chrisley (ed.), Artificial Intelligence: Critical Concepts in Cognitive Science, vol. 1, Routledge, London and New York, 2000, pp. 301-326. (shrink)

Randal A. Koene, Int. J. Mach. Conscious., 06, 41 (2014). DOI: 10.1142/S179384301440006X.

This book describes the exciting discovery of every isotope observed on earth to date, which currently numbers some 3000. For each isotope a short essay highlights the authors of the first publication for the isotope, the laboratory and year where and when the isotope was discovered, as well as details about the production and detection methods used. In controversial cases previously claims are also discussed. At the end a comprehensive table lists all isotopes sorted by elements and a complete (...) list of references. Preliminary versions of these paragraphs have been published over the last few years as separate articles in the journal "Atomic Data and Nuclear Data Tables". The work re-evaluates all assignments judging them with a uniform set of criteria. In addition, the author includes over 100 new isotopes which have been discovered since the articles published. This book is a source of information for researchers as well as enthusiastic laymen alike. From the prepublication review: "The explanations focus on the essentials, which makes the various chapters pleasingly compact. The phrasing is well understandable also for non-experts. This makes the book easy to read, even thrilling. I have to confess that parts of the manuscript I was even reading as an evening lecture in the bed, so exciting was the history of isotope discoveries." Sigurd Hofmann, Helmholtz Professor at GSI Darmstadt, Germany, and a leading expert in superheavy nuclei. (shrink)

In this work we study, design, and evaluate computational methods to support interpretation of statutory terms. We propose a novel task of discovering sentences for argumentation about the meaning of statutory terms. The task models the analysis of past treatment of statutory terms, an exercise lawyers routinely perform using a combination of manual and computational approaches. We treat the discovery of sentences as a special case of ad hoc document retrieval. The specifics include retrieval of short texts, specialized document (...) types, and, above all, the unique definition of document relevance provided in detailed annotation guidelines. To support our experiments we assembled a data set comprising 42 queries which we plan to release to the public in the near future in order to support further research. Most importantly, we investigate the feasibility of developing a system that responds to a query with a list of sentences that mention the term in a way that is useful for understanding and elaborating its meaning. This is accomplished by a systematic assessment of different features that model the sentences’ usefulness for interpretation. We combine features into a compound measure that accounts for multiple aspects. The definition of the task, the assembly of the data set, and the detailed task analysis provide a solid foundation for employing a learning-to-rank approach. (shrink)

Information medicine is a new application and development of an age-old method of healing. It re-creates and re-discovers a method that has proved its merits for thousands of years through a synthesis with new developments in new-paradigm physics and biology. The basic premise of information medicine is the use of information to correct faulty or blocked information-flows in the organism. As the latest discoveries, among others by Dr. Biava, show, even cancerous cells can be reprogrammed through (...) the introduction of substances that provide the correct information. Also, electromagnetic information can produce corrective re-programming, introducing an era of soft, information-based healing not as a substitute for, but as a complement to, the current biochemical substance and physical intervention-based methods. The information-based method I have developed is the one created by the Austrian scientist Erich Koerbler, called New Homeopathy. It harmonizes the electromagnetic field in the body through the use o... (shrink)

John Granville's first book is unique on several counts. First, it's not simply a history of science, but rather a history of our evolving unerstanding of motion. It's unique in the detailed explanations given to common scientific riddles-explanations aimed to help students avoid catastrophic collisions with these concepts in college. It's unique in that it resents the philosophies on which the major scientific paradigm shifts rest. It's unique in its presentation from Thomas Kuhn's point of view (i.e., his concept of (...) world view and paradigm shifts as presented in his classic work The Structure of Scientific Revolutions). The book begins with an informal discussion of Kuhn's notion of world view, and various concepts relevant to his thesis concerning the nature of scientific revolutions; but, the Discovery of Motion proper begins with ancient Egyptian and Greek preparations for Aristotle (here the dialectic of Parmenides and Plato are given special attention). A survey of Aristotle and his science of motion follows (i.e., his theory of nature and natural philosophy). Included in this part of the book are the works of such notables as Archimedes and Ptolemy. The Copernican revolution, including the works of Galileo, Kepler and Newton is, of course, presented from the viewpoint of Kuhn's paradigm shift. Four chapters concerning Newtonian motion are the highlight of the first half of the book. It is here Granville's original aim, of explaning puzzling scientific phenomena to young students, is realized-but now this material serves another purpose. These chapters not only clarify Newton's world view but expose phenomena that were virtually invisible to the peripatetics...and will eventually expose reasons for the ambivalence and frustration that accompany scientific revolutions. Granville then turns to philosophical developments that led to our modern view of the world. This part of the book covers the evolution of empiricism from Bacon to Hume (with Descartes' rationalism thrown in for contrast). Kant's epistemology concludes this philosophical survey, deliberately leading the plot back toward the classical viewpoint. Finally, developments of the nineteenth century that led to the so-called Second Scientific Revolution are considered. The final chapter is a unique presentation of Einstein's relativity theory, where the incompatibility of this theory with Newtonian physics, and the reason why relativity must take precedence, are discussed. Granville compares the opposition to the Copernican revolution with twentieth century opposition to the Einsteinian revolution. The book reveals that, after building detailed understanding of classical Newtonian phenomena, opposition to a shift of world view is an understandable human reaction. (shrink)

It is commonplace to encounter nonstationary or heterogeneous data, of which the underlying generating process changes over time or across data sets. Such a distribution shift feature presents both challenges and opportunities for causal discovery. In this paper we develop a principled framework for causal discovery from such data, called Constraint-based causal Discovery from Nonstationary/heterogeneous Data, which addresses two important questions. First, we propose an enhanced constraint-based procedure to detect variables whose local mechanisms change and recover the (...) skeleton of the causal structure over observed variables. Second, we present a way to determine causal orientations by making use of independence changes in the data distribution implied by the underlying causal model, benefiting from information carried by changing distributions. Experimental results on various synthetic and real-world data sets are presented to demonstrate the efficacy of our methods. (shrink)

Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form. The central claim of this paper is that a more nuanced understanding of mathematical proof and discovery may be achieved by paying attention to the aspects of mathematical argumentation which can be captured by informal, rather than formal, logic. Two accounts of argumentation are considered: the pioneering work (...) of Stephen Toulmin [The uses of argument, Cambridge University Press, 1958] and the more recent studies of Douglas Walton, [e.g. The new dialectic: Conversational contexts of argument, University of Toronto Press, 1998]. The focus of both of these approaches has largely been restricted to natural language argumentation. However, Walton’s method in particular provides a fruitful analysis of mathematical proof. He offers a contextual account of argumentational strategies, distinguishing a variety of different types of dialogue in which arguments may occur. This analysis represents many different fallacious or otherwise illicit arguments as the deployment of strategies which are sometimes admissible in contexts in which they are inadmissible. I argue that mathematical proofs are deployed in a greater variety of types of dialogue than has commonly been assumed. I proceed to show that many of the important philosophical and pedagogical problems of mathematical proof arise from a failure to make explicit the type of dialogue in which the proof is introduced. (shrink)

We find symmetry attractive. It interests us. Symmetry is often an indicator of the deep structure of things, whether they be natural phenomena, or the creations of artists. For example, the most fundamental conservation laws of physics are all based in symmetry. Similarly, the symmetries found in religious art throughout the world are intended to draw attention to deep spiritual truths. Not only do we find symmetry pleasing, but its discovery is often also surprising and illuminating as well. For (...) these reasons, we are inclined to think that symmetries are informative, and that symmetries contain information. On the other hand, symmetries represent a kind of invariance under transformation. Such invariance implies that symmetrical things contain redundancies. Redundancy, in turn, implies that the information content of a symmetrical structure or configuration is less than that of a similar nonsymmetrical structure. Symmetry, then, entails a reduction in information content. These considerations present us with somewhat of a paradox: On the one hand, many symmetries that we find in the world are surprising, and surprise indicates informativeness. On the other hand, the surprise value of information arises because it presents us with the unexpected or improbable, but symmetries, far from creating the unexpected, ensure that the known can be extended through invariant transformations. How can this paradox be resolved? (shrink)

Convergent realists desire scientific methods that converge reliably to informative, true theories over a wide range of theoretical possibilities. Much attention has been paid to the problem of induction from quantifier-free data. In this paper, we employ the techniques of formal learning theory and model theory to explore the reliable inference of theories from data containing alternating quantifiers. We obtain a hierarchy of inductive problems depending on the quantifier prefix complexity of the formulas that constitute the data, and we provide (...) bounds relating the quantifier prefix complexity of the data to the quantifier prefix complexity of the theories that can be reliably inferred from such data without background knowledge. We also examine the question whether there are theories with mixed quantifiers that can be reliably inferred with closed, universal formulas in the data, but not without. (shrink)

Citation data have become an increasingly significant source of information for historians, sociologists, and other researchers studying the evolution of science. In the past few decades elaborate methodologies have been developed for the use of citation data in the study of the modern history of science. This article focuses on how citation indexes make it possible to trace the background and development of discoveries as well as to assess the credit that publishing scientists assign to particular discoverers. Kuhn's notion (...) of discovery is discussed. The priority dispute over the discovery of the AIDS virus is used as an example. (shrink)

ABSTRACT This article provides new information about Ayn Rand’s residences in Saint Petersburg (Petrograd/Leningrad). The authors, who based the article on hitherto unknown archival documents, discovered new information regarding the exact location of the apartments where the Rosenbaums lived in the city from 1904 through the 1930s. Furthermore, the article provides information about where Rand’s grandparents, Berko (Boris) Kaplan and his wife Sarah, had been living. Additionally, it offers English translations and Russian originals of archival documents related (...) to the aforementioned locations. (shrink)

BACON.3 is a production system that discovers empirical laws. Although it does not attempt to model the human discovery process in detail, it incorporates some general heuristics that can lead to discovery in a number of domains. The main heuristics detect constancies and trends in data, and lead to the formulation of hypotheses and the definition of theoretical terms. Rather than making a hard distinction between data and hypotheses, the program represents information at varying levels of description. (...) The lowest levels correspond to direct observations, while the highest correspond to hypotheses that explain everything so for observed. To take advantage of this representation, BACON.3 has the ability to carry out and relate multiple experiments, collapse hypotheses with identical conditions, ignore differences to let similar concepts be treated as equal, and to discover and ignore irrelevant variables. BACON.3 has shown its generality by rediscovering versions of the ideal gas law, Kepler's third law of planetary motion, Coulomb's law, Ohm's law, and Galileo's laws for the pendulum and constant acceleration. (shrink)

Rayleigh and Ramsay discovered the inert gas argon in the atmospheric air in 1895 using a carefully designed sequence of experiments guided by an informal statistical analysis of the resulting data. The primary objective of this article is to revisit this remarkable historical episode in order to make a case that the error‐statistical perspective can be used to bring out and systematize (not to reconstruct) these scientists' resourceful ways and strategies for detecting and eliminating error, as well as dealing with (...) Duhemian ambiguities and underdetermination problems as they arose in the context of their local research settings. *Received December 2009; revised January 2010. †To contact the author, please write to: Department of Economics, 3016 Pamplin Hall, Virginia Tech, Blacksburg, VA 24061; e‐mail: [email protected]. (shrink)

Web services are self-describing and self-contained modular applications based on the network. With the deepening of web service applications, service consumers have gradually increased their requirements for service functions and service quality. Aiming at how to select the optimal plan from a large number of execution plans with the same function and different QoS characteristics, this paper proposes a web service selection algorithm that supports QoS global optimization and dynamic replanning. The algorithm uses position matrix coding to represent all execution (...) paths and replanning information of the service combination. By calculating the Hamming distance of the service quality between individuals, the quality of the service portfolio is improved. By specifying the total user time limit and implementing a good solution retention strategy, the problem of the impact of algorithm running time on service quality is solved. The experimental results show that the method proposed in this paper is effectively integrated into the development trend of QoS and close to the requester’s needs and can better meet user needs. This algorithm improves the user’s satisfaction with the returned service to a certain extent and improves the efficiency of service invocation. (shrink)

This is a response to Tom McLeish's Boyle Lecture 2021 on the rediscovery of contemplation through science. Several implications are sketched: no single mind can encompass fully what there is to be known; we are likely to be unaware of the full range of what it is that is acting upon us or informing us at any given moment; and the universe that we encounter is a system of interaction and implication in which nothing is simply passive or lifeless.

Shortly after Kurt Gödel had announced an early version of the 1st incompleteness theorem, John von Neumann wrote a letter to inform him of a remarkable discovery, i.e. that the consistency of a formal system containing arithmetic is unprovable, now known as the 2nd incompleteness theorem. Although today von Neumann’s proof of the theorem is considered lost, recent literature has explored many of the issues surrounding his discovery. Yet, one question still awaits a satisfactory answer: how did von (...) Neumann achieve his result, knowing as little as he seemingly did about the 1st incompleteness theorem? In this article, I shall advance a conjectural argument to answer this question, after having rejected the argument widely shared in the literature and having analyzed the relevant documents surrounding his discovery. The argument I shall advance strictly links two of the three letters written by von Neumann to Gödel in the late 1930 and early 1931 (i.e. respectively that of November 20, 1930 and that of January 12, 1931) and finds the key for von Neumann’s discovery in his prompt understanding of the Gödel sentence A – as the documents refer to it – as expressing consistency for a formal system that contains arithmetic. (shrink)

In contemporary American poetry, poets practice open form. Charles Olson, Robert Duncan, Paul Blackburn, Robert Creeley, Jack Spicer, Denise Levertov, Gary Snyder, Allen Ginsberg, Edward Dorn, Louis Zukofsky, John Ashbery, and Frank O'Hara belong to this school of open form. Their open form advocates creative spontaneity, fragmentation, and juxtaposition. It repudiates thematic and formal closure and requires of its readers a willingness to value a poem as process and event. Recent studies of open form inform us that in both theory (...) and practice they descended from Pound and Williams. However, my intention is to establish the foreground of open form in the poetics and poetry of Yeats, Pound, and Eliot. My major objective is to establish Yeats as the precursor of the poetics of open form, and then to apply his poetics to his poetry, and to those of Pound and Eliot. ;Part I, with the aid of the theories of language by Paul de Man, Jacques Derrida, Jacques Lacan, and Martin Heidegger, examines the linguistic turn revealed in Yeats's A Vision which manifests the poetics of open form through the rhetoric of prophecy. Chapter One defines the concept of the Unity of Being. Chapter Two illustrates how Yeats disciplines himself in his poetic quest for the Unity of Being. Chapter Three defines prophecy and the rhetoric of prophecy. Exergue, an inter-chapter, surveys and assesses contemporary theories of language in an attempt to relate metaphor to rhetoric. Chapter Four closely examines A Vision in the light of the rhetoric of prophecy and poetics of open form. ;Part II demonstrates how the poetry of Yeats, Pound and Eliot provides the praxis of Yeats's poetics. Conclusion discusses the poetics of Duncan, Olson, and Levertov and show how they reflect Yeats's, thereby demonstrating the continuity between the poetry of modernism and postmodernism. (shrink)

The vision of machines autonomously carrying out substantive conjecture generation, theorem discovery, proof discovery, and proof verification in mathematics and the natural sciences has a long history that reaches back before the development of automatic systems designed for such processes. While there has been considerable progress in proof verification in the formal sciences, for instance the Mizar project’ and the four-color theorem, now machine verified, there has been scant such work carried out in the realm of the natural (...) sciences—until recently. The delay in the case of the natural sciences can be attributed to both a lack of formal analysis of the so-called “theories” in such sciences, and the lack of sufficient progress in automated theorem proving. While the lack of analysis is probably due to an inclination toward informality and empiricism on the part of nearly all of the relevant scientists, the lack of progress is to be expected, given the computational hardness of automated theorem proving; after all, theoremhood in even first-order logic is Turing-undecidable. We give in the present short paper a compressed report on our building upon these formal theories using logic-based AI in order to achieve, in relativity, both machine proof discovery and proof verification, for theorems previously established by humans. Our report is intended to serve as a springboard to machine-produced results in the future that have not been obtained by humans. (shrink)

Within some online communities, discussion often centers on issues on which writers take sides, and within some subset of those debate-prone communities, we find over time that particular sets of writers almost always end up on the same side of an issue. These sets we call factions. In this paper, we describe a tool to perform what we call faction discovery on online communities. Generalizing methods developed in the bibliometrics and information retrieval literature, we define a network determined (...) by similarities of content in a community of users and add in direct evidence of online ties between users. We then perform community detection on the network to find factions. Using a set of data collected from science and fantasy blogs, we show that the discovered factions accurately reflect an active conflict in the community leading to significant, politically related social fracture. (shrink)

This paper explores the relationship between informal reasoning, creativity in mathematics, and problem solving. It underscores the importance of environments that promote interaction, hypothesis generation, examination, refutation, derivation of new solutions, drawing conclusions, and reasoning with others, as key factors in enhancing mathematical creativity. Drawing on argumentation logic, the paper proposes a novel approach to uncover specific characteristics in the development of formalized proving using “proof-events.” Argumentation logic can offer reasoning mechanisms that facilitate these environments. This paper proposes how argumentation (...) can be implemented to discover certain characteristics in the development of formalized proving with “proof-events”. The concept of a proof-event was introduced by Goguen who described mathematical proof as a multi-agent social event involving not only “classical” formal proofs, but also other informal proving actions such as deficient or alleged proofs. Argumentation is an integral component of the discovery process for a mathematical proof since a proof necessitates a dialogue between provers and interpreters to clarify and resolve gaps or assumptions. By formalizing proof-events through argumentation, this paper demonstrates how informal reasoning and conflicts arising during the proving process can be effectively simulated. The paper presents an extended version of the proof-events calculus, rooted in argumentation theories, and highlights the intricate relationships among proof, human reasoning, cognitive processes, creativity, and mathematical arguments. (shrink)

Causation is the main foundation upon which the possibility of science rests. Without causation, there would be no scientific understanding, explanation, prediction, nor application in new technologies. How we discover causal connections is no easy matter, however. Causation often lies hiddenfrom view and it is vital that we adopt the right methods for uncovering it. The choice of methods will inevitably reflect what one takes causation to be, making an accurate account of causation an even more pressing matter. This enquiry (...) informs the correct norms for an empirical study of the world. In Causation in Science and the Methods of Scientific Discovery, Rani Lill Anjum and Stephen Mumford propose nine new norms of scientific discovery. A number of existing methodological and philosophical orthodoxies are challenged as they argue that progress in science is being held back by an overlysimplistic philosophy of causation. (shrink)

The primary theme of this paper is the normative case against ownership of one's genetic information along with the source of that information (usually human tissues samples). The argument presented here against such “upstream” property rights is based primarily on utilitarian grounds. This issue has new salience thanks to the Human Genome Project and “bio-prospecting” initiatives based on the aggregation of genetic information, such as the one being managed by deCODE Genetics in Iceland. The rationale for ownership (...) is twofold: ownership will protect the basic human rights of privacy and autonomy and it will enable the data subjects to share in the tangible benefits of the genetic research. Proponents of this viewpoint often cite the principle of genetic exceptionalism, which asserts that genetic information needs a higher level of protection than other kinds of personal information such as financial data. We argue, however, that the recognition of such ownership rights would lead to inefficiency along with the disutility of genetic discoveries. Biomedical research will be hampered if property rights in genes and genetic material are too extensive. We contend that other mechanisms such as informed consent and strict confidentiality rules can accomplish the same result as a property right without the liabilities of an exclusive entitlement. (shrink)

In the space of three years–from 1962 to 1964 – the proposition that chloroplasts contain their own DNA made the transition from being a controversial hypothesis to an accepted dogma. The crucial evidence came from biochemical analyses of the organelles themselves and from cytological studies. These discoveries revolutionized our views on the distribution of genetic information within the cell, and gave rise to the vigorous new field of chloroplast molecular biology. It is nevertheless ironic to recall that of the (...) biochemical papers published on this topic in 1962–64, the one which was probably the most influential in creating the new paradigm was in fact quite wrong, and attributed to the chloroplast, DNA species which did not in reality belong to this organelle at all. (shrink)

I would like to congratulate James Woodward for another landmark accomplishment, after publishing his Making things happen: A theory of causal explanation. Making things happen gives an elegant interventionist theory for understanding explanation and causation. The new contribution relies on that theory and further makes a big step towards empirical inference of causal relations from non-experimental data. In this paper, I will focus on some of the emerging computational methods for finding causal relations from non-experimental data and attempt to complement (...) Woodward's contribution with discussions on 1) how these methods are connected to the interventionist theory of causality, 2) how informative the output of the methods is, including whether they output directed causal graphs and how they deal with confounders, and 3) the assumptions underlying the asymptotic correctness of the output of the methods about causal relations. Different causal discovery methods may rely on different aspects of the joint distribution of the data, and this discussion aims to provide a technical account of the assumptions. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:NEWMAN'S PSYCHOLOGICAL DISCOVERY: THE ILLATIVE SENSE (Continued) VI THE FACULTIES OF COGNITION AND APPETITION Since the Grammar of Assent gives us a phenorhenological analysis of the art of thinking and often refers to the influence of other faculties in our reasoning processes, it will be very instructive to examine what the author holds about our faculties of cognition and appetition. This will make us better acquainted with the (...) nature of the illative sense. I. THE SENSES 1. The External Senses and their Objects. We had already arrived at the conclusion that Newman rejects the mere subjectivity of our knowledge. When he writes about this matter he explicitly deals with sensation or sensuous cognition. Although he takes exception to the word "immediate perception," 1 we may nevertheless call him an adherent of direct or immediate realism according to Scholastic terminology, because he emphatically excludes the intervention of a reasoning process from sense perception and uses the term "mediate perception" only to express the instrumentality of experience. In this meaning our perception of external objects is mediate or indirect indeed.2 The fact is that as early as 1839 he wrote in his University Sermons: "Of the material we have direct knowledge through the senses"3 and in 1843: "The senses are direct, immediate, and ordinary informants, and act spontaneously without any will or effort on our part."4 On the importance of sense perception for our mental activities he writes in a series of hitherto unpublished notes, entitled Elements of Thought:6 "I grant or I assume that the soul would not think without some external stimulus; that if it were cut off from all communication from the external world, it would pass this life in a sort of torpor... But then, as soon as it is roused, it reflects upon itself, and thereby gains a number of ideas..." 1. See supra V, 14.2. Supra V, 14.3. P. 205. 4.P. 303 ; cf. Gramm., p. 260. 5.See the unpublished Philosophical Papers, note Fcbr. 24, 1859. 40 DR. ZENO, OJM. CAP.41 Apart from the passages already referred to, Newman nowhere enlarges on the doctrine about the senses. He does not speak about the distinctions between sensible objects; he does not explain the difference between sensation and perception, and uses those terms promiscuously.6 There are no statements on the subject which contradict current Scholastic notions, although sometimes his vague terminology may be an occasion for misunderstandings. For instance, some passages in connection with "images" and "impressions," when read apart from the context, would appear to imply that he identifies them with the Scholastic species a sensibili accepta. However, we shall show further on that. Newman means something quite different. He deals with these species and the so-called sensibilia per acci· dens by the way when describing our knowledge of God7 and teaching that we have evidence of the presence of individuals or substances in the phenomena which occur to our senses. We picture those things to ourselves in those phenomena. They are like pictures, he says, but at the same time "they give us no exact measure or character of the unknown things beyond them." "Therefore when we speak of our having a picture of the things which are perceived through the senses, we mean a certain representation, true as far as it goes, but not adequate." 2. The Internal Senses and their Objects. Newman nowhere gives a distinction between external and internal senses, but nevertheless he speaks about those faculties of the mind which by the Scholastics are called the internal senses. These philosophers distinguish a common sense or rather a central sense (sensus communis), which unites the impressions of the external senses into one whole, makes us conscious of the conditions of our body and notifies to us the sensations of our external as well as internal senses; — the imagination or the faculty which preserves and reproduces things perceived; — the sensuous memory, i. e., the power to retain and to reproduce sense images; — and the vis aestimativa or the instinctive faculty, which discovers without any intellectual means, what is good and what is bad for our welfare. 6.It would seem that he generally... (shrink)

Leibniz coined the word “dynamics,” but his own dynamics has never been completed. However, there are many illuminating ideas scattered in his writings on dynamics and metaphysics. In this paper, I will present my own interpretation of Leibniz’s dynamics and metaphysics. To my own surprise, Leibniz’s dynamics and metaphysics are incredibly flexible and modern. In particular, the metaphysical part, namely Monadology, can be interpreted as a theory of information in terms of monads, which generate both physical phenomena and mental (...) phenomena. The phenomena, i.e., how the world of monads appears to each monad must be distinguished from its internal states, which Leibniz calls perceptions, and the phenomena must be understood as the results of these states and God’s coding. My distinctive claim is that most interpreters ignored this coding. His dynamics and metaphysics can provide a framework good enough for enabling Einstein’s special relativity. And finally, his dynamics and metaphysics can provide a very interesting theory of space and time. In Part 1, we will focus on the relationship between metaphysics and dynamics. Leibniz often says that dynamics is subordinated to metaphysics. We have to take this statement seriously, and we have to investigate how dynamics and metaphysics are related. To this question, I will give my own answer, based on my informational interpretation. On my view, Leibniz’s metaphysics tries, among others, to clarify the following three: How each monad is programmed. How monads are organized into many groups, each of which is governed by a dominant monad ; this can be regarded as a precursor of von Neumann’s idea of cellular automata. And how the same structure is repeated in sub-layers of the organization. This structure is best understood in terms of the hierarchy of programs, a nested structure going down from the single dominant program to subprograms, which again controls respective subprograms, and ad infinitum. If we may use a modern term, this is a sort of recursion, although Leibniz himself did not know this word. And one of my major discoveries is that the same recursive structure is repeated in the phenomenal world, the domain of dynamical investigations. Recursion of what, you may ask. I will argue that it is elastic collision. For Leibniz, aside from inertial motions, dynamical changes of motion are brought about by elastic collisions, at any level of the infinite divisibility of matter. This nicely corresponds to the recursive structure of the program of a monad, or of the program of an organized group of monads. This is the crux of his claim that dynamics is subordinated to metaphysics. Moreover, the program of any monad is teleological, whereas the phenomenal world is governed by efficient cause of dynamics. And it is natural that the pre-established harmony is there, since God is the ultimate programmer, as well as the creator. (shrink)

Dr Jardine finds a unifying principle in Bacon's preoccupation with 'method', the evaluation and organisation of information as a procedure of investigation or ...

A central theme in western philosophy was to find formal methods that can reliably discover empirical relationships and their explanations from data assembled from experience. As a philosophical project, that ambition was abandoned in the 20th century and generally dismissed as impossible. It was replaced in philosophy by neo-Kantian efforts at reconstruction and justification, and in professional statistics by the more limited ambition to estimate a small number of parameters in pre-specified hypotheses. The influx of “big data” from climate science, (...) neuropsychology, biology, astronomy and elsewhere implicitly called for a revival of the grander philosophical ambition. Search algorithms are meeting that call, but they pose a problem: how are their accuracies to be assessed in domains where experimentation is limited or impossible? Increasingly, the answer is through simulation of data from models of the kind of process in the domain. In some cases, these innovations require rethinking how the accuracy and informativeness of inference methods can be assessed. Focusing on causal inference, we give an example from neuroscience, but to show that the model/simulation strategy is not confined to causal inference, we also consider two classification problems from astrophysics: identifying exoplanets and identifying dark matter concentrations. (shrink)