Smart systems ****************************************************************************************** * ****************************************************************************************** contact: doc. RNDr. Iveta Mrázová, CSc. [ MAIL "mrazova(zavinac)ktiml.mff.cuni.cz"] Smart systems for the new millennium need to meet the challenge of flexibility and customi requirements. From this point of view, one of the most decisive issues represents the desi and application of effective machine learning algorithms and data mining tools based in pa artificial neural networks, fuzzy logic, evolutionary programming, and automata theory. Th research include: • specification of the properties characteristic for important features, significant input those tendencies in the system development, which might indicate its future change • development of new adaptive methods and formal tools suitable for a fast and reliable de identification of significant data patterns • design and verification of methods for optimization of the applied knowledge extraction (neural networks and other data mining tools) • exact analysis of the proposed methods and tools and their applications • interpretation, verification, and visualization of the knowledge extracted from the anal