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.

We discuss the situation where a curve C, defined over a number field K, has a known K-rational divisor class of degree 1, and consider whether this class contains an actual K-rational divisor. When C has points everywhere locally, the local to global principle of the Brauer group gives the existence of such a divisor. In this situation, we give an alternative, more down to earth, approach, whi...

background :there is substantial lack of knowledge about the role of socioeconomic status (ses) indicators on life expectancy (le) within-cities, especially within mega-cities. we aimed to investigate the disparities of le within city districts of tehran, iran, and specify how ses inequalities play role on le.   methods : the death and population data for 2010 by different age, gender, and resi...

The American College of Prosthodontists (ACP) has developed a classification system for partial edentulism based on diagnostic findings. This classification system is similar to the classification system for complete edentulism previously developed by the ACP. These guidelines are intended to help practitioners determine appropriate treatments for their patients. Four categories of partial eden...

Remote learning used in a grammar class that was analyzed using environment analysis the discussion this study. It specifically referred to one class, so domain of research qualitative case The data were taken observation, interview, and document technique. interpretative analyze theory covers students, lecturer, situation. results study pointed out three points namely types problems from stude...