eLogika for Android System

Import 03/11/2016Cílem práce bylo zabývat se analýzou, návrhem a implementací systému eLogika pro tablety s OS Android ve verzi 4.2 nebo novější a mobilní telefony s OS Android ve verzi ne starší než 4.1. V úvodu je popsána motivace pro vznik android aplikací v rámci systému eLogika. Dále se práce věnuje analýze a návrhu jedné aplikace pokrývající zadané požadavky, v další kapitole pak návrhu pro komunikaci se serverem systému eLogika. Následující kapitola popisuje vše, co se týká implementace aplikace sloužící k výuce předmětu Matematická logika na VŠB-TUO. V závěru je popsáno celkové shrnutí vzniklé aplikace a diplomové práceThe aim of this thesis was to deal with analysis, design and implementation of the system eLogika for tablets with Android operating system version 4.2 or newer and mobile phones with Android operating system in version not older than 4.1. In the introduction it is described the motivation for creating android applications in the system eLogika. The text below introduces this work, focusing on analysis and design of the application, which covers given requirements. The following chapter deals with the design of communication of the application with systém server eLogika. The chapter after that one focuses on all stuff around implementation of the application serving the purpose of teaching subject Mathematic logic on VŠB-TUO. At the end of this thesis it is written the summary of the implemented application and diploma work.460 - Katedra informatikyvýborn

24th International Conference on Information Modelling and Knowledge Bases

In the last three decades information modelling and knowledge bases have become essentially important subjects not only in academic communities related to information systems and computer science but also in the business area where information technology is applied. The series of European – Japanese Conference on Information Modelling and Knowledge Bases (EJC) originally started as a co-operation initiative between Japan and Finland in 1982. The practical operations were then organised by professor Ohsuga in Japan and professors Hannu Kangassalo and Hannu Jaakkola in Finland (Nordic countries). Geographical scope has expanded to cover Europe and also other countries. Workshop characteristic - discussion, enough time for presentations and limited number of participants (50) / papers (30) - is typical for the conference. Suggested topics include, but are not limited to: 1. Conceptual modelling: Modelling and specification languages; Domain-specific conceptual modelling; Concepts, concept theories and ontologies; Conceptual modelling of large and heterogeneous systems; Conceptual modelling of spatial, temporal and biological data; Methods for developing, validating and communicating conceptual models. 2. Knowledge and information modelling and discovery: Knowledge discovery, knowledge representation and knowledge management; Advanced data mining and analysis methods; Conceptions of knowledge and information; Modelling information requirements; Intelligent information systems; Information recognition and information modelling. 3. Linguistic modelling: Models of HCI; Information delivery to users; Intelligent informal querying; Linguistic foundation of information and knowledge; Fuzzy linguistic models; Philosophical and linguistic foundations of conceptual models. 4. Cross-cultural communication and social computing: Cross-cultural support systems; Integration, evolution and migration of systems; Collaborative societies; Multicultural web-based software systems; Intercultural collaboration and support systems; Social computing, behavioral modeling and prediction. 5. Environmental modelling and engineering: Environmental information systems (architecture); Spatial, temporal and observational information systems; Large-scale environmental systems; Collaborative knowledge base systems; Agent concepts and conceptualisation; Hazard prediction, prevention and steering systems. 6. Multimedia data modelling and systems: Modelling multimedia information and knowledge; Contentbased multimedia data management; Content-based multimedia retrieval; Privacy and context enhancing technologies; Semantics and pragmatics of multimedia data; Metadata for multimedia information systems. Overall we received 56 submissions. After careful evaluation, 16 papers have been selected as long paper, 17 papers as short papers, 5 papers as position papers, and 3 papers for presentation of perspective challenges. We thank all colleagues for their support of this issue of the EJC conference, especially the program committee, the organising committee, and the programme coordination team. The long and the short papers presented in the conference are revised after the conference and published in the Series of “Frontiers in Artificial Intelligence” by IOS Press (Amsterdam). The books “Information Modelling and Knowledge Bases” are edited by the Editing Committee of the conference. We believe that the conference will be productive and fruitful in the advance of research and application of information modelling and knowledge bases. Bernhard Thalheim Hannu Jaakkola Yasushi Kiyok

Interpretation Structure Modeler for FOL

Import 05/08/2014Obsahem této diplomové práce je analýza a návrh systému pro podporu výuky předmětu Matematická logika. Vytvářený systém se bude týkat problematiky 3D vizualizace úlohy na hledání modelu množiny formulí v predikátové logice prvního řádu a modelování důležitých vlastností relací. Nástroj bude také obsahovat nápovědu pro vytvoření modelu množiny. V první části práce, je čtenář seznámen s teoretickými základy z dané oblasti, na které plynule navazuje specifikace požadavků na nový systém. Dále je text práce zaměřen především na analýzu a návrh jednotlivých částí systému, která je doplněna o třídní a sekvenční diagramy UML.The goal of this thesis is to Provide design and analysis of a new system, which could then be used as a teaching tool in subject called Mathematical Logic. The new system will consist of two main parts. The first part will be dealing with the problem of 3D visualization of formula set models. The second part will include an environment for modeling important properties of relations. Our system will also include an aid for creating formula set models. In the first part of the thesis we focus on theoretical background and requirement specification for the new system. Following parts ot the thesis are mainly focused on analysis and design of individual system parts, accompanied with class and sequence UML diagrams.460 - Katedra informatikydobř

Interpretation Structure Modeler for FOL

Import 05/08/2014Obsahem této diplomové práce je analýza a návrh systému pro podporu výuky předmětu Matematická logika. Vytvářený systém se bude týkat problematiky 3D vizualizace úlohy na hledání modelu množiny formulí v predikátové logice prvního řádu a modelování důležitých vlastností relací. Nástroj bude také obsahovat nápovědu pro vytvoření modelu množiny. V první části práce, je čtenář seznámen s teoretickými základy z dané oblasti, na které plynule navazuje specifikace požadavků na nový systém. Dále je text práce zaměřen především na analýzu a návrh jednotlivých částí systému, která je doplněna o třídní a sekvenční diagramy UML.The goal of this thesis is to Provide design and analysis of a new system, which could then be used as a teaching tool in subject called Mathematical Logic. The new system will consist of two main parts. The first part will be dealing with the problem of 3D visualization of formula set models. The second part will include an environment for modeling important properties of relations. Our system will also include an aid for creating formula set models. In the first part of the thesis we focus on theoretical background and requirement specification for the new system. Following parts ot the thesis are mainly focused on analysis and design of individual system parts, accompanied with class and sequence UML diagrams.460 - Katedra informatikydobř