• Spock with your two Co-Hosts
• The Terminator 7+MB quicktime movie
• Selmer himself

Handouts

• Syllabus ( html || dvi || postscript || pdf )
• Practice Exams
  • For Practice Final Summer 99 ( postscript || pdf)
  • Practice Midterm Summer 99 ( html || postscript || dvi || pdf )
  • Practice Final Su 97 ( html || postscript || dvi || pdf )
  • Practice Midterm Su 97 ( html || postscript || pdf )
  • Midterm Su 97 ( html || dvi || postscript || pdf )
• Problems/Puzzles for Smart Agents
  • Godelian Puzzle 1 ( html || dvi || postscript )
  • Godelian Puzzle 2 ( html || dvi || postscript )
  • The Mystery of the Missing Peraflop Machine ( html || postscript )
  • The Dreadsbury Mansion Mystery ( documentation || graphic || problem (hqx))
  • The Wise Man Puzzle ( possible formalizations)
  • The Lottery Paradox ( html || postscript )
  • The Schubert Steamroller Problem ( html | dvi | ps)
• Projects
  • Project 3 Finish Shapiro's ELIZA, i.e., (p1). Due by 5pm on day of final exam for studio audience. Due on same day as final for home audience (emailed to Selim as ASCII attachment).
  • Project 2. Do (p1), i.e., ELIZA, up to and including 18.27. Due for studio audience 6/10. This is an extension which will propagate to home audience as well. Should end up being 6 days hence, i.e., 6/16 -- but Celeste will handle and confirm.
  • Project 1. Build ELIZA from Shapiro's text up to and including 14.8 on page 92. In other words, produce the Lisp code that results from solving every (p1) exercise from the start of Shapiro's book up to and including exercise 14.8. Due May 27; see Schedule in the syllabus. (For those who want to do something more adventurous: do the normal project, and implement an initial version of GUESS WHO?, with an agent that plays it against a human. Provide an ASCII representation of the human player's board to be shown constantly, and the ability to display the artificial agent's board in ASCII as well. Note that you are undertaking this harder task on your own: me and the TA will have a hard enough time handling issues arising from the standard project.)

Research Projects

• Creative Agents
• Super-Minds
• Legal Machines

Demos

• RALPH on net worth of Bringsjord brothers
• Simple SECRETS scenario in OTTER
• WILLARD: a (painfully) simple reflex agent
• Simple use of dolist to extract those Bringsjords younger than a given cutoff
• JR9000 and Ralph in a simple tutorial
• A truly random function? Collatz' Problem as demo of loop form
• Click here to see code that produces the "brain" of a full-blown logical agent. Note: this is rather complicated, because of the I/O and because reasoning is passed out to OTTER. I don't think this code will run in GCL. I ran it in KCL in class. You should be able to see how the code works by studying it.
• Ralph gives the answers to the practice midterm (Su 99; the key for Su 97 there as well)
• The n-queens problem
• Joycebot2, background for S3G
• Fibonacci Function
  • Lisp file with three versions
  • Definition of Fibonacci Function Using Binet's Formula ( html || postscript || pdf || dvi)
• Experimenting With $ANSWER Literals for Planning input output
• Simple Files Illustrating DeMorgan's Rules input output
• Experimenting With Parsing in DCG Format input file for OTTER (Note: This is set up for experimentation, so that many output files are possible. Hence no output file is included here.)

  ---

