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 goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…

In this note we discuss how recognition can be achieved from a single 2D model view exploiting prior knowledge of an object's structure (e.g. symmetry). We prove that for any bilaterally symmetric 3D object one non- accidental 2D model view…

The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express…

Investigamos la posibilidad de obtener patrones semánticos a gran escala para cualquier lengua usando solamente análisis superficial y generalizaciones semánticas básicas. Siendo este un experimento exploratorio sólo hemos realizado una evaluación cualitativa. Hemos comparado varios patrones semánticos de traducción de…

Nos preocupamos mucho de la enseñanza de la bioética y de las mejores metodologías para conseguir trasmitir conocimientos, actitudes y valores, pero no hemos reflexionado suficientemente en la importancia de los valores éticos en la educación para la salud, y…

Descripción completa.

Los cambios registrados en el clima durante las últimas décadas están afectando a la distribución y dinámica poblacional de las especies a una escala global, induciendo cambios en la fenología, en el crecimiento o en las interacciones bióticas. Estas alteraciones…

En los últimos años, estamos presenciando un crecimiento substancial en el número de congresos médicos realizados en América Latina. Sin embargo, hay un

pequeño grupo de ciudades capaces de atraer ese tipo de evento internacional. El presente artículo…

El propósito de esta investigación fue conocer las concepciones acerca del consumo y características de la sociedad de consumo y su impacto en la construcción de la identidad personal y profesional de profesores chilenos de educación primaria. Se utilizó una…