Plans

The following are tentative research topics that may serve as defining internal structure of work:

(1) Mathematical and logical foundations of Soft Computing

a) systematic development of the theoretical basis of non--standard (i.e., approximate, nondeterministic or uncertain, etc.) reasoning, with a special focus to approaches to fuzzy logic probabilistic and possibilistic logic, Dempster-Shafer theory and related approaches;

b) Research in fuzzy logic programming in predicate calculus and with wider class of connectives (conjunctors and aggregation operators) which appear in practical application where one works with approximation of connectives;

c) design of the respective calculi for uncertainty, imprecision and vagueness quantification and processing, studying and proving of their theoretical properties both from logic and algorithmic points of view; mutual confrontation of these calculi from the viewpoint of their expressive and processing power;

d) development of the theory of complexity of feed forward and recurrent neural networks and their learning algorithms based on complexity measure corresponding to various implementation possibilities.

(2) Algorithmic foundations of Soft Computing

a) design and investigation of models suitable for realisation of formal calculi studied/proposed in the previous item;

b) design, development and analysis of formal, abstract machine models embodying the ideas of soft computing, inspired by biological or genetic models, with special regard to massively parallel models, distributed models, and neuromorphic models;

c) extending the theoretical basis of neural network--based computation with a special regard to approximation theory and related development of new neural computation paradigms;

d) the design and analysis of efficient algorithms for the fundamental problems in soft computing, both for internal need of the theory, as well as for various application areas, especially in the field of data mining.

(3) Experimental applications of Soft Computing

a) identifying new soft computing information processing application areas particularly in the field of fuzzy and neuro--fuzzy systems, hybrid (i.e., analog and neural) systems, data/knowledge bases, data warehouses, data mining, etc.

b) identification and formalisation (modelling) of paradigmatical problems of Soft Computing;

c) the analysis, design, and development of formal methods and algorithms for the inconsistency, conflict resolution in the process of data/knowledge bases and warehouses, integration, including the problems of different kinds of the fuzziness (vagueness, degree of truth) and of the uncertainty (probabilistic, possibilistic, degree of belief);

d) experimental implementations of new systems of Soft Computing.

In all those domains the aim of creative synthesis of various approaches to Soft Computing is stressed.