Bases para un planteamiento actual de la geometría en la enseñanza secundaria obligatoria (12-16)

Propuesta para un planteamiento de la Geometría en la Enseñanza Secundaria Obligatoria (12-16), siguiendo las directrices del Diseño Curricular Base.

Building temporal constraints into knowledge bases for process control: an examination [Reply to author's reply]

Reply to author's reply

Los «retamales» béticos desarrollados sobre sustratos ricos en bases

Se esiudian las comunidades de la clase Cytisetea scopario-striati Rivas-Martínez 1974 que se desarrollan sobre sustratos ricos en bases, en la provincia corológica Bética. Se proponen como nuevos ¡os siguientes sintaxones: as. Genisto (spartioidis) retamoidis-Retametum sphaerocarpae Valle; as. Genisto (cinereae) speciosae-Retametum sphaerocarpae Rivas-Martínez y Genisto (cinereae) speciosae-Cytisetum reverchonii Valle.

A split-combination approach to merging knowledge bases in possibilistic logic

In this paper, we propose an adaptive approach to merging possibilistic knowledge bases that deploys multiple operators instead of a single operator in the merging process. The merging approach consists of two steps: one is called the splitting step and the other is called the combination step. The splitting step splits each knowledge base into two subbases and then in the second step, different classes of subbases are combined using different operators. Our approach is applied to knowledge bases which are self-consistent and the result of merging is also a consistent knowledge base. Two operators are proposed based on two different splitting methods. Both operators result in a possibilistic knowledge base which contains more information than that obtained by the t-conorm (such as the maximum) based merging methods. In the flat case, one of the operators provides a good alternative to syntax-based merging operators in classical logic.

Polynomials on Banach spaces with unconditional bases

We study the classes of homogeneous polynomials on a Banach space with unconditional Schauder basis that have unconditionally convergent monomial expansions relative to this basis. We extend some results of Matos, and we show that the homogeneous polynomials with unconditionally convergent expansions coincide with the polynomials that are regular with respect to the Banach lattices structure of the domain.

Combining multiple prioritized knowledge bases by negotiation.

Recently, several belief negotiation models have been introduced to deal with the problem of belief merging. A negotiation model usually consists of two functions: a negotiation function and a weakening function. A negotiation function is defined to choose the weakest sources and these sources will weaken their point of view using a weakening function. However, the currently available belief negotiation models are based on classical logic, which makes them difficult to define weakening functions. In this paper, we define a prioritized belief negotiation model in the framework of possibilistic logic. The priority between formulae provides us with important information to decide which beliefs should be discarded. The problem of merging uncertain information from different sources is then solved by two steps. First, beliefs in the original knowledge bases will be weakened to resolve inconsistencies among them. This step is based on a prioritized belief negotiation model. Second, the knowledge bases obtained by the first step are combined using a conjunctive operator which may have a reinforcement effect in possibilistic logic.