Reasoning about action. I: A possible worlds approach
type: Item
instance of: scholarly article
title: Reasoning about action. I: A possible worlds approach
zbMATH Open document ID: 0645.68109
DOI: 10.1016/0004-3702(88)90011-2
author: M. L. Ginsberg
author: David E. Smith
published in: Artificial Intelligence
publication date: 1988-01-01T00:00:00Z
review text: Reasoning about change is an important aspect of commonsense reasoning and planning. In this paper we describe an approach to reasoning about change for rich domains where it is not possible to anticipate all situations that might occur. The approach provides a solution to the frame problem, and to the related problem that it is not always reasonable to explicitly specify all of the consequences of actions. The approach involves keeping a single model of the world that is updated when actions are performed. The update procedure involves constructing the nearest world to the current one in which the consequences of the actions under consideration hold. The way we find the nearest world is to construct proofs of the negation of the explicit consequences of the expected action, and to remove a premise in each proof from the current world. Computationally, this construction procedure appears to be tractable for worlds like our own where few things tend to change with each action, or where change is regular.
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 4053074
zbMATH Keywords: commonsense reasoning
zbMATH Keywords: planning
zbMATH Keywords: reasoning about change
zbMATH Keywords: frame problem
MaRDI profile type: Publication
full work available at URL: 0004-3702(88)90011-2
OpenAlex ID: W1684304711
cites work: Towards a general theory of action and time
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Counterfactuals
cites work: Reasoning about action. II: The qualification problem
cites work: Q5649989
cites work: Nonmonotonic logic and temporal projection
cites work: Q5750390
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q5633670
cites work: Semantical considerations on nonmonotonic logic
cites work: A logic for default reasoning
cites work: A theory of diagnosis from first principles
description: scientific article; zbMATH DE number 4053074