Hájek Petr
Making fuzzy description logic more generalIn: Fuzzy set and Systems, Vol. 154, 2005, pp. 1-15
A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems of satisfiability, validity and subsumption of concepts are discussed and reduced to problems of fuzzy propositional logic known to be decidable for any continuous t-norm. For Lukasiewicz t-norm some stronger results are obtained.
Nedbal Radim
Relational Databases with Ordered RelationsIn: Logic Journal of the
IGPL, Vol. 13, 2005, pp. 587-597
Presented at: ERCIM 2004, Vienna,
Austria. 12.7-17.7.2004
The paper deals with expressing preferences in the framework of the relational data model. Preferences have usually a form of a partial ordering. Therefore the question arises how to provide the relational data model with such an ordering.
Věra Kůrková, Marcello Sanguineti
Learning with generalization capability by kernel methods of bounded complexity.In: Journal of Complexity. Volume 21, 2005. Elsevier. pp. 350-367
Learning from data with generalization capability is studied in the framework of minimization of regularized empirical error functionals over nested families of hypothesis sets with increasing model complexity. ForTikhonov's regularization with kernel stabilizers, minimization over restricted hypothesis sets containing for a fixed integer n only linear combinations of all n-tuples of kernel functions is investigated. Upper bounds are derived on the rate of convergence of suboptimal solutions from such sets to the optimal solution achievable without restrictions on model complexity.The bounds are of the form 1/sqrt(n) multiplied by a term that depends on the size of the sample of empirical data, the vector of output data, the Gram matrix of the kernel with respect to the input data, and the regularization parameter.
Linková Zdeňka
Data Integration in VirGIS and in the Semantic Web.In: Doktorandský den 05. (Ed.: Hakl F.), Praha, MATFYZPRESS 2005, pp. 87-93 (ISBN: 80-86732-56-8)
Presented at: Institute of Computer Science Ph.D. Student's Days, Nový Dvůr,
Czech Republic. 5.10.-7.10.2005.
Integration has been an acknowledged data processing problem for a long time. However, there is no universal tool for general data integration. Because various data descriptions, data heterogeneity, and machine unreadability, it is not easy way. Improvement in this situation could bring the Semantic Web. Its idea is based on machine understandable web data, which bring us an opportunity of better automated processing. The SemanticWeb is still a future vision, but there are already some features we can use. The paper describes how is integration solved in mediation integration system VirGIS and discusses use of nowadays Semantic Web features to improve it. According to the proposed changes, a new ontology that covers data used in VirGIS is presented.
Řimnáč Martin
Odhadování struktury dat pomocí pravidlových systémů.In: Doktorandský den 05. (Ed.: Hakl F.), Praha, MATFYZPRESS 2005, pp. 124-133 (ISBN: 80-86732-56-8)
Presented at: Institute of Computer Science Ph.D. Student's Days, Nový Dvůr,
Czech Republic. 5.10.-7.10.2005.
Metoda odhadování struktury dat spojuje vizi sémantického webu a dnešní webové datové zdroje, které převážně neobsahují žádnou doprovodnou sémantiku prezentovaných informací. Aby bylo možné tyto zdroje použít pokročilými nástroji sémantického webu, je potřeba sémantiku prezentovaných dat alespoň odhadnout. Příspěvek popisuje takovou metodu, ukazuje její použití pro úlohy induktivního logického programování a jmenuje výhody použití pravidlových systémů pro její implementaci.
Špánek Roman
Sharing information in a Large Network of Users.In:Doktorandský den 05. (Ed.: Hakl F.), Praha, MATFYZPRESS 2005, pp. 134-140 (ISBN: 80-86732-56-8)
Presented at: Institute of Computer Science Ph.D. Student's Days, Nový Dvůr,
Czech Republic. 5.10.-7.10.2005.
The paper describes a possible treatment of sharing data in a large network of users. The mathematical model is based on weighted hypergraphs whose nodes and edges denote the users and their relations, respectively. Its flexibility guarantees to have basic relations between users robust under frequent changes in the network connections. Approach copes with the communication/computing issues from different point of view based on a structure evolution and its further optimization in sense of keeping the parallel space and time complexities low. Although the idea is aimed to the field of mobile computing, it can be generalized in straightforward way to other similar environment. An experimental application is also proposed and discussed in the paper.
Farský Miroslav, Neruda Martin, Neruda Roman
Mass and energy flows in consequences of company environmental accontingIn: Proceedings of the Environmental Accounting - Sustainable Development Indicators, International Conference
EA-SDI 2005, 26.9.-27.9.2005, Ed. Ritschelová I., Jan Evangelista Purkyně University, Ústí nad Labem and Charles University - Environment Center, Prague,
Czech Republic, 2005, pp. 356-362 (ISBN: 80-7044-676-5)
During the implementation of an environmental accounting system in a company, one of the most important pieces of information to obtain is a detailed understanding about material flows (raw materials, semi-finished products, final products and wastes) and flows of different types of energy inputs (buying, selling and wastage) when thinking about the consequences on the company. The authors, in the article: 1) study the question of the quantification of the flows, and the accuracy of their measurement, 2) provide an environmental accounting statement, with help of standards and indices, statistical trends analysis.
Farský Miroslav, Neruda Martin, Neruda Roman
Mass and energy flows in consequences of company environmental acconting (abstract)In: Environmental Accounting - Sustainable Development Indicators,
EA-SDI 2005, 26.9.-27.9.2005, Jan Evangelista Purkyně University, Usti nad Labem and Charles University - Environment Center, Prague,
Czech Republic. Collection of abstracts,(Ed. Ritschelová I.) 2005, pp. 51. ISBN 80-7044-674-9
During the implementation of an environmental accounting system in a company, one of the most important pieces of information to obtain is a detailed understanding about material flows (raw materials, semi-finished products, final products and wastes) and flows of different types of energy inputs (buying, selling and wastage) when thinking about the consequences on the company. The authors, in the article: 1) study the question of the quantification of the flows, and the accuracy of their measurement, 2) provide an environmental accounting statement, with help of standards and indices, statistical trends analysis.
Vojtáš Peter
Editor: ITAT 2005
Ed: Information Technologies - Applications and Theory. (Ed.: Vojtáš P.) - Košice, Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika 2005. (ISBN: 80-7097-609-8)
Holeňa Martin
Získávání logických tvrzení z dat jako významný směr dobývání znalostí z datIn: Information Technologies - Applications and Theory. (Ed.: Vojtáš P.) - Košice, Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika 2005, pp. 311-322 (ISBN: 80-7097-609-8)
Presented at: ITAT 2005, Račkova dolina,
Slovakia, 20.9. - 25.9.2005
Příspěvek se zabývá problematikou získávání logických tvrzení z dat, tedy těmi metodami dobývání znalostí z dat (data mining), jejichž výsledky lze vyjádřit v jazyce nějaké formální logiky. Je podán velmi stručný přehled širokého spektra rozmanitých metod tohoto typu, jak metod vycházejících ze statistických přístupů, tak i metod spočívajících na principech strojového učení, a je poukázáno na specifický charakter metod založených na umělých neuronových sítích. Pro ilustraci jsou podrobněji popsány dvě konkrétní metody získávání logických tvrzení z dat. Jednou z nich je metoda Guha, která vychází z observační logiky a je pravděpodobně nejstarší metodou získávání pravidel z dat vůbec. Druhou je metoda založená na po částech lineárních vícevrstvých perceptronech.
Linková Zdeňka, Nedbal Radim
Building Ontology for VirGIS System.In: Information Technologies - Applications and Theory. (Ed.: Vojtáš P.) - Košice, Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika 2005, pp. 233-242 (ISBN: 80-7097-609-8)
Presented at: ITAT 2005, Račkova dolina,
Slovakia, 20.9. - 25.9.2005
Ontologies play an important role in a knowledge representation. It involves ontology development as well as ontology re-use. Among various fields, where ontologies can be useful, is the GIS (Geographical Information System) data area. The goal of the research described in this paper is to develop a specific ontology for a given GIS domain. At first, we describe a general methodology and main tools for ontology development. Then a new ontology that covers data used in a VirGIS integration system is presented. The paper describes the VirGIS specified ontology as well as a list of spatio-temporal data ontologies that are available and possible to use for a general data features description.
Řimnáč Martin
Odhad struktury dat a induktivní logické programování.In: Information Technologies - Applications and Theory. (Ed.: Vojtáš P.) - Košice, Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika 2005, pp. 124-133 (ISBN: 80-7097-609-8)
Presented at: ITAT 2005, Račkova dolina,
Slovakia, 20.9. - 25.9.2005
Odhadování struktury dat je jednou z možností, jak automatizovaným způsobem interpretovat data. Ta mohou být popsána pomocí modelu funkčních závislostí, vytváření takového modelu lze srovnat s některými technikami strojového učení. Tento příspěvek shrnuje vybrané základní techniky induktivního logického programování a analyzuje je z pohledu metody odhadování struktury dat. Ukazuje se, že techniky induktivního logického programování lze v některých případech převést právě odhadování struktury dat.
Špánek Roman
Data pozičně závislá a jejich dopad v mobilních databázích.In: Information Technologies - Applications and Theory. (Ed.: Vojtáš P.) - Košice, Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika 2005, pp. 273-278 (ISBN: 80-7097-609-8)
Presented at: ITAT 2005, Račkova dolina,
Slovakia, 20.9. - 25.9.2005
The paper describes selected problems and possible solutions for the position management in mobile computing. A proposed scheme extends existing approaches. The main idea is to reduce amount of possible solutions given by a movement prediction algorithm by constrains ubiquitously found in the real-life. Existing solutions and possibilities for a future research are also described.
Neruda Roman, Krušina Pavel
Estimating and Measuring Performance of Computational AgentsIn: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent technology
IAT 2005, 19.9.-22.9.2005,
France, IEEE Computer Society Press, 2005. pp. 615-618. ISBN 0-7695-2416-8
We study and design multi-agent systems for computational intelligence modeling. Agents typically reside in a high-performance parallel environment, such as a cluster of computational nodes, and utilize a non-blocking asynchronous communication. The need of accurate predictions of run-time and other characterizations of complex parallel asynchronous processes bring us to design a new parallel model creation methodology. In this article our approach is briefly described and a test case is shown and discussed.
Wiedermann Jiří
Globural Universe and Autopoietic Automata: A Framework for Artificial LifeIn: Advances in Artificial Life. (Ed.: Capcarrere M., Freitas A. A., Bentley P. J., Johnson C. G., Timmis J.), Berlin, SpringerVerlag 2005, pp. 21-30
Presented at: ECAL 2005, European Conference on Artificial Life, Canterbury,
UK, 5.9.-9.9.2005
We present two original computational models - globular universe and autopoietic automata - capturing the basic aspects of an evolution: a construction of self-reproducing automata by self-assembly and a transfer of algorithmically modified genetic information over generations. Within this framework we show implementation of autopoietic automata in a globular universe. Further, we characterize the computational power of lineages of autopoietic automata via interactive Turing machines and show an unbounded complexity growth of a computational power of automata during the evolution. Finally, we define the problem of sustainable evolution and show its undecidability.
Húsek Dušan, Snášel Václav, Owais Suhail S. J., Krömer Pavel
Using Genetic Algorithms for Boolean Queries OptimizationIn: Proceedings of the Ninth IASTED International Conference
INTERNET AND MULTIMETIA SYSTEMS AND APPLICATIONS, 15.8.-17.8. 2005, Honolulu, Hawaii,
USA - Calgany, ACTA Press, 2005, pp. 178-184.
Most of information retrieval systems depend on Boolean queries. The performance of an information retrieval system is usually measured in terms of two different criteria, precision and recall. This way, the optimization of any of its components is a clear example of a multiobjective problem. However, although evolutionary algorithms have been widely applied in the information retrieval area, in all of these applications both criteria have been combined in a single scalar fitness function by means of a weighting scheme. In this paper, we deal with using of Genetic algorithms in Information retrieval specially in optimizing of a Boolean query.
Wiedermann Jiří
Can Cognitive and Intelligent Systems Outperform Turing Machines?In: Proceedings of Czech-Argentinian Workshop "
e-Golems" (Interdisciplinary Aspects of Human-Machine Co-existence and Co-operation), 2.7.-5.7.2005, (Eds. Marik et al.), CTU Prague, 2005, pp. 82-86.
We look for computational limits of artificial, natural and hybrid cognitive and intelligent systems. The common basis for such studies is offered by computationalism, i.e., the belief that cognitive or intelligent processes, respectively, are in essence computational processes. We show that in principle cognitive systems might exist whose computational power outperforms that of Turing machines and that even in practice we observe the rudiments of such systems. These results point to the fact that the so - called Church - Turing Thesis, dealing with the central position of Turing machines in the world of computations and algorithms, must be seen in the context of physical principles exploited by the cognitive systems, and in that of the communication scenario between the system and its environment.
Řimnáč Martin
Web Integration Tool: Data Structure ModellingPresented at: DMIN'05 -International Conference on Data Mining, Las Vegas,
USA. 20.6.-23.06.2005
In: Proceedings of the 2005 International Conference on Data Mining. CSREA Press, 2005. ISBN: 1-932415-79-3.
The paper describes a method for relational data model estimation from input web data and usage of this method. It includes also its principal limitations and shows the model usage for a more effective storage into a repository. The repository is implemented as the universal relation. The properties of the model are described as well.
Wiedermann Jiří
Neomezený evoluční růst výpočetní síly sebereprodukčních automatů v globulárním vesmíru a jiné výsledky.In: Kognice a umělý život. (Ed.: Kelemen J., Kvasnička V., Pospíchal J.), Ostrava, Slezská univerzita 2005, pp. 613-623 (ISBN: 80-7248-310-2)
Presented at: Kognice a umělý život, Smolenice,
Slovakia, 30.5.-2.6.2005
Popíšeme původní výpočetní modely – globulární vesmír a autopoietické automaty – které zachycují podstatné výpočetní aspekty evoluce: konstrukci sebereprodukčních evolučních automatů pomocí sebesestavování a přenos algoritmicky modifikovatelné genetické informace na potomka. V tomto rámci ukážeme neomezený růst výpočetní síly automatů během evoluce a pomocí interaktivního Turingova stroje chrakterizujeme výpočetní sílu rodových linií automatů.
Vaculin Roman, Neruda Roman
Autonomous behavior of computational agentsIn: Adaptive and Natural Computing algorithms. Springer, Wien, pp. 514-517, 2005.
Presented at: ICANNGA 2005, 21.-23.03.2005, Coimbra,
PortugalIn this paper we present an architecture for decision making of software agents that allows the agent to behave autonomously. Our target area is computational agents—encapsulating various neural networks, genetic algorithms, and similar methods — that are expected to solve problems of different nature within an environment of a hybrid computational multi-agent system. The architecture is based on the vertically-layered and beliefdesire-intention architectures. Several experiments with computational agents were conducted to demonstrate the benefits of the architecture
Kudová Petra, Neruda Roman
Kernel Based Learning Methods: Regularization Networks and RBF NetworksIn: Proceedings of the
Sheffield Machine Learning Workshop. 7.9.-10.9.2004, The University of Sheffield,
Great Britain, Springer Verlag, 2005, pp. 124-136 (ISBN: 3-540-29073-7)
Kernel based learning methods are subject of great interest at present. We discuss two kernel based learning methods, namely the Regularization Networks (RN) and the Radial Basis Function Network (RBF networks).
The RNs are derived from the regularization theory, had been studied thoroughly from a function approximation point of view, and therefore have very good theoretical background.
The RBF networks represent a model of artificial neural networks with both neuro-physiological and mathematical motivation. In addition they may be treated as a generalised form of Regularization Networks, i.e. RN with increased number of kernel functions.
We demonstrated the performance of both approaches on experiments, including both benchmark and real-life learning tasks. We claim that the performance of RN and RBF network is comparable in terms of generalisation error. The RN approach usually leads to solutions with higher model complexity (high number of base units). In this situations, the RBF networks can be used as a ’cheaper’ alternative.
Linková Zdeňka
Data Integration in VirGIS and in the Semantic Web.Technical Report V-922, Prague, ICS AS CR 2005, 11p.
Integration has been an acknowledged data processing problem for a long time. Integration is needed in many areas, but because various data descriptions, data heterogenity, and machine unreadability, it is not easy way. Some data from particular areas has been already integrated; for example, there is the VirGIS mediation integration system for particular set of Geographic Information Systems. However, there is no universal tool for general data integration. Improvement in this situation could bring the Semantic Web. Its idea is based on machine understandable web data, which bring us an opportunity of better automated processing. The Sementic Web is still a future vision, but there are already some features we can use. This report briefly describes how is integration solved in VirGIS and discusses usage of nowadays Semantic Web features to improve it.
Linková Zdeňka
The Logic Summer School 2004.Technical Report V-925, Prague, ICS AS CR 2005, 10p.
Abstract Logic is the foundational discipline of many sciences. Part mathematics, part philosophy and part computing science, logic remains a core intellectual study and is increasingly relevant to practical concerns. It spreads into planning, into program synthesis, into circuit design and into discourse analysis. It underpins the entire science of artiŻcial intelligence. In order to increase knowledge from the field of logic, I participated in the Logic Summer School. This report covers some information.
Linková Zdeňka, Nedbal Radim, Řimnáč Martin
Building Ontologies for GIS.Technical Report V-932, Prague, ICS AS CR 2005, 9p.
Knowledge representation in geographic information systems (GIS) and associated data processing presents many challenges for researchers. To use ontologies as knowledge representation belongs to the most topical problems to solve. This involves ontology development as well as ontology re-usage. The goal of the research described in this paper is to develop a specific ontology for a given GIS area.
Linková Zdeňka, Nedbal Radim
Building Ontologies for GIS - Part 2.Technical Report V-938, Prague, ICS AS CR 2005, 12p.
Ontologies play an important role in knowledge representation. Among various fields, where ontologies can be useful, is the GIS data area. We consider data in a specific GIS domain and develop a new ontology. The result is described in this paper.
Neruda Roman, Vaculín Roman
Concept nodes architecture within the Bang3 system Technical Report V-947, Prague, ICS AS CR, 2005.
In this paper we present an architecture for decision making of software agents that allows the agent to behave autonomously. Our target area is computational agents — encapsulating various neural networks, genetic algorithms, and similar methods — that are expected to solve problems of different nature within an environment of a hybrid computational multi-agent system. The architecture is based on the vertically-layered and belief-desire-intention architectures. Several experiments with computational agents were conducted to demonstrate the benefits of the architecture.
