The Weierstrass semigroups of some places in an asymptotically good tower of function fields are computed. 0. Introduction A tower F1 ⊆ F2 ⊆ F3 ⊆ . . . of algebraic function fields over a finite field Fl is said to be asymptotically good if lim m→∞ number of rational places of Fm/Fl genus of Fm > 0. Recently an explicit description was obtained of several asymptotically good towers {1}, {2}. Th...

An important line of research within the field of fuzzy DLs is the computation of an equivalent crisp representation of a fuzzy ontology. In this short paper, we discuss the relation between tractable fuzzy DLs and tractable crisp representations. This relation heavily depends on the family of fuzzy operators considered. Introduction. Despite the undisputed success of ontologies, classical onto...

In this paper, several types of imperfection and uncertainty that may affect the information elements in any pattern recognition system will be pondered, whether when object classification depends on datasets, or when it relies on expert knowledge sets. Afterwards, all the discussed imperfection aspects will be processed within a unified framework, fundamentally based on possibility theory and ...

This paper discusses the anomaly of gradually inconsistent argumentations when reasoning under uncertainty. It is argued that in several domains, uncertain knowledge modeling experts’ opinions may induce inconsistencies to a certain degree in interim and final conclusions. In order to model gradual/partial inconsistency, complex certainty factors are introduced and their serial and parallel pro...

A definition for similarity between possibility distributions is introduced and discussed as a basis for detecting dependence between variables by measuring the similarity degree of their respective distributions. This definition is used to detect conditional independence relations in possibility distributions derived from data. This is the basis for a new hybrid algorithm for recovering possib...

In the 1980s, Krassimir Atanassov proposed an important generalization of fuzzy sets, fuzzy logic, and fuzzy techniques – intuitionistic fuzzy approach, which provides a more accurate description of expert knowledge. In this paper, we describe a natural way how the main ideas behind the intuitionistic fuzzy approach can be expanded even further, towards an even more accurate description of expe...

A generic fuzzy relation often requires too many parameters to represent – especially when we have a relation between many different quantities x1, . . . , xn. There is, however, a class of relations which require much fewer parameters to describe namely, relations which come from fuzzy rules. It is therefore reasonable to approximate a given relation by fuzzy rules. In this paper, we explain h...

s of the Talks In the order in which the talks were given. Walter Carnielli { Non-deterministic Semantics 5 Matthias Baaz { Analytic Calculi for Many-valued Logics 5 Hiroakira Ono { Many-valued Logics as Logics without the Contraction Rule 6 Reiner H ahnle { Proof Theory of Many-valued Logic and Hardware Design 7 Gonzalo Escalada-Imaz { Determining the Truth Degree in Real Time Settings 7 Pete...