Implementace efektivní sémantické sítě pro tvorbu báze znalostí

Michal Hala

Bakalářská práce

Implementation of Effective Semantic Network for Knowledge Base Creation

Anotace:

Cílem této práce je implementovat systém pro reprezentaci znalostí a vyvozování pro transparentní intenzionální logiku, který využívá vzájemně propojených databází tvořící sémantickou síť umožňující efektivní vyhledávání dat podle zvolených (pod)struktur. Systém je jmenuje TIL Inference Machine (Inferenční stroj pro transparentní intenzionální logiku), zkratkou TIM. Navržený systém je postaven na dvou základních operacích: Tell neboli přijímání nových faktů ve formě formulí transparentní intenzionální logiky; a Ask neboli odpovídání na otázky. TIM byl úspěšně implementován a splňuje příslušné požadavky, týkající se přijímání vstupních dat o netriviálních objemech, efektivního způsobu reprezentace dat a odpovídání na otázky. TIM byl úspěšně vyhodnocen jednak s použitím rozsáhlého korpusu desam-full, který obsahuje české věty zpracované do podoby formulí transparentní intenzionální logiky, a jednak kolekcí ručně vytvořených otázek testujících dovednost systému vyhledávat znalosti.

Abstract:

This thesis aims at implementing a knowledge representation and reasoning system for transparent intensional logic, which uses interconnected databases forming a semantic network that allows for effective searching of specific structures. The system is called TIL Inference Machine (TIM). The system uses two main operations: Tell, which adds new facts in the form of transparent intensional logic to the knowledge base; and Ask, which answeres questions. TIM was successfully implemented and fulfills respective requirements, such as processing non-trivial amounts of input data, effective representation of data, and question answering. TIM was successfully evaluated using both a large corpus desam-full containing czech sentences, and a collection of hand-made questions testing the ability of the system to search for knowledge.

Klíčová slova

sémantická síť, zpracování přirozeného jazyka, NLP, transparentní intenzionální logika, TIL, inference, báze znalostí

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 26. 5. 2020

Obhajoba závěrečné práce

• Obhajoba proběhla 24. 6. 2020
• Vedoucí: doc. RNDr. Aleš Horák, Ph.D.
• Oponent: RNDr. Vojtěch Kovář, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Umělá inteligence a zpracování přirozeného jazyka