Natural Deduction System for the TIL-Script Language

V mé práci se zabývám vytvořením interaktivního nástroje pro dokazování pomocí přirozené dedukce v jazyce TIL-Script. Pro použití nástroje shrnu základy logických kalkulů, teorie Transparentní intenzionální logiky a její komputační variantu TIL-Script. V práci uvádím úplný seznam všech pravidel pro přirozenou dedukci, které je možno v nástroji použít a výslednou analýzu, návrh a implementaci nástroje.My work is to create an interactive tool for proving using natural deduction in TIL-Script language, To use the tool I will summarize the basics of logical calculus, the theory of Transparent intensional language and it’s computational variant TIL-Script. In the work I present complete list of all the rules for natural deduction that can be used in the tool and final analysis, design and implementation of the tool.460 - Katedra informatikyvýborn

Learning in Multi-agent Systems and Symbolic Representation of Knowledge

Tato práce se zaobírá strojovým učením se symbolickou reprezentací znalostí využívající Transparentní intenzionální logiku a jeho aplikací na prvku multiagentního systému. Symbolické metody strojového učení slouží jako nástroj pro zpracování zkušeností na formálně zapsané znalosti, které se využívají pro zvyšování inteligence softwarových aplikací, které tyto metody implementují. Práce shrnuje základy strojového učení, symbolické modely strojového učení, obsahuje teorii Transparentní intenzionální logiky a syntax jazyka pro její softwarově zpracovatelný zápis TIL-Script. Na závěr je uvedena analýza a návrh agenta implementující symbolickou metodu učení pomocí transparentní intenzionální logiky.This work deals with machine learning with symbolic representation of knowledge using Transparent intensional logic and its application on an element of a multi-agent system. Symbolic methods of machine learning are used as a tool for transforming experiences into formally written knowledge which are used for increasing intelligence of software applications which implements these methods. This work summarizes basics of machine learning, symbolic modes of machine learning, contains theory about Transparent intensional logic and syntax of its computer processable language TIL-Script. In the end analysis and design of an agent implementing symbolic method of machine learning using Transparent intensional logic is presented.460 - Katedra informatikyvelmi dobř

31th International Conference on Information Modelling and Knowledge Bases

Information modelling is becoming more and more important topic for researchers, designers, and users of information systems.The amount and complexity of information itself, the number of abstractionlevels of information, and the size of databases and knowledge bases arecontinuously growing. Conceptual modelling is one of the sub-areas ofinformation modelling. The aim of this conference is to bring together experts from different areas of computer science and other disciplines, who have a common interest in understanding and solving problems on information modelling and knowledge bases, as well as applying the results of research to practice. We also aim to recognize and study new areas on modelling and knowledge bases to which more attention should be paid. Therefore philosophy and logic, cognitive science, knowledge management, linguistics and management science are relevant areas, too. In the conference, there will be three categories of presentations, i.e. full papers, short papers and position papers