This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order to include Default Knowledge capability. The new semantic allows non-uniform default assumptions and has Closed World Assumption (CWA) and Open World Assumption (OWA) as particular…

La presente Tesis Doctoral tiene como objetivo general el empleo de sistemas sensoriales de visión y fuerza conjuntamente para realizar el guiado de robots en aquellas tareas en las que no solo se requiere controlar la trayectoria del robot sino…

In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical systems will behave. This thesis discusses an implemented program…

This paper describes a system for the computer understanding of English. The system answers questions, executes commands, and accepts information in normal English dialog. It uses semantic information and context to understand discourse and to disambiguate sentences. It combines a…

This paper describes a new statistical, model-based approach to building a contact state observer. The observer uses measurements of the contact force and position, and prior information about the task encoded in a graph, to determine the current location of…

We report the creation of strained silicon on silicon (SSOS) substrate technology. The method uses a relaxed SiGe buffer as a template for inducing tensile strain in a Si layer, which is then bonded to another Si handle wafer. The…

(cont.) outlined. 2. Demonstration that computer systems can use the discovered relations among data items to help users search for relevant information, prioritize the data exchange between collaborating users, and visualize data in various ways. This investigation looks at how…

All intelligence relies on search --- for example, the search for an intelligent agent's next action. Search is only likely to succeed in resource-bounded agents if they have already been biased towards finding the right answer. In artificial agents, the…

Oligomeric mini-proteins, short peptides with protein-like features, constitute valuable minimal models for the study of oligomeric proteins. Oligomerization is a common feature of cellular proteins that may confer structural and functional advantages. Oligomerization is proposed to have arisen by several…

(cont.) visualize complex geometric arrangements. Finally, the tools developed represent an alternative to what learning technology has always done; transmit academic knowledge to the student. These tools are an example of how IT can be used to go beyond the…