This paper examines the recursive definition of an increasing sequence of nested sets by means of a control set whose countably many successive redefinitions leads to a contradictory result that compromises ω-order and the Axiom of Infinity. 1. Recursion and successiveness A recursive definition usually starts with a first definition (basic clause) which is followed by an infinite (usually ω-or...

In this paper we show a general advance about the desgin of a methodology for extracting definitional contexts from corpus of biomedicine in Spanish, taking into account a set of processes performed by the following modules: (i) a term extractor based in a hybrid method, (ii) a set of verbs that configure the syntactic structure of a definitional context, (iii) a chunker able to recognize those...

The typical question-answering system is facing many challenges related to the processing of questions and information resources in the extraction and generation of adequate answers. These challenges increase when the requested answer is cooperative and its language is Arabic. In this paper, we propose an original approach to generate cooperative answers for user-definitional questions designed...

We present DefScriber, a fully implemented system that combines knowledgebased and statistical methods in forming multi-sentence answers to open-ended definitional questions of the form, “What is X?” We show how a set of definitional predicates proposed as the knowledge-based side of our approach can be used to guide the selection of definitional sentences. Finally, we present results of an eva...