This report describes a knowledge-base system in which the information is stored in a network of small parallel processing elements ??de and link units ??ich are controlled by an external serial computer. This network is similar to the semantic network…

This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used…

This report is concerned with the problem of achieving flexibility (additivity, modularity) and efficiency (performance, expertise) simultaneously in one AI program. It deals with the domain of elementary electronic circuit design. The proposed solution is to provide a deduction-driven problem…

The ambiguity, robustness and performance of systems becomes increasingly evident as the complexity and size increase in industrial processes. Under these circumstances, conventional control techniques such as PID control, nonlinear feedback control, LQG control and H∞ control have several disadvantages…

A system for visual recognition is described, with implications for the general problem of representation of knowledge to assist control. The immediate objective is a computer system that will recognize objects in a visual scene, specifically hammers. The computer receives…

The reform of Spanish University System occurs for allow that the universities to board the needs derived from the new kinds of knowledge generation and transmission. The university’s objective is the formation of professionals capable of taking, analysing and elaborating…

Une préoccupation essentielle traverse cette thèse: l'indifférence systémique de la Loi internationale sur la propriété intellectuelle a l'égard des savoirs traditionnels autochtones. De manière générale, un écart semble d'ailleurs croissant entre l'importance des accords internationaux sur les questions d'intérêt commercial…

In this paper, we describe the process to extend TERSEO
system to Italian using an automatic porting to this new
language, as it was performed to English., In questo report viene descritto il processo in base al
quale TERSEO, un…

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…

Diabetes mellitus is a syndrome which affects more and more people in all countries over the world. In Mexico, it is commonly treated with herbal extracts. Such treatment may be of considerable benefit especially during the early stages of the…