Australian Logic Summer School Material

This web page contains material that I have presented at the Australian Logic Summer School run annually by the Automated Reasoning Project of the Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at the Australian National University.

Comments and suggestions are very welcome.

• Introduction to Belief Change (postscript, pdf).
  
  This is a survey of Belief Change (mainly the AGM framework) and is taken from Chapter 2 of my PhD thesis: Maurice Pagnucco, "The Role of Abductive Reasoning within the Process of Belief Revision", PhD Thesis, Basser Department of Computer Science, University of Sydney, 1996. It was provided as a handout to scholars at the summer school.
  
  
• Course Abstract: Introduction to Belief Change (postscript, pdf).
  
  
• Lecture 1: Belief Change: Introduction I --- [Monday, January 18, 1999] --- (postscript, pdf).
• Lecture 2: Belief Change: Introduction to AGM Approach --- [Tuesday, January 19, 1999] --- (postscript, pdf).
• Lecture 3: Belief Change via Preference --- [Wednesday, January 20, 1999] --- (postscript, pdf).
• Lecture 4: Belief Change and Nonmonotonic Reasoning --- [Thursday, January 21, 1999] --- (postscript, pdf).
• Lecture 5: Current Research and Advanced Topics --- [Friday, January 22, 1999] --- (postscript, pdf).

• Lecture 1: Introduction to Reasoning About Action and Change --- [Monday, December 13, 1999] --- (postscript, pdf). Abstract (postscript, pdf).
• Lecture 2: The Role of Causality in Reasoning About Action --- [Tuesday, December 14, 1999] --- (postscript, pdf). Abstract (postscript, pdf).
• Seminar: Relating Belief Change and Reasoning About Action --- [Friday, December 17, 1999] --- (postscript, pdf). Abstract (postscript, pdf).

I wasn't involved this year. Samir Chopra is delivering a course on Applied Logic concentrating on belief revision, nonmonotonic reasoning and reasoning about action. We put togther the following notes.

• Lecture 1: Introduction and Motivation --- [Monday, December 11, 2000] --- (postscript, pdf).
• Lecture 2: Introduction to AGM Approach I --- [Tuesday, December 12, 2000] --- (postscript, pdf).
• Lecture 3: Introduction to AGM Approach II --- [Wednesday, December 13, 2000] --- (postscript, pdf).
• Lecture 4: Nonmonotonic Reasoning --- [Thursday, December 14, 2000] --- (postscript, pdf).
• Lecture 5: Reasoning about Action --- [Friday, December 15, 2000] --- (postscript, pdf).