he purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode's theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and ...

Pseudo-MTL algebras or weak pseudo-BL algebras are non-commutative fuzzy structures which arise from pseudo-t-norms, namely, pseudo-BL algebras without the pseudo-divisibility condition. The aim of this paper is to investigate the properties of pseudo-BL algebras that also hold for pseudoMTL algebras. We will also study some classes of pseudo-MTL algebras such as good, local and Archimedean pse...

It is well-known that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome this limitations. In this work we provide, under a very general semantics, a deductive system for a salient fragment of fuzzy RDF. We then also show how we may compute the top-k answers of the union of conjunctive queries in which answers may be scored by means of a scorin...

Neuro-fuzzy systems-the combination of artiicial neural networks with fuzzy logic-are becoming increasingly popular. However, neuro-fuzzy systems need to be extended for applications which require context (e.g., speech, handwriting, control). Some of these applications can be modeled in the form of nite-state automata. Previously, it was proved that deterministic nite-state automata (DFAs) can ...