An ethical agent orientation approach in dealing with situations that are needed to give a win-win situation that are not directly conveyed to the particular beneficiary but via ideas and motivation that need to boost up his/her talents to get that situation a success which differs from the current approach in making the agent to achieve a goal without even considering the negative aspects that...

Maritime domain awareness is critical for protecting sea lanes, ports, harbors, offshore structures and critical infrastructures against common threats and illegal activities. Limited surveillance resources constrain maritime domain awareness and compromise full security coverage at all times. This situation calls for innovative intelligent systems for interactive situation analysis to assist m...

We summarize the investigation reported in our papers 5], 6], 7], and 8], and describe the hitherto unpublished conclusion to the project. In particular, we outline the analytic technique we developed|Layered Formalism and Zooming|and apply it to the analysis of a class of stylized documents. We also describe and use a new kind of grammar, interpretive grammar, based upon the interpretive state...

The term knowledge-based systems, generally refers to expert system approaches to prediction or decision support. In reality, knowledge-based systems include all predictive and decision support models. The growing recognition of the need to integrate, manage, and share knowledge has led to the emergence of the new " magic bullet " called knowledge management. The " new " knowledge management pa...

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