OBJECTIVES Informal caregivers provide the majority of long-term care. This study examined six health and psychosocial outcomes of caregiving, in the context of multiple characteristics of the caregiving situation, in a representative, statewide sample. METHODS Data came from 4,041 respondents to the 2007 Connecticut Long-Term Care Needs Assessment. Analyses investigated whether caregiving ne...

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.

Day to day practice at a dental office is a challenging one where a dentist has to ideally confront a situation with his command and expertise. One such frequent situation arising is that concerned with isolation techniques associated with a restorative procedure. Various isolation techniques are put forth in practice which includes use of a saliva ejector, a rubber dam and gingival retraction ...

After eight years of development and application, the ARINC Research Corporation System Testability and Maintenance Program (STAMP@) has been expanded to provide a portable, intelligent, interactive diagnostic tool-the portable interactive troubleshooter (POINTER). POINTER is an artificially intelligent, portable maintenance aid that utilizes the STAMP system model, test choice, and inference a...

Introduction. One of the factors increasing body's response to a stressful situation is isolation. The feeling loneliness in isolation can be caused by biological, psychological or medical factors. Material and methods: This paper review publications issued 2009–2021, most up-to-date terms information on topic stress its links with EEG neurofeedback. Results: 5 reaction human body were selected...