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…

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…

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…

The studies of anatomy and physiology are fundamental ingredients of medical education. This paper identifies six ways in which such functional knowledge serves as the underpinnings for general medical reasoning, and outlines the design of a computational model of common…

This memo describes PROGRAMMER, a parser for natural language. It consists of a language for writing grammars in the form of programs, and an interpreter which can use these grammars to parse sentence. PROGRAMMER is one part of an integrated…

Morphological analysis requires knowledge of the stems, affixes, combnatory patterns, and spelling-change processes of a language. The computational difficulty of the task can be clarified by investigating the computational characteristics of specific models of morphologial processing. The use of finite-state…

El Espacio Europeo de Educación Superior revitaliza la competencia tutorial como uno de los ejes nucleares sobre los que debe sustentarse la actividad docente. Para satisfacer y cumplir los derechos y los deberes de alumnos y profesores, en materia de…

En lo referente al entretenimiento, la ciudad de Quito no cuenta con bares especializados; ya que en todos se puede encontrar una gran variedad de cócteles y licores fuertes; sin embargo existe una variedad de 3 – 4 marcas de…

To have a sustainable competitive advantage, an organization should realize how to create, distribute and utilize knowledge through an organization and how attach it to organizational process. Another important thing is a manager should know what kind of knowledge they…