A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched.

In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience. Maslov was considered by his peers to be a man of genius who was making fundamental contributions in the fields of automatic theorem proving and computational logic. He published little, and those few papers were regarded as notoriously difficult. This book, however, was written for a broad audience (...) of readers and describes elegant examples of applications in such fields as computer science, artificial intelligence, operations research, economic modeling, and biological modeling, among others. The book also brings to light the work by the American mathematician E. L. Post, which inspired Maslov's own work in the development of a general theory and which has been long neglected by mathematicial logicians and systems theorists in the United States. The book's first chapter introduces the Rules of the Game. Part I, Mathematics of Calculi, covers E. L. Post's canonical systems, deductive systems and algorithms, and probabilistic calculi and deductive information. Part II, Horizonal Modeling, takes up a "toy" economy, the calculi of technological possibilities, and the development of rules. Part III, Vertical Modeling, deals with the topics of "to fight and to search" and the consequences of the asymmetry of cognitive mechanisms. Vladimir Lifschitz is affiliated with the Department of Computer Science at Stanford University, and Michael Gelfond with the Department of Electrical Engineering and Computer Science at the University of Texas, El Paso. Theory of Deductive Systems and Its Applicationsis included in the Foundation of Computing Series, edited by Michael Garey. (shrink)

John Burdon Sanderson Haldane was a giant among men. He made major contributions to genetics, population biology, and evolutionary theory. He was at once comfortable in mathematics, chemistry, microbiology and animal physiology. But it was his belief in education that led to his preparing his popular essays for publication. In his own words: "Many scientific workers believe that they should confine their publications to learned journals. I think that the public has a right to know what is going on inside (...) the laboratories, for some of which it pays." So begins Haldane's collection of essays, perhaps the most public intellectual communicating science before the writings of Stephen Jay Gould. The first part of the volume emphasizes the important developments in biology and natural science in the first quarter of the century. As such, it provides a benchmark for studies of the next three quarters of the century. In an unusual introduction, Price takes the readers through their paces, discussing the situation then and now in vitamins, oxygen want, disease controls, and the rewards of science as such. This is followed by Haldane's views on society, art, religion and economy as seen through the eyes of a politically alert major scientist. The editor provides readers unfamiliar with Haldane with a carefully rendered chronology of a life that began in 1892 and that spanned much of the present century. Despite ideas on race, class and politics that have seen better times, Haldane was truly exceptional in translating the science of his time into ideas that "everyman" could readily grasp. His predictions on what science would achieve were on target far more often than not. But even his failed predictions are perhaps the most interesting of all. They throw into sharp relief the truly novel and revolutionary developments in science over the past 75 years. J.B.S. Haldane held many positions and received many honors during his lifetime. But for most of the period covered in this volume, he was the William Dunn Reader in Biochemistry at Cambridge University. He simultaneously served as Fellow of New College, in Oxford University's Horticultural Institute. Carl A. Price served until 1999 as professor IIof plant molecular biology in the Waksman Institute of Microbiology at Rutgers, the State University of New Jersey. He also served as the editor of Plant Molecular Biology Reporter from 1983 until 1997. This is the first volume in a new series on the history and theory of science. (shrink)

This article considers how legislators should respond to evidence that identifies a common and widely accepted parental practice as a potential source of harm to children, using domestic exposure to environmental tobacco smoke as a test case. It is claimed that children are parties to the Harm Principle, and that the State has an obligation to protect children from exposure to harm. Parental prerogative is limited by the need to avoid harming children. That said, there is considerable uncertainty about what (...) is harmful to children. Several sources of uncertainty, both empirical and conceptual, are explored, in order to demonstrate the complexity of the task legislators face. Seven considerations that are relevant to decisions about legislation of harmful parental practices are outlined, and these considerations are then employed to assess the case in favour of legislating to prohibit the exposure of children to environmental tobacco smoke in domestic settings. (shrink)

