Still Working on Causal Logic
Professor Glenn Shafer, Department of Accounting and Information Systems, Faculty of Management, Rutgers University, New Jersey, USA, and Visiting Professor, Department of Computer Science, Royal Holloway, University of London

Abstract: When I visited Royal Holloway last year, I presented the idea of an event space and proposed the project of developing a causal logic with event spaces as models. I emphasized that this approach could permit a principled and elegant marriage of probability and temporal logic. In this talk I will take a closer look at the proposed logic. I will begin by proposing a syntax and explaining the interpretation in terms of event spaces. Then I will solicit the audience's advice on some obvious questions: (1) Are there practical methods of inference for this logic? (2) Could it be useful for planning? (3) How far does it go towards reconciling temporal logic with the insights of Barwise and Perry's situation theory?

This seminar was held at the Department of Computer Science, Royal Holloway, University of London on 10 June 1998

back