Este trabalho apresenta uma ferramenta de autoria para ambientes educacionais altamente interativos baseados na crença de que o aprendiz constrói seu conhecimento quando se torna um agente ativo do seu processo de aprendizado. Estes ambientes possuem como paradigma os “adventure…

The development of systems with the ability to reason about change notion and actions has been of great importance for the artificial intelligence community. The definition and implementation of systems capable of managing defeasible, incomplete, unreliable, or uncertain information has…

In our view, there is a general need to gain insights into what a listener
does in linguistic interaction and to provide a comprehensive account
of listenership from a pragmatic standpoint. This paper examines listener
roles and processes in three…

Michel Foucault, Thomas Mann, and more recently, Sven-Olov Wallenstein have argued that the modern European hospital of the early twentieth century acted as a research laboratory for a new way of governing human populations. This dissertation studies a subsequent phase…

El éxito en la búsqueda de conocimiento a partir de grandes cantidades de datos radica en la calidad de los mismos. Hasta ahora los aspectos de calidad de los datos se han enfocado principalmente a la limpieza de los datos:…

Actualmente el lugar que se le asigna a la informática en la mayoría de los planes de estudio de las escuelas de enseñanza media es el de una asignatura más, con contenidos, metodologías y quehaceres propios. Dentro de este enfoque…

Current interactive multimedia learning software can not be accessed by learners with disabilities. This is the case for students with vision disabilities. Modeling techniques are necessary to map real world experiences to virtual worlds by using 3D auditory representations of…

In this work two declarative approaches based on the BDI theory are studied, an agent programming language 3APL and an agent architecture that uses defeasible argumentation for knowledge representation and reasoning. Based on that study and considering that in 3APL…

This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing…

When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization…