In a seminal paper Lin and Reiter introduced the notion of progression for basic action theories in the situation calculus. The idea is to replace an initial database by a new set of sentences which reflect the changes due to an action. Unfortunately, progression requires secondorder logic in general. In this paper, we introduce the notion of strong progression, a slight variant of Lin and Reit...

A fundamental task in reasoning about action and change is projection, which refers to determining what holds after a number of actions have occurred. A powerful method for solving the projection problem is regression, which reduces reasoning about the future to reasoning about the initial state. In particular, regression has played an important role in the situation calculus and its epistemic ...

We define a notion of bounded action theory in the situation calculus, where the theory entails that in all situations, the number of ground fluent atoms is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We argue that such theories are fairly common in applications, either because facts do not persist indefinitely or because one eventually ...

We propose a translation into Modal Logic of the ideas that formalise belief change in the Situation Calculus. This translation is extended to the case of revision. In the conclusion is presented a set of open issues.

OBJECTIVE The study examined the relationship of self-rated health and self-rated economic situation with depressed mood, and life satisfaction as mediator of this relationship among older adults in Costa Rica. METHOD A longitudinal study was conducted with a subsample (N = 1,618) from the Costa Rican Longevity and Healthy Aging Study (CRELES). Self-rated health, self-rated economic situation...

This paper reviews the role of situational variables in health risk behaviors and the literature on the impact of context and situation in public health. Three postulates for a situational model are presented: that the situation can account for additional variance in explanation of health risk behaviors; that the power of the situation is reciprocal to the degree of individual autonomy; and tha...

Introduction: Hospitals as one of the main organizations of rendering services and the most costly operational units of the health system are of special importance. Meanwhile, nurses play a vital role in continuity of care, improvement of health, and productivity of the entire organization. This study was conducted with the aim of ranking hospitals of Yazd medical sciences university based on t...