Brazil nut is widely recognized as the cornerstone of the Amazonian extractive economy. Tight linkages between Brazil nut production, regional income, and intact mature forests have thrust this species into focus as a key component of Amazonian conservation and income…

This paper describes an adaptive and autocalibrated method to track surfaces. To do so, a non time
dependent impedance control system is proposed. This method fuses visual and force information to track a
given trajectory maintaining the contact with the…

Much Learning is done by way of studying precedents and exercises. A teacher supplies a story, gives a problem, and expects a student both to solve a problem and to discover a principle. The student must find the correspondence between…

2007

A grande maioria dos Sistemas de Gerenciamento de Aprendizagem predominantemente em uso no ensino com suporte computacional são estáticos e lineares, ou seja, apresentam o mesmo conteúdo instrucional para os diversos estudantes sem considerar o nível de aquisição de conhecimentos…

Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent…

The Wumpus Advisor program offers advice to a player involved in choosing the best move in a game for which competence in dealing with incomplete and uncertain knowledge is required. The design and implementation of the advisor explores a new…

No Abstract

This paper illustrated an approach toward understanding natural language through the techniques of artificial intelligence. It explores the structure of English word-endings both morpho-graphemically and semantically. It illustrated the use of procedures and semantic representations in relating the broad range…

In this article we present a generalized dynamic argumentation framework that handles arguments expressed in an abstract language assumed to be some first order logic fragment. Once the formalism is presented, we propose a reification to the description logic ALC…