State minimization is a fundamental problem in automata theory. The problem is also of great importance in the study of fuzzy automata. However, most work in the literature considered only state reduction of fuzzy automata, whereas the state minimization problem is almost untouched for fuzzy automata. Thus in this paper we focus on the latter problem. Formally, the decision version of the minim...

This paper is concerned with the widest class of automaton structures whose semantics is compatible with our notions of state and automaton. It is first shown that the conventional spectrum of deterministic, stochastic, fuzzy and non-deterministic can be fitted into a single framework which is complete. In particular new results on the normalization of fuzzy automata and the relationship betwee...

We introduce Riesz Logic, whose models are abelian lattice ordered groups, which generalise Riesz spaces (vector lattices), and show soundness and completeness. Our motivation is to provide a logic for distributional semantics of natural language, where words are typically represented as elements of a vector space whose dimensions correspond to contexts in which words may occur. This basis prov...

In this work, we investigate a relationship between extensionality and continuity of fuzzy relations in the frame of BL-algebras. We found conditions when extensionality implies continuity and vice versa. Problem is formulated and solved algebraically.

In this paper we suggest that social robots should not mirror exactly human social behavior (facial expressions, language, etc) but need to be able to produce believable social behaviors that provide a minimal set of actions by which human-companion cooperation can be achieved. For implementing such an ethologically inspired social robot behavior, a platform based on fuzzy automaton (fuzzy stat...

In this paper, we introduce the notion of bi-Smarandache BL-algebra, bi-weak Smarandache BL-algebra, bi-Q-Smarandache ideal and bi-Q-Smarandache implicative filter, we obtain some related results and construct quotient of bi-Smarandache BL-algebras via MV-algebras (or briefly bi-Smarandache quotient BL-algebra) and prove some theorems. Finally, the notion of bi-strong Smarandache BL-algebra is ...

Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, like Monoidal T-norm based Logic, Basic Logic, Gödel Logic, Lukasiewicz Logic etc. However, in general, fuzzy set theory is not only concerned with vagueness, but also with uncertainty. A possible solution is to use intervals in...

After the research on naBL-algebras gained by non-associative t-norms and overlap functions, inflationary BL-algebras were also studied as a recent kind of generalization BL-algebras, which can be obtained general functions. In this paper, we show that not every function induce an BL-algebra counterexample thus propose new concept weak BL-algebras. We prove each corresponds to BL-algebra; there...

It has been shown that neural networks are able to infer regular crisp grammars from positive and negative examples. The fuzzy grammatical inference (FGI) problem however has received considerably less attention. In this paper we show that a suitable two-layer neural network model is able to infer fuzzy regular grammars from a set of fuzzy examples belonging to a fuzzy language. Once the networ...