LOGIC AND ARTIFICIAL INTELLIGENCE

Selmer Bringsjord

• Syllabus, Spring 96 (.ps) (.dvi)
• I provide access here to a very early draft of "Logic and Artificial Intelligence: Still Married, Divorced, Separated...?" forthcoming in Minds and Machines. This embryonic paper may provide some helpful information regarding logics, logical systems, etc. and AI.
  • (.html)
  • (.ps)
  • (.dvi)
• BRUTUS I: "Toward Mathematizing Betrayal." Sslides showing our (Dave Ferrucci and me) early progression of increasingly detailed definitions of betrayal for BRUTUS. (.ps) (.dvi)
• Slides for discussion of how logicist AI can handle "nonexistents." (.ps) (.dvi)
• Slides for Class#1's overview of Pollock's OSCAR project: (.ps) (.dvi)
• Slides encapsulating non-graph-theoretic formal scheme for Pollock's OSCAR (defeasible logic), based on the "How to Reason Defeasibly" paper in AI journal: (.ps) (.dvi)
• Compressed handouts on review of first-order logic, using G&N (i.e., Genesereth & Nilsson's Logical Foundations of Artificial Intelligence; on reserve for the course) notation. (.ps) (.dvi)
• Slides for the "Wise Man Puzzle" (two man version), first the solution via sentential logics for knowledge and belief, then for possible worlds logics. (Close to G&N's treatment.)
  • (.ps) (.dvi)
  • (.ps) (.dvi)
• Background math for the "Impenetrable Machine"
  • (.html)
  • (.ps)
  • (.dvi)
• Syllabus, Fall '95 (.ps) (.dvi)
• SNePS Web site
• OSCAR Web site
• COG Web site