This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…

The ability of building robust semantic space representations of environments is crucial for the development of truly autonomous robots. This task, inherently connected with cognition, is traditionally achieved by training the robot with a supervised learning phase. We argue that…

Descripción completa.

Descripción completa.

Descripción completa.

We examine a knowledge representation architecture to support context interchange
mediation. For autonomous receivers and sources sharing a common subject domain,
the mediator's reasoning engine can devise query plans integrating multiple sources and
resolving semantic heterogeneity. Receiver…

Se plantea la utilidad que representa para el alumno el aprendizaje significativo de la lengua escrita para acceder a la información como base para la construcción del conocimiento. Así, la atención pedagógica se centra en aspectos que debe poner en…

1. Introduction to academic networks 2. Conceptual framework of networking: internal and external connections that bring relevance 3. Making knowledge through academic networks supported in technologies 4. Meetings and disagreements in the contribution to academic networks for knowledge construction, References

This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…

This paper presents a knowledge-based approach for capturing data and rationale, so
that the experience and insights gained while pursuing a major project or endeavor can
be utilized when pursuing future endeavors of a similar nature. The proposed