Tropical cyclones (TCs) actively contribute to the dynamics of Earth’s coupled climate system. They influence oceanic mixing rates, upper-ocean heat content, and air–sea fluxes, with implications for atmosphere and ocean dynamics on multiple spatial and temporal scales. Using an ocean general circulation model with modified surface wind forcing, we explore how TC winds can excite equatorial oce...

We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segment based calculus, the dipole calculus and necessary extensions for representing navigational concepts like turn right. We investigate how its conceptual neighborhood structure can be applied in the situation calculus for reaso...

In tropical and humid cities, at night human activities also take place outdoor space under the open sky, especially around 18.00 to 22.00. Air temperature during that time tends be warm, humidity has started increase. The question is how much thermal comfort level of people so they feel enjoy productive for their activities. Through this study, two regression equations was developed in order p...

background : tropical rat mite ( ornithonyssus bacoti ) is reported from many parts of the world and is considered important in transmitting rickettsial pathogens. there have been scanty reports on prevalence of this parasite from india. following a recent report of o. bacoti infestation in a laboratory mice colony from nilgiris, tamil nadu, in­dia, attempts were made to detect the parasite in ...

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...