We propose a model of a middleware system enabling personalized web search for users with different preferences. We integrate both inductive and deductive tasks to find user preferences and consequently best objects. The model is based on modeling preferences by fuzzy sets and fuzzy logic. We present the model-theoretic semantics for fuzzy description logic f-EL which is the motivation of creat...

Subgroup discovery can be defined as a form of supervised inductive learning in which, given a population of individuals and a specific property of individuals in which we are interested, find population subgroups that have the most unusual distributional characteristics with respect to the property of interest. Subgroup discovery algorithms aim at discovering individual rules, which must be re...

The aim of this paper is to address an emergent and important area of research, fuzzy control, by means of an inductive reasoning approach derived from the General System Theory, called Fuzzy Inductive Reasoning (FIR). This eld has had a growing interest and development in the last years, and has proved to be very useful for modeling and prediction of a large variety of systems from diierent ar...

The aim of this paper is to present a method for identifying the structure of a rule in a fuzzy model. For this purpose, an ATMS shall be used. An algorithm obtaining the identiication of the structure will be suggested. The minimal structure of the rule (with respect to the number of variables that must appear in the rule) will be found by this algorithm. Furthermore, the identiication paramet...

In this paper we prove that the inductively defined graph dimension has a simple additive property under join operation. The of two graphs is one plus sum dimensions component graphs: $$\mathrm {dim\,} (G_1+ G_2) = 1 +\mathrm G_1+ \mathrm G_2$$ . We use formula to derive an expression for inductive arbitrary finite from its minimum edge clique cover. A corollary any whose maximal cliques are al...

A dimension group is an ordered abelian that inductive limit of a sequence simplicial groups, and stationary such in which the homomorphism same at every stage. If simple then up to scalar multiplication it admits unique trace (positive real-valued homomorphism), but short exact associated this need not split. In earlier paper, Handelman [J. Operator Theory 6 (1981), pp. 55–74] described these ...