---
title: "Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change"
authors:
  - "Marcus Bjäreland"
  - "Lars Karlsson"
doi: ""
url: "https://ijcai.org/proceedings/1997/204"
pdf: "https://ijcai.org/proceedings/1997/0204.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "1420-1424"
track: "Temporal Reasoning"
keywords:
---

# Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change

Marcus Bjäreland, Lars Karlsson

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 1420-1424.

## Abstract

In this paper we introduce regression-based pre- and postdiction procedures for PMON, a nonmonotonic logic for action and change with explicit time. We also provide an in depth analysis of problems with regression that occur when nondeterministic actions are introduced. We do this by employing Dijkstra's weakest liberal precondition operator , wlp. The presented work is related to recent work by Lin in the situation calculus, and we identify and deal with three problems with his approach. Our conjecture is that our approach can be mapped back to the situation calculus.