In a reflective and richly entertaining piece from 1979, Doug Hofstadter playfully imagined a conversation between ‘Achilles’ and an anthill (the eponymous ‘Aunt Hillary’), in which he famously explored many ideas and themes related to cognition and consciousness. For Hofstadter, the anthill is able to carry on a conversation because the ants that compose it play roughly the same role that neurons play in human languaging; unfortunately, Hofstadter’s work is notably short on detail suggesting how this magic might be achieved1. (...) Conversely in this paper - finally reifying Hofstadter’s imagination - we demonstrate how populations of simple ant-like creatures can be organised to solve complex problems; problems that involve the use of forward planning and strategy. Specifically we will demonstrate that populations of such creatures can be configured to play a strategically strong - though tactically weak - game of HeX (a complex strategic game).We subsequently demonstrate how tactical play can be improved by introducing a form of forward planning instantiated via multiple populations of agents; a technique that can be compared to the dynamics of interacting populations of social insects via the concept of meta-population. In this way although, pace Hofstadter, we do not establish that a meta-population of ants could actually hold a conversation with Achilles, we do successfully introduce Aunt Hillary to the complex, seductive charms of HeX. (shrink)

In today's turbulent business climate, business ethics are more important than ever. Surveys of employees show that misconduct is on the rise. Cover stories reporting indictments, prosecutions, and penalties imposed for unethical business conduct appear almost daily. Legislatures pass requirements elevating the levels of punishment and their enforcement against corporations and individuals. Organizations face pressure to design and implement effective ethics and compliance programs. As a result, businesses and businesspeople are increasingly worried that their conduct might cross lines that put (...) their wealth and reputations at risk. Business Ethics: What Everyone Needs to Know ® explains what those lines are, how not to cross them, and what to do when they are crossed. Written for both businesspeople facing real-life dilemmas and students studying ethical questions, this succinct book uniquely surveys materials from moral philosophy, behavioral science, and corporate law, and shares practical advice. Experts J.S. Nelson and Lynn A. Stout cover a wide array of essential topics including the legal status of corporations, major ethical traps in modern business, negotiations, whistleblowing and liability, and best practices. Written in a short question-and-answer style, this resource provides engaging and readable introductions to the basic principles of business ethics, and an invaluable guide for dealing with ethical dilemmas. (shrink)

Hidden Markov models (HMMs) have been successful for modelling the dynamics of carefully dictated speech, but their performance degrades severely when used to model conversational speech. Since speech is produced by a system of loosely coupled articulators, stochastic models explicitly representing this parallelism may have advantages for automatic speech recognition (ASR), particularly when trying to model the phonological effects inherent in casual spontaneous speech. This paper presents a preliminary feasibility study of one such model class: loosely coupled HMMs. Exact model (...) estimation and decoding is potentially expensive, so possible approximate algorithms are also discussed. Comparison of one particular loosely coupled model on an isolated word task suggests loosely coupled HMMs merit further investigation. An approximate algorithm giving performance which is almost always statistically indistinguishable from the exact algorithm is also identified, making more extensive research computationally feasible. (shrink)

Augustine of Hippo's The City of God is generally considered to be one of the key works of Late Antiquity. Written in response to allegations that Christianity had brought about the decline of Rome, Augustine here explores themes in history, political science, and Christian theology, and argues for the truth of Christianity over competing religions and philosophies. This Companion volume includes specially-commissioned essays by an international team of scholars that provide new insights into The City of God. Offering commentary on (...) each of this massive work's 22 books chapters, they sequentially and systematically explore The City of God as a whole. Collectively, these essays demonstrate the development and coherence of Augustine's argument. The volume will be an invaluable resource for students and scholars of ancient and contemporary theology, philosophy, cultural studies, and political theory. (shrink)

This book is a detailed study of how, according to Thomas Aquinas and his works, God’s Holy Spirit is continuously at work in and through human moral activity.