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

Having a full understanding of the world’s social-economic situation is the success key for industries automotive manufacturing industry is an extremely competitive one usually there is no clear guideline among automotive companies about technological causes behind their success and failure. This research provides an investigation about the world’s economic situation and the environ...

Most solutions to the technical frame problem in theories of actions depend on special axioms like the frame axioms, the law of inertia, or the successor state axioms. In these solutions facts about a situation are regarded and represented as properties which hold in the situation. In this article it is argued that it is often more adequate to view facts about a situation as resources which are...

Most solutions to the technical frame problem in theories of actions depend on special axioms like the frame axioms, the law of inertia, or the successor state axioms. In these solutions facts about a situation are regarded and represented as properties which hold in the situation. In this article it is argued that it is often more adequate to view facts about a situation as resources which are...

The Kennedy Class I and II distal extension situation poses a challenge to the prosthodontist as it inherently possesses a lack of stability, which may be attributed to the difference in compressibility of the mucosa and the periodontal ligament surrounding the distal-most abutment tooth. This results in a rotational tendency of the prosthesis around the line connecting its terminal abutments. ...

conclusion a significant relationship exists between the type of facial skeletal classification and the shape of the sella turcica; as in class iii patients, sella turcica bridge was reported with a higher frequency. also, sella turcica had a significantly higher length in these patients than in those with class i and class ii facial skeletal types. results sella turcica had normal morphology i...