This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal…

In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share…

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…

I shall describe a model of the evolution of the rule-structured knowledge that serves as a cornerstone of our development of computer-based coaches. The key idea is a graph structure whose nodes represent rules, and whose links represent various evolutionary…

We have developed a compiler for the lexically-scoped dialect of LISP known as SCHEME. The compiler knows relatively little about specific data manipulation primitives such as arithmetic operators, but concentrates on general issues of environment and control. Rather than having…

Las listas de palabras con sus frecuencias se usan ampliamente en muchos procedimientos de agrupamiento y categorización de textos. Usualmente para la compilación de tales listas se usan las aproximaciones basadas en morfología (como el stemmer de Porter) para unir…

El artículo trata sobre el uso de información lingüística en la Desambiguación Semántica Automática (DSA). Proponemos un método de DSA basado en conocimiento y no supervisado, que requiere sólo un corpus amplio, previamente etiquetado a nivel morfológico, y muy poco…

Using an audiovisual perception task, two groups of native English listeners
(monolinguals, and L2 learners of Spanish) were asked to identify
which /p,t,k/ tokens had been produced by native English speakers
and which ones by foreigners. The experiment found that…

In this work we present a method to calculate the spectrum of the fundamental primaries of a digital camera from the experimental knowledge of its spectral sensitivities. The color triangle of the camera, linked to the chromaticities of its primaries,…

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…