The main purpose of this paper is to outline a holistic answer to the following question: How to deal with problematic situations? A framework of a modern approach, a new meta-discipline, based on knowledge and experience from several other disciplines will be presented. We are focusing in those social interventions where the participation of both the user or clients and the facilitators or adv...

Dyna is an AI architecture that integrates learning, planning, and reactive execution. Learning methods are used in Dyna both for compiling planning results and for updating a model of the eeects of the agent's actions on the world. Planning is incre-mental and can use the probabilistic and ofttimes incorrect world models generated by learning processes. Execution is fully reactive in the sense...

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.

To judge the information of experimental settings in relation to the human situation, it is crucial to be aware of morphological differences and peculiarities in the species studied. Related to glaucoma, the most important structures of the posterior eye segment are the optic nerve head including the lamina cribrosa, and the inner retinal layers. The review highlights the differences of the lam...

In contrast to commercial trigger databases, active databases support complex situation detection. In some active database applications, those situations are not restricted to transaction units, but may span the whole lifetime of the database application. As a consequence, the amount of process information cumulates within the system and may reach problematic dimensions. This paper introduces a...

As mobile devices permeate daily life, several studies investigate how users react when technology falls short of their expectations. In this paper, we deploy a data/frame model to examine sensemaking processes through which users approach their interaction with the tablet under conditions of discomfort. We show that users eventually handle such problematic episodes by adopting one of three ide...

Concerning the expansion of coronavirus in world, search for development solutions related to control and mitigation pandemic situation became constant. The paper addresses an analysis localities installation field hospitals, highly requested as a point treatment COVID-19. In this scenario, framework based on P-median approach mathematical programming is proposed, enabling optimization model fo...