Machines will attain human levels of intelligence by the year 2040, predicts robotics expert Hans Moravec. And by 2050, they will have far surpassed us. In this mind-bending new book, Hans Moravec takes the reader on a roller coaster ride packed with such startling predictions. He tells us, for instance, that in the not-too-distant future, an army of robots will displace workers, causing massive, unprecedented unemployment. But then, says Moravec, a period of very comfortable existence will follow, (...) as humans benefit from a fully automated economy. And eventually, as machines evolve far beyond humanity, robots will supplant us. But if Moravec predicts the end of the domination by human beings, his is not a bleak vision. Far from railing against a future in which machines rule the world, Moravec embraces it, taking the startling view that intelligent robots will actually be our evolutionary heirs. "Intelligent machines, which will grow from us, learn our skills, and share our goals and values, can be viewed as children of our minds." And since they are our children, we will want them to outdistance us. In fact, in a bid for immortality, many of our descendants will choose to transform into "ex humans," as they upload themselves into advanced computers. We will become our children and live forever. In his provocative new book, the highly anticipated follow-up to his bestselling volume Mind Children, Moravec charts the trajectory of robotics in breathtaking detail. A must read for artificial intelligence, technology, and computer enthusiasts, Moravec's freewheeling but informed speculations present a future far different than we ever dared imagine. (shrink)

This paper argues that idealism can offer a new solution to the problem of relating the “static” presence of things to eternity and the “dynamic” passage of reality in the temporal realm. I first offer a presentation of this problem using the dispute between Aquinas and Scotus, then describe “ontological idealism about time,” as a smaller–scale idealism, and show how it resolves the original problem. I conclude by demonstrating that this view is consonant with the recent emphasis on the ontological (...) dependence of things on God and that it offers a way of bringing together non–eternalist ontologies and the ontological conclusions posited by the special theory of relativity. (shrink)

The self-domestication hypothesis suggests that, like mammalian domesticates, humans have gone through a process of selection against aggression – a process that in the case of humans was self-induced. Here, we extend previous proposals and suggest that what underlies human social evolution is selection for socially mediated emotional control and plasticity. In the first part of the paper we highlight general features of human social evolution, which, we argue, is more similar to that of other social mammals than to that (...) of mammalian domesticates and is therefore incompatible with the notion of human self-domestication. In the second part, we discuss the unique aspects of human evolution and propose that emotional control and social motivation in humans evolved during two major, partially overlapping stages. The first stage, which followed the emergence of mimetic communication, the beginnings of musical engagement, and mimesis-related cognition, required socially mediated emotional plasticity and was accompanied by new social emotions. The second stage followed the emergence of language, when individuals began to instruct the imagination of their interlocutors, and to rely even more extensively on emotional plasticity and culturally learned emotional control. This account further illustrates the significant differences between humans and domesticates, thus challenging the notion of human self-domestication. (shrink)

Computers have far to go to match human strengths, and our estimates will depend on analogy and extrapolation. Fortunately, these are grounded in the first bit of the journey, now behind us. Thirty years of computer vision reveals that 1 MIPS can extract simple features from real-time imagery--tracking a white line or a white spot on a mottled background. 10 MIPS can follow complex gray-scale patches--as smart bombs, cruise missiles and early self-driving vans attest. 100 MIPS can follow moderately unpredictable (...) features like roads--as recent long NAVLAB trips demonstrate. 1,000 MIPS will be adequate for coarse-grained three-dimensional spatial awareness--illustrated by several mid-resolution stereoscopic vision programs, including my own. 10,000 MIPS can find three-dimensional objects in clutter--suggested by several "bin-picking" and high-resolution stereo-vision demonstrations, which accomplish the task in an hour or so at 10 MIPS. The data fades there--research careers are too short, and computer memories too small, for significantly more elaborate experiments. (shrink)

We prove that the Lambek calculus is complete w.r.t. L-models, i.e., free semigroup models. We also prove the completeness w.r.t. relativized relational models over the natural linear order of integers.

