This paper investigates the challenging problem of encoding the common sense knowledge involved in the manipulation of spatial objects from a reasoning about actions and change perspective. In particular, we propose a formal solution to a puzzle composed of non-trivial objects (such as holes and strings) assuming a version of the Situation Calculus written over first-order Equilibrium Logic, wh...

High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is event-driven as in “charge the batteries as soon as the voltage level is low”. While non-logicbased robot control languages are well suited to express such scenarios, they fare poorly when it comes to projecting, in a co...

Software architecture based design demands new tools for managing the different versions generated during the design process. Based in a generic process versioning administration model, a model for capturing and managing the products of the software architecture design process is presented. Thus, the proposed model enables the designer to trace such design process and its resulting products, a ...

This paper begins with the assumption that possible worlds and times are represented as situation pronouns in natural language (see Cresswell, 1990; Percus, 2000; Kusumoto, 2005; Keshet, 2008). For simplicity, situations are construed to be world-time pairs, and a predicate taking such a pair as an argument is evaluated in the world and the time specified. Researchers such as Percus (2000) have...

ion is a natural operation in semantics. By abstracting Paul from the information σ that Raymond cooked the omelette for Paul, we obtain the property of being someone for whom Raymond has cooked the omelette. By abstracting both Paul and the omelette from σ, we obtain the relation which holds between x and y just in case Raymond cooked x for y. This relation and the previous property differ fro...

and two anonymous reviewers under the editorship of Roger Schvaneveldt.

The situation calculus is a logical language for representing changes. It was first introduced by McCarthy in 1963,1 and described in further details by McCarthy and Hayes [29] in 1969. The basic concepts in the situation calculus are situations, actions and fluents. Briefly, actions are what make the dynamic world change from one situation to another when performed by agents. Fluents are situa...

Précis This debate article highlights the challenges of health situation in Iran and some influencing or relevant factors such as health sector, welfare system and social protection, social exclusion and civil society from the viewpoint of an international partner. Some advanced experiences in Iranian health system and the manner of system for international cooperation have also been discussed.

Situations, the semantic interpretations of context, provide a better basis for selecting adaptive behaviours than context itself. The definition of situations typically rests on the ability to define logical expressions and inference methods to identify particular situations. In this paper we extend this approach to provide for efficient organisation and selection in systems with large numbers...