---
title: "Projection Using Regression and Sensors"
authors:
  - "Giuseppe De Giacomo"
  - "Hector J. Levesque"
doi: ""
url: "https://ijcai.org/proceedings/1999/24"
pdf: "https://ijcai.org/proceedings/1999/0024.pdf"
venue: "Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence"
year: 1999
pages: "160-164"
track: "Automated Reasoning"
keywords:
---

# Projection Using Regression and Sensors

Giuseppe De Giacomo, Hector J. Levesque

*Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence*, pages 160-164.

## Abstract

In this paper, we consider the projection task (determining what does or does not hold after performing a sequence of actions) in a general setting where a solution to the frame problem may or may not be available, and where online information from sensors may or may not be applicable. We formally characterize the projection task for actions theories of this sort, and show how a generalized form of regression produces correct answers whenever it can be used. We characterize conditions on action theories, sequences of actions, and sensing information that are sufficient to guarantee that regression can be used, and present a provably correct regressionbased procedure in Prolog for performing the task under these conditions.