In this paper we prove the Chomsky Conjecture (all languages recognized by the Lambek calculus are context-free) for both the full Lambek calculus and its product-free fragment. For the latter case we present a construction of context-free grammars involving only product-free types.

In 1958 J. Lambek introduced a calculusL of syntactic types and defined an equivalence relation on types: x y means that there exists a sequence x=x1,...,xn=y (n 1), such thatx i x i+1 or xi+ x i (1 i n). He pointed out thatx y if and only if there is joinz such thatx z andy z. This paper gives an effective characterization of this equivalence for the Lambeck calculiL andLP, and for the multiplicative fragments of Girard's and Yetter's linear (...) logics. Moreover, for the non-directed Lambek calculusLP and the multiplicative fragment of Girard's linear logic, we present linear time algorithms deciding whether two types are equal, and finding a join for them if they are. (shrink)

Planar cell polarity, the polarization of cells within the plane of the epithelium, orthogonal to the apical‐basal axis, is essential for a growing list of developmental events, and – over the last 15 years – has evolved from a little‐studied curiosity in Drosophila to the subject of a substantial research enterprise. In that time, it has been recognized that two molecular systems are responsible for polarization of most tissues: Both the “core” Frizzled system and the “global” Fat/Dachsous/Four‐jointed system produce molecular (...) asymmetry within cells, and contribute to morphological polarization. In this review, we discuss recent findings on the molecular mechanism that links “global” directional signals with local coordinated polarity. (shrink)

The book combines a series of chapters considering a range of responses to the idea of 'de-westernizing' film studies with a series of in-depth interviews with filmmakers, scholars and critics.

In an approach to quantify the locomotor response to environmental stimuli in fishes and its central control mechanisms, initially stochastic models of spontaneous locomotor behavior are being formulated. In the present paper, the locomotor patterns of three active nurse shark,Ginglymostoma cirratum, in six experiments are converted into 17 locomotor variables and found to have definite time series structure. Sixty-seven of the 102 first order serial correlation coefficients are statistically significant, the incidence rate of which differs between experiments and between locomotor (...) variables. The percent residual variation about an autoregressive equation is transformed by a Fisher's z statistic and the means are found to differ significantly among experiments and among variables. The experiment by variable interaction is very low implying a consistency in the ranks of the variables despite the wide differences in their absolute levels over the experiments. This suggests the existence of a relatively rigid albeit occasionally latent locomotor control mechanism in the central nervous system. (shrink)

The locomotor pattern of a goldfish may be described by 17 locomotor variables whose time series are known to exhibit distinct patterns of autocorrelation. The present model reduces the set of 17 variables to a set of seven predictor variables which optimize the prediction of future locomotor behavior. These seven variables are then grouped into two clusters by a dendogram analysis, and it is shown that the clusters are also characterized by their strength of prediction. A locomotor control model is (...) then formulated where one cluster is interpreted to be a level of activity factor and the other is hypothesized to be a turning behavior factor. (shrink)

In recent years the mushrooming power, functionality and ubiquity of computers and the Internet have outstripped early forecasts about technology's rate of advancement and usefulness in everyday life. Alert pundits now foresee a world saturated with powerful computer chips, which will increasingly insinuate themselves into our gadgets, dwellings, apparel and even our bodies.

The unprecedented opportunities for experiments in complexity presented by the first modern computers in the late 1940's raised hopes in early computer scientists (eg. John von Neumann and Alan Turing) that the ability to think, our greatest asset in our dealings with the world, might soon be understood well enough to be duplicated. Success in such an endeavor would extend mankind's mind in the same way that the development of energy machinery extended his muscles.

Introduction to the first special issue of Bergsoniana, a new journal in Bergson studies.

The last few years have been good for time machines. Kip Thorne's renowned general relativity group at Caltech invented a new quantum gravitational approach to building a time gate, and, in an international collaboration, gave a plausible rebuttal of "grandfather paradox" arguments against time travel. Another respected group suggested time machines that exploit quantum mechanical time uncertainty. The technical requirements for these suggestions exceed our present capabilities, but each new approach seems less onerous than the last. There is hope yet (...) that time travel will eventually become possible, even cheap. (shrink)

