This paper describes a new statistical, model-based approach to building a contact state observer. The observer uses measurements of the contact force and position, and prior information about the task encoded in a graph, to determine the current location of…

La presente propuesta explica cómo el estudio de la historia local de un pueblo,
San José de Bolívar en el estado Táchira, puede servir de estrategia didáctica
no solo para afianzar la identidad cultural del estudiante de educación
primaria en…

If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have…

La crisis del pensar atraviesa casi todas las categorías fundantes
de la modernidad. El paradigma, como sistema de signifi caciones, ya parece
no servir para dar respuestas y Lanz (2005) se pregunta si será posible pensar
sin esta categoría. Este…

This paper describes an approach to supporting work in the office. Using and extending ideas from the field of Artificial Intelligence (AI) we describe office work as a problem solving activity. A knowledge embedding language called Omega is used to…

Current methods for bipedal walking control include playback of recorded joint motion and the derivation of dynamic equations to map desired forces at the body to the required torques at the joints. Both methods require a significant amount of up-front…

A system for visual recognition is described, with implications for the general problem of representation of knowledge to assist control. The immediate objective is a computer system that will recognize objects in a visual scene, specifically hammers. The computer receives…

This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal…

This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. Two computational tools are offered: (1) Shapestokens are…

This report investigates some techinques appropriate to representing the knowledge necessary for understanding a class of electronic machines -- radio receivers. A computational performance model - WATSON - is presented. WATSONs task is to isolate failures in radio receivers whose…