In order to make a robot execute a given task plan more robustly we want to enable it to take care of its self-maintenance requirements during online execution of this program. This requires the robot to know about the (internal) states of its components, constraints that restrict execution of certain actions and possibly also how to recover from faulty situations. The general idea is to implem...

As a contribution to the metatheory of reasoning about actions, we present some characteristics of the consistency of action theories. Three levels of consistency are investigated for the evaluation of action descriptions: uniform consistency, consistency of formulas and regional consistency. The first two provide an intuitive resolution of problems of explanation conflicts and fluent dependenc...

The paper shows the link that anchors a conceptual representation of dynamic scenarios to one of the most influential symbolic formalisms used in cognitive robotics, namely the situation calculus. A cognitive architecture for robot vision is taken into account as the reference framework. The discussion is based on an experimental setup aimed at obtaining an intelligent visual control of a robot...

GEAHS (Generic Educational Adaptive Hypermedia System) is a platform designed to ease the development of Adaptive Educational Hypermedia, using standard formalisms. In this document, we explain the underlying principles of this platform. Genericity is achieved thanks to an adaptation engine based on situation calculus and RDF. This paper describes the main aspects of our system, as well as the ...

By axiomatizing the semantics of Petri nets as a first-order (mostly) formal ontology called SCOPE, we propose in this paper a framework for the analysis of the structural and dynamical properties of Petri nets. More precisely, SCOPE is built as a Basic Action Theory in Reiter’s version of situation calculus. In addition, we show the satisfiability of SCOPE, by virtue of the Relative Satisfiabi...

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

Safety standards call for the separation of safety and nonsafety related systems. Although good guidance is provided in these standards on how to achieve the required hazard analysis, safety integrity assignment and validation to prove a safe system, there is little available on establishing safety boundaries around the critical components and the proof of isolation from non-safety functions. D...

Hybrid zones between recently diverged taxa are natural laboratories for speciation research, allowing us to determine whether there is reproductive isolation between divergent forms and the causes of that isolation. We present a study of a classic avian hybrid zone in North America between two subspecies of the yellow-rumped warbler (Dendroica coronata). Although previous work has shown very l...