This paper provides a Bergsonian response to J.M.E. McTaggart’s argument for the unreality of time. McTaggart’s argument has been used as the primary framework for analytic discussions about time for over a hundred years. McTaggart argued that all events in time can be categorised in two ways: either using the A-series (whereby all events are ‘past,’ ‘present,’ or ‘future’) or the B-series (whereby two events are linked by the relation of ‘earlier’ and ‘later’). He argued that the A-series is contradictory (...) and that the B-series does not capture the nature of time. So he famously concluded that time is unreal. I demonstrate that McTaggart’s argument does not pay sufficient attention to the time of consciousness captured by Bergson’s durée. I show that two distinct temporal realms can be extracted from Bergson’s philosophy: (i) la durée and (ii) a mathematical time-ordering generally classified by analytic philosophers as the B-series. The A-series is shown to be an attempt to ‘have it all’ – to retain the features that apply only to the mathematical ordering (e.g., divisibility into distinct segments), but that also somehow contain only those features that apply to subjective temporal experience (e.g., the ‘flow’ of time). (shrink)

An important element of Natural Language Processing is parts of speech tagging. With fine-grained word-class annotations, the word forms in a text can be enhanced and can also be used in downstream processes, such as dependency parsing. The improved search options that tagged data offers also greatly benefit linguists and lexicographers. Natural language processing research is becoming increasingly popular and important as unsupervised learning methods are developed. There are some aspects of the Albanian language that make the creation of a (...) part-of-speech tag set challenging. This research provides a discussion of those issues linguistic phenomena and presents a proposal for a part-of-speech tag set that can adequately represent them. The corpus contains more than 250,000 tokens, each annotated with a medium-sized tag set. The Albanian language’s syntagmatic aspects are adequately represented. Additionally, in this paper are morphologically and part-of-speech tagged corpora for the Albanian language, as well as lemmatize and neural morphological tagger trained on these corpora. Based on the held-out evaluation set, the model achieves 93.65% accuracy on part-of-speech tagging, The morphological tagging rate was 85.31 % and the lemmatization rate was 88.95%. Furthermore, the TF-IDF technique weighs terms and with the scores are highlighted words that have additional information for the Albanian corpus. (shrink)

This paper argues that the possibility of revealing counterfactuals of creaturely freedom to agents in possible worlds forming part of God’s natural knowledge poses a new problem for Molinism. This problem best comes to light when considering the phenomenon of stubbornness, i.e., the conscious refusal of fulfilling the providential plan revealed to and intended for us by another agent. The reason why this problem has gone unnoticed is that the usual instances of prophecy dealt with by Molinists (especially the story (...) of Peter’s denial) are highly specific cases. These cases are special for three reasons: (1) because the content of the revelations does not include the relevant counterfactuals of creaturely freedom, (2) because the specific revelation plays no causal role in the immediate circumstances of the action that the agent is performing, and (3) because the agent is not intent on consciously refusing the providential plan intended by the relevant counterfactual. I explore possible worlds where one or more of these three conditions do not obtain and demonstrate the consequences these possible worlds have for Molinists. (shrink)

This is a proposal for the re-activation of the essentially stillborn automatic car project for which the cart was originally obtained, and presents a process through which this activation could be accomplished painlessly. The project would be financed from the lab's operating grant, and would interact strongly with, while being independent of, any Mars rover research initiated by Lynn Quam. Since I seem to be the only one, apart from John McCarthy, with an active interest in this aspect of things, (...) the following is written entirely from my point of view. (shrink)

The aim of this paper is to demonstrate that adjusting Stump and Kretzmann’s “atemporal duration” with la durée, a key concept in the philosophy of Henri Bergson, can respond to the most significant objections aimed at Stump and Kretzmann’s re-interpretation of Boethian eternity. This paper deals with three of these objections: the incoherence of the notion of “atemporal duration,” the impossibility of this duration being time-like, and the problems involved in conceiving it as being related to temporal duration by a (...) relation of analogy. I conclude that “atemporal duration” — when combined with Bergson’s durée to become an “atemporal durée” — is a coherent understanding of divine eternity. (shrink)

