The purpose of this study was to determine how much influence planning and supervision had on the performance employees at Bogor City Health Office, either partially or simultaneously. research method used is a survey. Ary, Yacobs Razavich stated that survey designed obtain information about status symptoms time conducted with aim describing what variables conditions existed in situation. data ...

A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling search control knowledge, expressed declaratively in a logic, into the preconditions of the plan actions (operators). We do this within the framework of the situation calculus by introducing a transformation of nonMarkovia...

Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by means of depth profiles whereby each object in the world is represented as a single peak. We propose a logical theory, formulated in the situation calculus (SC), that is used for reasoning about object motion (includin...

By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans." To that end, we propose the following three domain independent measures of plan quality: a plan is said to be A-minimalif none of the actions in it can be deleted and have it continue to be a plan; it is said to be ...

We present a declarative formalization of STRIPS [1] as a reasoning strategy in the situation calculus [10]. The idea is to use logic not only to represent planning problems, but also to describe the mental situations, mental actions and reasoning strategy STRIPS uses to solve those problems.

In this paper we study the diierences between two logic theories for temporal reasoning, the Situation Calculus and the Event Calculus, and the implications of these diierences. We construct a new formalism that combines the advantages of both Situation and Event Calculus and avoids the problems of either. The new formalism is useful for general temporal reasoning in worlds with discrete and co...

Food safety is a matter of national importance, and it important to establish improve whole process food supervision system with high standard. Along the advent era big data, achieve this goal requires not only reform optimization old regulatory approach needs idea information-based supervision, actively apply data technology testing. In paper, we introduce current situation in society, analyse...

Contextual signals might supervise discovery of coherently varying information between cortical modules computing diierent functions of their receptive eld input. This hypothesis is explored in two sets of computational experiments, one studying the eeects on learning of long-range unidirectional contextual signals mediated by intervening processors, and the other showing contextually supervise...

We investigate agent supervision, a form of customization, which constrains the actions of an agent so as to enforce certain desired behavioral specifications. This is done in a setting based on the Situation Calculus and a variant of the ConGolog programming language which allows for nondeterminism, but requires the remainder of a program after the execution of an action to be determined by th...

INTRODUCTION X-ray Operator (XO) supervision in Queensland is performed by radiographers in a site removed from the XO site. This has historically been performed by telephone when the XO requires immediate help, as well as post-examination through radiographer review and the provision of written feedback on images produced. This project aimed to improve image quality through the provision of re...