Kurt Gödel, completeness, incompleteness
Hájek, Petr
2007 - English Available at various institutes of the ASCR Kurt Gödel, completeness, incompleteness

Hájek, Petr
Ústav informatiky, 2007

Compositional models for belief functions
Jiroušek, Radim; Vejnarová, Jiřina; Daniel, Milan
2007 - English After it has been successfully done in probability and possibility theories, the paper is the first attempt to introduce the operator of composition also for belief functions. We prove that the proposed definition preserves all the necessary properties of the operator enabling us to define compositional models as an efficient tool for multidimensional models representation. Příspěvek je prvním pokusem o zavedení operátoru skládání pro domněnkové funkce (operátor skládání byl již dříve zaveden pro mnohodimensionální distribuce v teorii pravděpodobnosti a v teorii možnosti); je v něm ukázáno, že použitá definice splňuje všechny důležité vlastnosti, které umožňují jeho použití pro tvorbu mnohodimensionálních modelů. Keywords: Belief functions; multidimensional models Available at various institutes of the ASCR Compositional models for belief functions

After it has been successfully done in probability and possibility theories, the paper is the first attempt to introduce the operator of composition also for belief functions. We prove that the ...

Jiroušek, Radim; Vejnarová, Jiřina; Daniel, Milan
Ústav informatiky, 2007

Web Search with Variable User Model
Gurský, P.; Horváth, T.; Jirásek, J.; Krajči, S.; Novotný, R.; Vaneková, M.; Vojtáš, Peter
2007 - English We propose a middleware system for web search adaptable to user preference querying as well as user independent fulltext search. We cover also induction of user preferences and effective query answering. A prototype of a new annotation tool is described. The system employs a formal model of user preferences based on fuzzy logic. Experimental implementation of this system integrates several independent software tools. Navrhujeme middleware systém pro vyhledávání na webu který se přizpůsobuje uživatelským preferencím a fulltextovému vyhledávání. Výsledky pokrývají indukci uživatelských preferencí a efektivnost odpovědí na dotazy. Popisujeme prototyp nového anotačního nástroje. Systém používá formální model uživatelských preferencí založený na fuzzy logice. Experimentální implementace integruje několik nezávislých softwarových nástrojů. Keywords: user model; annotation; induction; top-k search; fuzzy DL Available at various institutes of the ASCR Web Search with Variable User Model

We propose a middleware system for web search adaptable to user preference querying as well as user independent fulltext search. We cover also induction of user preferences and effective query ...

Gurský, P.; Horváth, T.; Jirásek, J.; Krajči, S.; Novotný, R.; Vaneková, M.; Vojtáš, Peter
Ústav informatiky, 2007

Clustering using Genetic Algorithms
Kudová, Petra
2007 - English We study the application of genetic algorithms to clustering and propose the Clustering Genetic Algorithm. On experiments we have shown that it V článku se zabýváme možnostmi využití genetických algoritmů v oblasti shlukové analýzy. Navrhneme shlukovací genetický algoritmus, který otestujeme na experimentech. Ukážeme, že shlukovací genetický algoritmus dává v některých případech lepší výsledky než algoritmus k-means a že je schopen za určitých předpokladů najít optimální počet shluků Keywords: evolutionary techniques; genetic algorithms; unsupervised learning; clustering Available at various institutes of the ASCR Clustering using Genetic Algorithms

We study the application of genetic algorithms to clustering and propose the Clustering Genetic Algorithm. On experiments we have shown that it...

Kudová, Petra
Ústav informatiky, 2007

Interior-Based Topology in Fuzzy Class Theory
Běhounek, Libor; Kroupa, Tomáš
2007 - English Fuzzy topology based on interior operators is studied in the fully graded framework of Fuzzy Class Theory. Its relation to graded notions of fuzzy topology given by open sets and neighborhoods is shown. Článek zkoumá plně fuzzifikovanou topologii založenou na operátorech vnitřku množiny v rámci Teorie fuzzy tříd. Je objasněn její vztah k fuzzy pojmům fuzzy topologie dané otevřenými množinami a okolími. Keywords: fuzzy topology; Fuzzy Class Theory; interior point; neighborhood Available at various institutes of the ASCR Interior-Based Topology in Fuzzy Class Theory

Fuzzy topology based on interior operators is studied in the fully graded framework of Fuzzy Class Theory. Its relation to graded notions of fuzzy topology given by open sets and neighborhoods is ...

Běhounek, Libor; Kroupa, Tomáš
Ústav informatiky, 2007

Suitability of XP for Service-Based Application Development
Brabec, Tomáš; Buchalcevová, A.
2007 - English The contribution uses the eXtreme Programming methodology - as a representative of agile methodologies - to evaluate their suitability for service-based application development. The evaluating process takes place for every phase of application life-cycle through comparison woth the RUP methodology. Příspěvek na příkladu metodiky XP posuzuje, do jaké míry lze využít agilní metodiky při vývoji aplikací na bázi služeb. Hodnocení probíhá pro každou z fází životního cyklu aplikace formou srovnání s metodikou RUP. Keywords: SOA; eXtreme programming; RUP; Web services; service-based application life cycle Available at various institutes of the ASCR Suitability of XP for Service-Based Application Development

