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…

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…

En este artículo presentamos una manera de entender el diseño de materiales curriculares
y entornos de aprendizaje en la formación de profesores que tiene en cuenta
las dialécticas entre el diseñador-formador, un modelo de aprendizaje del profesor, y
los estudiantes…

Objetivo: Cuidar selectivamente la salud identificando y georrefenciando la totalidad de la población, y no sólo para aquellos que demandan atención.
Métodos: Un total de 48 800 habitantes de Ensenada, Buenos Aires-Argentina fueron censados en aspectos socio-económico-sanitarios y sus datos…

Durante las pasadas dos décadas,
las personas que han realizado estudios
sobre enfermería han contribuido
con grandes cantidades de conocimientos
que han ayudado a mejorar
inmensamente la práctica clínica y los
resultados de salud. Una manera de
actualizar estos estudios…

En la presente investigación nos aproximamos y presentamos una obra de finales del siglo XIX que abarca tres disciplinas distintas pero sumamente relacionadas, como son la fonética, la lexicología y la lexicografía: Elementos de Fonética y Lexicología seguidos del vocabulario…

La construcción del propio aprendizaje es una tarea que debemos fomentar desde los Centros Docentes Universitarios y no Universitarios, con el fin de poder llevar a cabo un proceso de enseñanza lo más significativo posible. En este caso, se aborda…

We have developed a method and prototype program for assisting two experts in their attempts to construct a single, consensus knowledge base. We show that consensus building can be effectively facilitated by a debugging approach that identifies, explains, and resolves…

This paper examines the issues and the solutions that have been studied in database (DB) integration research and tries to draw lessons from them for knowledge base (KB) integration.