Interactive and resolution based automatic provers have both been used widely. Interactive provers offer users expressive formalisms and flexibility and are suitable for proving theorems of any user defined logics. However, they provide limited automation. In comparison, resolution based automatic provers provide automation, but only allow first order logic with equality. I am investigating com...

This paper presents an open, concurrent model of adaptive hypermedia; all its functionality and data are completely distributed on a web of autonomous actors. The model that enables the system to the interactive adaptivity is a fuzzy stereotype-based user model; its presentation and application are exploited in the cooperative actor-based environment, generated from the hypermedia model. The me...

Distillation is an essential separation process in the chemical and petrochemical industry. The distillation process is a highly nonlinear, complex, interactive and non -stationary, therefore its control is difficult. In the present work an adaptive neuro-fuzzy controller is designed to control a binary distillation process. A conventional PID controller is also designed for comparison purpose....

The paper emphasizes active entities based modelling of visual programming techniques. Active Objects Model (AOM) and AGent Modelling Language (AGML) are defined and investigated in order to develop flexible and dynamic functionality of interactive components. Therefore the visual programming techniques, distributed knowledge, fuzzy inferences, programming paradigms are analyzed through the con...

In this paper, we propose an interactive decision making method for random fuzzy multiobjective linear programming problems (RFMOLP) through a probability maximization model. In the proposed method, it is assumed that the decision maker has fuzzy goals for not only permissible objective levels of a probability maximization model but also the corresponding distribution function values. Using the...

In this paper, we propose an interactive decision making method for random fuzzy multiobjective linear programming problems (RFMOLP) through a probability maximization model. In the proposed method, it is assumed that the decision maker has fuzzy goals for not only permissible objective levels of a probability maximization model but also the corresponding distribution function values. Using the...

We focus on multiobjective nonlinear integer programming problems with block-angular structures which are often seen as a mathematical model of large-scale discrete systems optimization. By considering the vague nature of the decision maker’s judgments, fuzzy goals of the decision maker are introduced, and the problem is interpreted as maximizing an overall degree of satisfaction with the multi...

Skeletonization provides a compact, yet effective representation of an object. Despite limited resolution, most medical imaging applications till date use binary skeletonization which is always associated with thresholding related data loss. A recently-developed fuzzy skeletonization algorithm directly operates on fuzzy objects in the presence of partially volumed voxels and alleviates this dat...

The method for obtaining the fuzzy estimates of regression parameters with the help of “Resolution Identity” in fuzzy sets theory is proposed. The -level least-squares estimates can be obtained from the usual linear regression model by using the -level real-valued data of the corresponding fuzzy input and output data. The membership functions of fuzzy estimates of regression parameters will be ...

The described Fuzzy Controller was implemented in a test car and performed quite well in various driving situations. The behavior of the active accelerator pedal felt very " human like " and fulfilled the requirements described in section 3. The part of a test drive with the Fuzzy ACC presented in Figure 6 shows that the accuracy of the acceleration control was high enough to meet the intention...