Logic (Programming) and Artificial Intelligence Selmer Bringsjord

Logic Programming & AI

Selmer Bringsjord & Dave Ferrucci

This course and Logic & Artificial Intelligence have been merged. This page will serve as the current (Spring 01) portal for the merged course.

Handouts || Related Courses || Research Projects || Demos || Class Slides || Supporting Links

Handouts

MicroBrutus Projects
Syllabus (Spring 01) doc
Exam 2 (Spring 98) ( dvi || postscript || latex)
Exam 1 (Spring 98) ( html || dvi || postscript)
Syllabus (Spring 98) ( html || postscript )
Syllogisms Proved Valid in OTTER
Problems/Puzzles for Automated Reasoning Systems (ones above break have been implemented)
- The Mini-Jobs Puzzle ( input || output)
- Test File for Working With/Understanding OTTER's $ANSWER Facility ( input || output)
- The Hardest (!) Problems for the Logic Theorist (original 1957 and new 1972)
  - input file || output file
  - input file || output file
- Wason Selection Task
  - WST diagnosed "on paper" using first-order logic ( dvi || postscript || html)
  - WST solved in propositional calculus by OTTER in out
  - WST solved in first-ordr logic by OTTER in out
- The Merchant Challenge ( sample input || sample output)
- The Dreadsbury Mansion Mystery ( documentation || graphic || Hyperproof problem (hqx) || OTTER input || OTTER output )
- The Menagerie Problem
  - Micah Clark's full analysis; Hyperproof and OTTER
  - pure html version of problem
- A Godelian Puzzle ( html || postscript || dvi )
- The Mystery of the Missing Peraflop Machine ( html || postscript )
- The Wise Man Puzzle ( possible formalizations)
- The Lottery Paradox ( html || postscript )
- The Schubert Steamroller Problem ( html | dvi | ps)

Related Courses

Research Projects

Demos

See Prolog examples in Class Slides section.
MicroBrutus.zip
MicroBrutus_20010411.zip (This eliminates the FLEX syntax error problem. The syntax error was related to DF's use of the predicate synonym/2. This is reserved but not protected by the FLEX system. DF simply changed the name.)
The Full Jobs Puzzle
- table simulation ( dvi || postscript)
- claual version input
- fol version input
- claual version output
Joycebot1.lsp

Many of the handouts (see that section) are based on in-class demos with OTTER.

Class Slides

Class 1
- Selmer's Slides on History of Logic, AI, Comp Sci (ppt)
- Dave's Slides on Logic, Communication, Logic Programming, Course Overview (ppt)
Class 2
- This class made use of interaction with OTTER and HYPERPROOF.
- Selmer's Logic Overview (ppt)
Class 3
- Dave's Intro to Logic Programming, Part 1(ppt)
- Prolog Examples (ASCII, but zipped)
Class 4
- Dave's Intro to Logic Programming, Part 2 (ppt)
- Murder Mystery code (ASCII, but zipped)
- The murder mystery code, files unzipped:
- Turing machine simulator
Class 5
- This class made extensive use of interaction with OTTER and HYPERPROOF.
- Intro to OTTER, OSCAR, and Test Generation (ppt)
- Pollock's slides on natural deduction and OSCAR (ppt)
Class 6
- Intro to Knowledge Structures (ppt)
Introduction to Story Generation Class
- Intro to Story Generation (ppt)
Introduction to BRUTUS Class
- Intro to BRUTUS (ppt)
Overview of Test Generation
- Intro to eWriter Project (ppt)
- Some CAT-based AR Problems (ppt)

Supporting Links

John Escobar's WebOTTER
OTTER
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
SNeRG
OSCAR
Hands-on Robot Stuff
- The Robot Store
- Deepak Kumar's AI Course (portal to hands-on robotics material)

Top Level of Bringsjord's Web Site