To investigate a social prescribing for the prevention of isolation and loneliness, we conducted Web-based questionnaire survey targeting residents Kinki region performed multinomial logistic regression to compare marginal probability effects by circumstances isolated loneliness situation. It was confirmed that promoting involvement in contribution activities their community would be effective ...

High levels of regulated oncogen-alpha (GRO-a) expression have been observed in the liver. GRO-a stimulates proliferation of epithelial cells and induction of rolling and extravascular migration of neutrophils and mononuclear cells. Given the above observations, this chemokine was chosen to be analyzed in freshly isolated and cultured hepatocytes. In this study, hepatocytes (2×106 cell/ml) were...

In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of components with weakly-related or independent signatures. This facilitates reasoning when the signature of a query formula belongs to only one of the components. However, an initial theory may be subject to change due to execution of actions affecting features ment...

In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update specifications to extended logic programs using situation calculus notation so as to compute the updated knowledge base. We show that the updated knowledge base that we compute satisfies the update specifications and yet ...

Location estimation is a fundamental sensing task in robotic applications, where the world is uncertain, and sensors and effectors are noisy. Most systems make various assumptions about the dependencies between state variables, and especially about how these dependencies change as a result of actions. Building on a general framework by Bacchus, Halpern and Levesque for reasoning about degrees o...

We propose a model of belief and intention change over the course of a dialogue, in the case where the decisions taken during the dialogue affect the possibly conflicting goals of the agents involved. We use Situation Calculus to model the evolution of the world and an observation model to analyze the evolution of intentions and beliefs. In our formalization, utterances, that only change the be...

The situation calculus (SC) is a formalism for reasoning about action. Within SC, the notion of state of a given situation is usually characterized by the set of uents that hold in that situation. However, this concept is insuucient for system speciication. To overcome this limitation, an extension of SC is proposed, the situation and state calculus (SSC), where the concept of state is primitiv...

Treatment under conditions of gnotobiotic isolation can augment the stress of adaptation to a diagnosis of leukaemia. Identification of the psychological problems experienced in isolator treatment can contribute to the effective maintenance of therapy. Individual patterns of adjustment to treatment relate to the psychological defence mechanisms employed to contend with the dependent position en...

In this work we consider how to enforce norms in the Situation Calculus based programming language Golog and its relatives. We define a notion of norm compliant sequence of actions with respect to norms prescribing some actions to be forbidden or obliged (ought-to-do norms), norms prescribing that a state-condition is forbidden (oughtto-be norms) and norms that are a form of deadline. We then s...