• AIMA code
  • I have the code all set (w/ pathnames changed) in ~brings/public_html/INTAI/AIMACODE/. Simply activate kcl, then (load "aima.lisp"). For the propositional theorem prover, e.g., you would then do (aima-load 'logic).
  • AIMA code directly from AIMA web site

Class Slides

• Class 1 ( html || dvi || postscript || pdf )
  • Turing Test (picture)
  • The "Circus" Turing Test (picture)
  • Wason Card Trick (picture)
  • Sqaure Root Agent? (picture)
• Class 2 ( html || dvi || postscript || pdf )
  • Register Machines (picture)
  • S3G Bot (picture)
• Class 3 ( html || postscript || pdf )
  • table showing mapping b/t English and FOL for Selmer's World
  • Selmer's World Formulas in Hyperproof
  • NBA example (1998) (This is an actual Hyperproof file.)
  • A "picture" of the Collatz Problem
  • More on the Collatz Problem and Related Problems
  • Is English Compositional? (picture)
  • Computability/Uncomputability Scheme (picture)
  • Intuitive View of Double-Turnstyle (picture)
  • Hyperproof as "Mind" of Robot (picture)
• Class 4 ( html || postscript || pdf )
  • Catching Colonel West from AIMA in Otter input output
  • Curiosity Killed the Cat from AIMA in Otter input output
  • Catching Colonel West problem in Hyperproof
  • Catching Colonel West solution in Hyperproof
  • Just for sorrow: a Hyperproof animation showing the kind of thing Selmer dreamed of, but which didn't come to pass: Stockton scoring with help from Malone.
  • Belief Problem for ALVIN (picture)
  • Iterated Beliefs in Detective Stories (picture)
  • Selmer Falls Pray to Referential Opacity (picture)
  • LKS Example Re. Provability (picture)
  • Solution to Wise Man Puzzle (picture)
• Class 5 ( html || postscript || pdf )
  • Partitioned ontology (picture)
  • Proving God's existence in FOL (picture)
• Class 6 ( html || postscript || pdf )
  • Means-Ends Planning (picture)
  • Automatic A slide 1 Automatic A slide 2 (pictures)
  • Semantic Nets in FOL (picture)
  • Programming Languages etc. in AI (picture)
  • Logic for high-level cognition (picture)
  • Result' in ideal planning (picture)
• Class 7 ( html || postscript || pdf )
  • Agent Through Time (picture)
• Class 8 ( html || postscript || pdf )
  • NNs to ANNs (picture)
  • Conditional to Truth Table (picture)
  • K-Tape TM (picture)
  • 3layer.nn.jpg (picture)
• Class 9 ( html || postscript || pdf )
  • Experimenting With $ANSWER Literals for Planning input output
  • The Hybrid Approach (picture)
  • Majority Computing Neuron (picture)
  • Majority Function in Truth-Table (picture)
• Class 10 ( html || postscript || pdf )
  • Communication/Intelligence Spectrum (picture)
  • Eliza With Knowledge-Base (picture)
  • Rest of On-The-Fly Slides
• Class 11 ( html || postscript || pdf )

Supporting Links

• John's Escobar's "Webification" of OTTER, including WebOtter and the Wumpus World Simulator (As a shortcut, and to avoid problems w/ Netscape, to use the Wumpus World Simulator, issue the command 'appletviewer http://baldur.mm.rpi.edu/otter//wumpus/Wumpus.html'.)
• JR9000 already has a job lined up with NASA, in their New Millenium Project. Would you like a job in AI that puts to use what you're learning in the Intro to AI Show(aimed at studio audience)? Then consider CYCORP.
• COG
• Deep Blue vs. Kasparov...
  • Deep Blue versus Kasparov: The Significance for AI (Workshop at AAAI-97. Check out the full-size graphic.)
  • The Rematch
  • The First Match
• Vendor Info on Languages
  • Franz Inc. Allegro CL ("Lite" version free, as is Linux).
  • Digitool Inc. Macintosh CL.
  • Logic Programming Associates (Win-Prolog & Flex)
• AI Magazine
• American Association for Artificial Intelligence
• Julia
• Web Site for AIMA book
• SNeRG
• Resources Used in Bringsjord's Minds & Machines Lab for Hands-on Robotics
  • Pioneer Robots
  • The Handy Board
  • Building Sensors and Motors for the Handy Board
  • Lego Mindstorms
  • LEGObug
    • Necessary Ingredients
    • Parts Sources/Configurations
  • The Robot Store
  • Deepak Kumar's AI Course (portal to hands-on robotics material)
  • Robot Books
• Chatterbot Links
  • Turing Test'98 Info, w/ links to chatterbots