In the recent podcast, "Can We Upload Ourselves to a Computer and Live Forever?", Walter Bradley Center director Robert J. Marks and computer scientist Selmer Bringsjord discuss whether we could achieve immortality by uploading our minds to computers. The year 2029 is the consistent date I've predicted, when an artificial intelligence will pass a valid Turing test -- achieving human levels of intelligence. "I have also set the date 2045 for singularity -- which is when humans will multiply our effective intelligence a billion fold, by merging with the intelligence we have created. Indeed, when Kurzweil (left) became a director of engineering at Google in 2012, he not only mainstreamed the basic idea but he "heralded, for many, a symbolic merger between transhumanist philosophy and the clout of major technological enterprise." (The Guardian, 2017). Beyond the Valley, the project gets more ambitious. In a recent piece at Gizmodo, Toronto-based writer George Dvorsky advocates uploading our minds to supercomputers somewhere in the universe, a proposal he calls Distributed Humanity: "Entire civilizations could live on a single supercomputer, enabling the existence of potentially trillions upon trillions of individuals, each of them a single brain emulation.

Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019) EPTCS 311, 2019, pp. In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems. Logics for modeling ethical theories, and their automated reasoners, have requirements that are different from modal logics used for other purposes, e.g. for temporal reasoning. Particularly, a quantified modal logic, the deontic cognitive event calculus (DC E C), has been used to model various versions of the doctrine of double effect, akrasia, and virtue ethics. Using a fragment of DC E C, we outline these distinct characteristics and present a sketches of an algorithm that can help with some aspects proof automation forDC E C . 1 Introduction Modal logics have been used for decades to model and study a diverse set of subjects -- e.g.

We briefly introduce herein a new form of distributed, multi-agent artificial intelligence, which we refer to as "tentacular." Tentacular AI is distinguished by six attributes, which among other things entail a capacity for reasoning and planning based in highly expressive calculi (logics), and which enlists subsidiary agents across distances circumscribed only by the reach of one or more given networks.

The purpose of the conference was to exchange ideas about the creation of artificial systems with general intelligence at, and ultimately beyond, the human level. GI-09, the Second International Conference on Artificial General Intelligence, was held March 6-9 in Arlington, Virginia. Ben Goertzel chaired the conference, and Marcus Hutter and Pascal Hitzler chaired the program committee. Continuing the mission of AGI-08 (which was held March 2008 at the University of Memphis), the purpose of the conference was to provide a venue for exchange of in-depth scientific ideas and results between researchers working directly toward the original goal of the AI endeavor: the creation of artificial systems with general intelligence at the human level and ultimately beyond. The first day of the conference featured in-depth tutorials on leading AGI systems and approaches, including introductions to the SOAR, Texai, and OpenCog software, and overviews of the logic-based, reinforcement learning and program-induction approaches to AGI.

This technical report is also available in book and CD format. Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!

General Intelligence, was held March 6-9 in Arlington, Virginia. Pascal Hitzler chaired the program committee. The first day of the conference featured in-depth tutorials on leading AGI systems and approaches, including introductions to the SOAR, Texai, and OpenCog software, and overviews of the logic-based, reinforcement learning and program-induction approaches to AGI. Following this, the main conference on Saturday and Sunday featured a number of themed sessions: Evaluation and Metrics (chaired by John Laird), Robotics and Embodiment (chaired by Itamar Arel), Cognitive Architectures (chaired by Pei Wang and Stephen Reed), Logical Approaches to AGI (chaired by Selmer Bringsjord), Learning and Reasoning (chaired by Selmer Bringsjord), Speech and Language (chaired by Moshe Looks), and Self-Awareness and Consciousness (chaired by Ben Goertzel). There were fewer industry participants because in early 2009 (due to the global economic crisis) many U.S. firms were restricting On the other hand there was an Emanuel Kitzelmann, Martin Hofmann, and Ute even greater international participation, including Schmid, from the Cognitive Systems Group at the a keynote speech by Juergen Schmidhuber (from University of Bamberg, who work in the AI tradition IDSIA, in Lugano, Switzerland, and the Technical of "inductive programing." Their paper University of Munich) and a large number of presentations described a clever way to reformulate the conclusions from German researchers.