IDST-010-06: Artificial Intelligence: From NAND to Consciousness

Fall 2014

Contents

Where, When, Who

Class Time: TR 3:30–4:45 PM
Classroom: Intercultural Center 208A
   
Instructor: Mark Maloof
Office: 325 St. Mary's Hall
Mailbox: 329A St. Mary's Hall
Office Hours: In-person (325 STM): TR 11:00 AM–12:00 PM; online: M 10:30–11:30 AM and W 3:00–4:00 PM; or by appointment. Send me an email to get the Zoom link for online office hours.

Description

The notion of mechanized thought traces back to Aristotle's categorical syllogisms. In the 1830s, Lady Lovelace's work on Charles Babbage's Analytical Engine, a mechanical computer that was never built, compelled her to remark that the machine “has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform. It can follow analysis; but it has no power of anticipating any analytical relations or truths.” And yet in 2005, Stanley, a self-driving car, drove a 175-mile course in the Mojave Desert unaided by humans, who had only two-hours prior notice of the route. Stanley used terrain maps to plan its overall route, but as it drove, it relied on its own analysis of “analytical relations and truths” to anticipate what lay ahead, by navigating the road itself, assessing its condition, and avoiding obstacles. In 2011 on Jeopardy!, an IBM computer named Watson played as a human would and beat Brad Rutter and Ken Jennings, two former winners.

Whether machines can think, be intelligent, and be conscious are some of the greatest questions of our time, questions that, if answered positively, will have profound societal, ethical, and theological impact. This Ignatius Seminar is a combination of computer science, artificial intelligence, neuroscience, cognitive science, philosophy, and theology. We start the seminar with voltage and proceed through logic gates, machine language, high-level programming languages, algorithms, models of computation, and the limits of computation. Building upon this foundation, we examine computational methods of reasoning logically, simulating neural networks, and learning. We conclude the seminar by turning our attention to and grappling with the philosophical, ethical, and theological implications of this work through readings and discussions supplemented by guest lectures.

Michael Fellows said, “Computer science is no more about computers than astronomy is about telescopes,” a statement often attributed to Edsger Dijkstra. In the spirit of this statement and to encourage broad participation, the seminar intentionally eschews using programming to explore concepts, focusing instead on discussion, thought experiments, exercises, and analysis of books and articles from the primary and secondary literature. Crucially, students do not need to know how to program to be successful in this seminar. In addition to homework assignments and midterm and final exams, there is a semester project on a relevant topic of the student's choosing.

Primary Texts:

Learning Goals

By the end of the semester, students will be able to:

Policies

My seminar policies are designed to supplement the University's Undergraduate Honor System and the CS Department's Honor Policy. However, unless otherwise stated when I distribute an assignment, the following is the default for all assignments for my Ignatius Seminar Artificial intelligence: From NAND to Consciousness (IDST-010-06).

Students must always follow proper scholarly practice for graded assignments. Typically, we do not have cite facts, common math formulae, or expressions of our own ideas, observations, interpretations, and analyses, but we must cite our reliance on the work of others. Students may be quite adept at and knowledgeable about citing and quoting material from traditional sources, such as books and articles. However, students may not realize that formulae, theorems, proofs, algorithms, and computer programs can require the same treatment as any other form of expression. For convenience, you do not need to cite conversations with me or information you obtain from class lectures and discussions, but you should cite the published course materials upon which we base our discussions. If you are unsure about what requires citation or what constitutes proper scholarly practice, please ask me during class, during office hours, or by e-mail. Students who do not acknowledge their use of resources to complete assignments may be in violation of my course policies and the university's policies on academic integrity.

The quality of your sources is important. Judging the quality of a source is not always easy, especially early in a scholar's career. Primary, peer-reviewed sources are best, especially for this class's short papers and research project. The Web can be a valuable research and learning tool, but since anyone can write anything and post it, you must be particularly critical of such sources until improving your understanding of what constitutes good practice in your field of study. (See the library's page on evaluating Internet resources.)

The following list details acceptable and unacceptable practices:

I am obligated to refer all suspected cases of academic dishonesty to Georgetown's Honor Council. If you have any questions about these policies or how they apply, please discuss such concerns during class, during office hours, by e-mail, or using the seminar discussion list.

In my experience, students at Georgetown do honest work. The small percentage of students who have submitted someone else's work as their own did so because they did not manage their time wisely. It is important to start working on assignments when I post them, to ask question in class, and to seek help from me. Indeed, as a Georgetown student, it is important to develop and strengthen your knowledge and skills of good academic practice. (Oxford has an excellent page on developing good academic practice.)

Policies dealing with late projects, cell phones, attendance, and inclement weather.

Assignments and Grading

Materials: Readings, Videos, and Links

Schedule

Week Date Topics and Materials
1 8/28 Introduction, Orientation, The Ignatian University (Connor, 1990; Perez-Hernandez, 2014; Mueller and Oppenheimer, 2014)
2 9/2 Writing and Citing, Doing Honest Work (Lecture Notes)
  9/4 What is AI? (Lecture Notes; Stanley Video; Watson Video)
3 9/9 Digital Logic, NAND (Lecture Notes; Buffington's Videos)
  9/11 Combinatorial Circuits (Lecture Notes; Buffington's Videos)
4 9/16 Languages, Algorithms (Lecture Notes)
  9/18 Algorithms, Turing Machines (Lecture Notes)
5 9/23 Propositional Logic (Priest, 2001), Logical Reasoning and Learning (Lecture Notes)
  9/25 Predicate, Modal, and Temporal Logics (Priest, 2001)
6 9/30 Probability (Priest, 2001)
  10/2 Inverse Probability, Decision Theory (Priest, 2001)
7 10/7 Probabilistic Reasoning and Learning (Lecture Notes)
  10/9 Vehicles (Braitenburg, 1986)
8 10/14 Vehicles, Stanley (Braitenburg, 1986; Thrun, 2010)
  10/16 Midterm
9 10/21 Biological Neurons and Networks (O'Shea, 2006)
  10/23 Artificial Neurons and Networks (O'Shea, 2006; Merolla, et al., 2014; Lecture Notes)
10 10/28 Guest Lecture, Neuroscience (O'Shea, 2006)
  10/30 Writing-Assignment Discussion, Brain (O'Shea, 2006); Movie Night: The Matrix
11 11/4 Mind and Consciousness (Blackmore, 2005)
  11/6 Guest Lecture, Philosophy (Blackmore, 2005)
12 11/11 Guest Lecture, Neuroethics
  11/13 Can Machines Think? (Turing, 1950)
13 11/18 Writing-Assignment Discussion, Symbol Systems (Newell and Simon, 1976)
  11/20 Searle's Chinese Room (Searle, 1980)
14 11/25 Making a Mind vs. Modeling the Brain (Dreyfus and Dreyfus, 1988)
  11/27 Thanksgiving
15 12/2 The Big Picture: Reflection and Discussion (Russell and Norvig, 2010, Ch. 26; Bringsjord, et al., 2001)
  12/4 The Big Picture: Reflection and Discussion

Other Interesting Links

Copyright © 2019 Mark Maloof. All Rights Reserved. This material may not be published, broadcast, rewritten, or redistributed.