Agent supervision is a form of control/customization where a supervisor restricts the behavior of an agent to enforce certain requirements, while leaving the agent as much autonomy as possible. This is done in a setting based on the situation calculus and a variant of the ConGolog programming language that is situation-determined, i.e., the remaining program is a function of the action performe...

This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to provide adaptive navigation. The different levels of conception, related to different aspects of the available metadata, are split in different layers in GLAM, in order to ease the conception of the adaptation system a...

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

The research aims to describe the current status of social work services for autistic children, thereby making recommendations improve quality services. paper was conducted on 36 children’s relatives who are using results showed that 44.32% rated Good Very good and 55.4% Average.

We propose that a "social exchange heuristic" is as important as the cheater detection mechanism for attaining mutual cooperation in social exchange. The social exchange heuristic prompts people to perceive a mixed-motive situation, such as the Prisoner's Dilemma (PD), as an Assurance Game (AG) situation in which cooperation is a personally better choice than defection insofar as the partner is...

This paper presents an algorithm for analyzing social situations within a robot. We contribute a method that allows the robot to use information about the situation to select interactive behaviors. This work is based on interdependence theory, a social psychological theory of interaction and interpersonal situation analysis. Experiments demonstrate the utility of the information provided by the...