A number of techniques that extract data or study user needs and requirements, such as questionnaires, interviews, focus group discussions, and heuristic observations, have been widely adopted by designers and are mentioned in consumer study, marketing research, and product design literature (Hayes, 1992; Urban & Hauser, 1993; Nielsen, 1993). Understanding and interpreting the user’s unexpresse...

OBJECTIVES The provision of supportive and palliative care for an indigenous people in Nova Scotia, Canada, was examined to further our understanding and thereby improve cultural competency. Most of Nova Scotia's indigenous people are Mi'kmaq. The Mi'kmaq Nation lives in Atlantic Canada as well as New England in the eastern USA. METHODS Themes were identified in the literature and through dis...

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.

As an important part of Chinese traditional culture, Jiangxi Opera has been listed as one the national intangible cultural heritage and is drama Province. However, it understood that in some other troupes, Opera, like most local operas China, also facing a shortage actors, there gap between new old actors. A series problems, such loss audience lack performance venues, led to vicious circle deve...

Since the reform and opening up, China's small towns have entered a stage of rapid development, many provinces started to carry out creation with special characteristics, among which cultural tourism characteristics shown growth development. This kind town not only enhances influence regional tourism, but also well promotes economy. However, at same time, regions emphasize quantity scale in pro...