This paper describes some components of a working system which drives a vehicle through cluttered real world environments under computer control, guided by images perceived through an onboard television camera. The emphasis is on reliable and fast low level visual techniques which determine the existence and location of objects in the world, but do not identify them. They include an interest operator for choosing distinctive regions in images, a correlator for finding matching regions in similar images, a geometric camera solver (...) which determines camera displacement and distance to objects from motion stereo information and an automatic distortion corrector which compensates for camera imperfections. (shrink)

The thoughts presented here never appeared in research proposals, but nevertheless grew at the Stanford University Artificial Intelligence Laboratory over the years 1971 through 1980 under support from the National Institutes of Health, the Defense Advanced Research Projects Agency, the National Science Foundation and the National Aeronautics and Space Administration, and more recently at the Carnegie-Mellon University Robotics Institute under Office of Naval Research contract number N00014-81-K-0503.

The aim of this article is to reassess the similarity between Kripke’s metaphysics and Aquinas’ thought on truth, a similarity affirmed in Schultz-Aldrich’s Heythrop Journal article from 2009 and denied by Klima and Kerr in their analysis of Kripkean and Thomist accounts of essence. My claim is that this similarity has been insufficiently understood and its misunderstanding has closed off ways by means of which Aquinas’ thought can provide Kripkean epistemology with a component that it lacks.

Exploration and colonization of the universe awaits, but earth-adapted biological humans are ill-equipped to respond to the challenge. Machines have gone farther and seen more, limited though they presently are by insect-like behavioral inflexibility. As they become smarter over the coming decades, space will be theirs. Organizations of robots of ever increasing intelligence and sensory and motor ability will expand and transform what they occupy, working with matter, space and time. As they grow, a smaller and smaller fraction of their (...) territory will be undeveloped frontier. Competitive success will depend more and more on using already available matter and space in ever more refined and useful forms. The process, analogous to the miniaturization that makes today's computers a trillion times more powerful than the mechanical calculators of the past, will gradually transform all activity from grossly physical homesteading of raw nature, to minimum-energy quantum transactions of computation. The final frontier will be urbanized, ultimately into an arena where every bit of activity is a meaningful computation: the inhabited portion of the universe will transformed into a cyberspace. (shrink)

Our first tools, sticks and stones, were very different from ourselves. But many tools now resemble us, in function or form, and they are beginning to have minds. A loose parallel with our own evolution suggests how they may develop in future. Computerless industrial machinery exhibits the behavioral flexibility of single-celled organisms. Today's best computer-controlled robots are like the simpler invertebrates. A thousand-fold increase in computer power in this decade should make possible machines with reptile-like sensory and motor competence. Growing (...) computer power over the next half century will allow robots that learn like mammals, model their world like primates and eventually reason like humans. Depending on your point of view, humanity will then have produced a worthy successor, or transcended inherited limitations and transformed itself into something quite new. No longer limited by the slow pace of human learning and even slower biological evolution, intelligent machinery will conduct its affairs on an ever faster, ever smaller scale, until coarse physical nature has been converted to fine-grained purposeful thought. (shrink)

Senses evolved to when the world was wild, enabling our ancestors to detect subtle passing opportunities and dangers. Senses are less useful in a tamer world, where our interactions become more and more simple information exchanges. Senses, and the instincts using them, are increasingly liabilities, demanding entertainment rather than providing useful services. The anachronism will become more apparent as virtual realities, prosthetic sense organs and brain to computer interfaces become common. Imagine reading a computer screen if your eyes and visual (...) cortex are artificial prostheses. It would be far better to bypass all the sensory processing, and insert the message from the computer directly into the thinking portions of your brain. In such manner all our senses will become obsolete, as our physical environment is inexorably refined from a rough physical place into a densely interconnected cyberspace. (shrink)

