The matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to…

If we are provided a face database with only one example view per person, is it possible to recognize new views of them under a variety of different poses, especially views rotated in depth from the original example view? We…

Compliant control is a standard method for performing fine manipulation tasks, like grasping and assembly, but it requires estimation of the state of contact between the robot arm and the objects involved. Here we present a method to learn a…

The theory change area have defined several operators trying to model the dynamic of knowledge. The goal of this work is to introduce a preprocessor of perceptions that could be part of an agent. The purpose of the preprocessor is…

This paper describes the implantation of a KA tool kit for use with sublanguage-specific corpora. The key idea of KA as an evolutionary process is discussed in detail. Special attention is paid to the system's attempt to avoid the pitfalls…

Este artículo presenta el diseño inicial del "Multilingual Central Repository". La primera versión del MCR integra, siguiendo en el marco de EuroWordNet, cinco wordnets locales (incluyendo tres versiones del WordNet de Princeton), la Top Ontology the EuroWordNet, los dominios de…

In the present paper I describe the conceptual level of representation of a database, currently in development, which aims at fulfilling the Functional-Lexematic model. I will concentrate on the semantic component, as it is central for the theory of Functional…

This paper present the structure, function and performance of SPOST, a broad coverage, rule-based part-of-speech tagger developed as a component of the Pagnlyzer Spanish Analysis Component of the Pangloss Knowledge-based Machine Translation System. It also describes preparations for the general…

The aim of this paper is to offer a functionally-motivated text typology framework which can serve as a basis for the description, comparison and classification of a wide variety of texts for generation purposes. For this task, we have adopted…

Argumentation theorists can make a much larger case for the significance of their discipline than they appear to do. This larger case entails asking the overarching question, "How is knowledge driven?" and seeking the answer in arguments for which there…