Rich Thomason
Papers on Logic and AI

  • "Logic and Artificial Intelligence" (Article for Stanford Encyclopedia of Philosophy) Go here.
  • "Conditionals and Action Logics" (for Commonsense 2007) PDF.
    Argues that solutions to the frame and related problems in action and change logics are the same as solutions to the problem, in certain cases, of providing models for conditional logics.
  • "Remarks on 'Artificial Intelligence, Logic and Formalizing Common Sense,' by John McCarthy" PDF
  • Discusses the consequences of a 1989 paper by John McCarthy for philosophical logic and philosophy.