The contribution uses the eXtreme Programming methodology - as a representative of agile methodologies - to evaluate their suitability for service-based application development. The evaluating process ...

Brabec, Tomáš; Buchalcevová, A.
Ústav informatiky, 2007

Experiments with Evolutionary and Hybrid Learning of Multi-layer Perceptron Neural Networks
Neruda, Roman; Slušný, Stanislav
2007 - English Evolutionary learning of neural architectures has been extensively studied with mixed results. Here we show that simple GA alone hardly beats optimized gradient based methods w.r.t. learning time, but the combination in hybrid algorithms brings better approximation error and even smaller networks. Evoluční učení neuronových architektur bylo v minulosti často studováno ovšem se smíšenými výsledky. V této práci ukazujeme, že jednoduchý GA těžko soupěří s časovou složitostí optimalizovaných gradientních algoritmů, ale kombinace v hybridních algoritmech přináší menší aproximační chybu a menší sítě. Keywords: multilayer perceptron; evolutionary learning; hybrid algorithms Available at various institutes of the ASCR Experiments with Evolutionary and Hybrid Learning of Multi-layer Perceptron Neural Networks

Evolutionary learning of neural architectures has been extensively studied with mixed results. Here we show that simple GA alone hardly beats optimized gradient based methods w.r.t. learning time, but ...

Neruda, Roman; Slušný, Stanislav
Ústav informatiky, 2007

Advanced Features of Attribute Annotated Data Sets
Řimnáč, Martin
2007 - English The paper compares features of learning and querying process in the situation, when values in the input data set are annotated by attributes or this information is not available. The attribute annotation enables to consider global relationships, which are useful to express the data semantics in a explicit way. It will be shown data can be accessed with no semantic interpretation and then, after the evaluation process, the result can be interpreted. Příspěvěk porovnává vlasnosti učení a dotazování v případě, že vstupní data jsou anotována pomocí atributů, nebo tato anotace není přístupná. Anotování hodnot pomocí atributů umužňuje popsat vztahy obecně platné na této úrovni; tyto vztahy pak mohou posloužit pro nepřímý popis sémantiky dat. Na základě porovnání navrhuje hybridní metodu pokrývající přednosti obou přístupů. Keywords: semantic web; learning methods; data structure estimation; neural networks Available at various institutes of the ASCR Advanced Features of Attribute Annotated Data Sets

The paper compares features of learning and querying process in the situation, when values in the input data set are annotated by attributes or this information is not available. The attribute ...

Řimnáč, Martin
Ústav informatiky, 2007

Data Fusion and Evolutionary Query Optimization for Advanced Search
Húsek, Dušan; Keyhanipour, A.; Krömer, P.; Moshiri, B.; Owais, S.; Snášel, V.
2007 - English An innovative meta-search engine named WebFusion has been presented. The search system learns the expertness of every particular underlying search engine in a certain category based on the users' preferences according to an analysis of click-through behavior. In addition, an intelligent reranking method based on ordered weighted averaging (OWA) was introduced. The re-ranking method was used to fuse the results' scores of the underlying search engines. Independently, a progressive application of evolutionary computing to optimize Boolean search queries in crisp and fuzzy information retrieval systems was investigated, evaluated in laboratory environment and presented. In this paper we describe proposed incorporation of these two innovative recent methods founding an advanced Internet search application. V práci jsou uvedeny dva nové originální přístupy motivované pokrokem ve vyhledávacích strojích na internetu. Systém se sám naučí použít nejvhodnější vyhledávací stroj pro danou úlohu na základě chování (klikání) uživatele během seance. Pro spojení výsledků vyhledávání více vyhl. stroji je použita inteligentní metoda přeuspořádání výsledků (OWA). Navíc byla experimentálně ověřena možnost použití optimalizace vyhledávání v prostředí fuzzy a standardních Booleovských vyhledávacích systémů. Keywords: Web search; meta-search; user modeling; evolutionary algorithms; query optimization Available at various institutes of the ASCR Data Fusion and Evolutionary Query Optimization for Advanced Search

An innovative meta-search engine named WebFusion has been presented. The search system learns the expertness of every particular underlying search engine in a certain category based on the users' ...

Húsek, Dušan; Keyhanipour, A.; Krömer, P.; Moshiri, B.; Owais, S.; Snášel, V.
Ústav informatiky, 2007

Johnson Point and Johnson Variance
Fabián, Zdeněk
2006 - English New measures of central tendency and dispersion of continuous probability distributions were introduced. In this paper we show that the theory offer a simple and suitable description of heavy-tailed distributions, i.e. the distributions which may not have the mean and/or variance. V článku se zavádí Johnsonův bod a Johnsonova disperze jakožto nové charakteristiky spojitých pravděpodobnostních rozdělení. Ukazuje se, že jsou vhodným popisem rozdělení s těžkými konci, které nemají střední hodnotu ani disperzi. Keywords: basic characteristics; Johnson transform; parametric estimates Available at various institutes of the ASCR Johnson Point and Johnson Variance

New measures of central tendency and dispersion of continuous probability distributions were introduced. In this paper we show that the theory offer a simple and suitable description of heavy-tailed ...

Fabián, Zdeněk
Ústav informatiky, 2006