The thesis uses key insights from the philosophy of Henri Bergson (1859-1941) to propose a new model of God’s relation to time. Chapter 1 is an introduction to Bergson’s philosophy against the background of Russell’s “The Philosophy of Bergson.” It provides an exposition of two key themes from Bergson central to my argument: the relation between time and space (Chapters 2-4) and the relation between free will and determinism (Chapter 5). Chapter 2 has a twofold task. First, it provides a (...) Bergsonian response to McTaggart’s argument for the unreality of time. Second, it uses the underlying metaphysics of McTaggart’s argument to demonstrate that two distinct temporal realms can be extracted from Bergson’s philosophy: (i) la durée and (ii) a mathematical time-ordering generally classified by analytic philosophy as the B-series. Chapter 3 relates this double-tier framework to temporal ontologies in analytic philosophy. I argue that such a framework supports an “ontological idealism about time.” I argue for relativizing temporal existence to distinct points or sets of points of spacetime that leads to a radical mind-dependence of temporal extension of objects. Chapter 4 explores how the durée-based ontology argued for in Chapter 3 impacts the relation between God and time. I argue that analytic philosophy has failed to capture key ontological facets of the God-time relation and that a return to divine “causal knowledge” is required. I demonstrate that the existence of temporal objects comes from two sources: (i) their mind-dependent temporal aspect and (ii) timeless divinely-created esse. Chapter 5 applies this framework to the problem of divine foreknowledge and human free will. I demonstrate that although Bergson’s theory can defend the existence of human freedom, his thought needs to be supplanted with divine “causal knowledge” to guarantee divine omniscience. (shrink)

Folk psychology is under threat - that is to say - our everyday conception that human beings are agents who experience the world in terms of sights, sounds, tastes, smells and feelings and who deliberate, make plans, and generally execute actions on the basis of their beliefs, needs and wants - is under threat. This threat is evidenced in intellectual circles by the growing attitude amongst some cognitive scientists that our common sense categories are in competition with connectionist theories and (...) modern neuroscience. It is often thought that either folk psychology or modern cognitive science must go. It is in these terms that the battle lines of today's philosophy of mind are drawn. (shrink)

Serious attempts to build thinking machines began after the second world war. One line of research, called Cybernetics, used electronic circuitry imitating nervous systems to make machines that learned to recognize simple patterns, and turtle-like robots that found their way to recharging plugs. A different approach, named Artificial Intelligence, harnessed the arithmetic power of post-war computers to abstract reasoning, and by the 1960s made computers prove theorems in logic and geometry, solve calculus problems and play good games of checkers. At (...) the end of the 1960s, research groups at MIT and Stanford attached television cameras and robot arms to their computers, so "thinking" programs could begin to collect information directly from the real world. (shrink)

Summarizing a surrounding 200 pages, pages 179 to 190 of Shadows of the Mind contain a future dialog between a human identified as "Albert Imperator" and an advanced robot, the "Mathematically Justified Cybersystem", allegedly Albert's creation. The two have been discussing a Gödel sentence for an algorithm by which a robot society named SMIRC certifies mathematical proofs. The sentence, referred to in mathematical notation as Omega(Q*), is to be precisely constructed from on a definition of SMIRC's algorithm. It can be (...) interpreted as stating "SMIRC's algorithm cannot certify this statement." The robot has asserted that SMIRC never makes mistakes. If so, SMIRC's algorithm cannot certify the Goedel sentence, for that would make the statement false. But, if they can't certify it, what is says is true! Humans can understand it is true, but mighty SMIRC cannot certify it. The dialog ends melodramatically as the robot, apparently unhinged by this revelation, claims to be a messenger of god, and the human shuts it down with a secret control. (shrink)

Computers have invaded everyday life, and networked machines are worming their way into our gadgets, dwellings, clothes, even bodies. But if pervasive computing soon handles most of our information needs, it will still not clean the floors, take out the garbage, assemble kit furniture or do any of a thousand other other essential physical tasks. The old dream of mechanical servants will remain mostly unmet.

In the early 1970s, doing simple computer stereoscopic vision, it became rapidly obvious that the computer power in our mainframe PDP-10 was hugely insufficient to do even that basic function in real time, implying that doing the job of the whole nervous system was even further out of reach. Besides enormously more speed, we needed enormously more memory.