Metrika podobnosti formalizací v PL1

Lukáš Vích

Diplomová práce

The Similarity Measure of PL1 Formalisations

Anotace:

Tato práce se zabývá problematikou při formalizaci vět z přirozeného jazyka do jazyka predikátové logiky 1. řádu (dále jenom PL1). Cílem je seznámit čtenáře se základy sémantiky PL1, uvést jej do dané problematiky a vysvětlit všechny důležité aspekty spjaté s převáděním vět z přirozeného jazyka do jazyka PL1. Dalším cílem je vymezit konkrétní podmnožinu PL1 a nad ní definovat metriku podobnosti formalizací v PL1 (na jejímž základě bude automaticky vyhodnocena míra správnosti logické formule). Metrika bude definována jako soubor pravidel, která zohledňují ekvivalentní možnosti zápisu (některých) částí logické formule a která navíc ošetřují nejčastější chybování vznikající při formalizování vět do PL1. Konečným cílem práce je implementace algoritmu porovnávající dvě formule (vzor a řešení) a vyhodnocení správnosti ověřované formule (řešení).

Abstract:

This work deal with questions of sentences formalization from natural language to the language of first order predicate logic (further just PL1). The target is introduce reader to the principles of semantic of PL1, bring him to the existent problems and explain all of the important aspects wedded with sentences conversion from natural langugage to the language of PL1. The next target is define the particular subset of PL1 and define the metric of formalization similarities over it (which will be the base of rate of rightness of logical formula automatically evaluation). The metric will be defined like a set of rules, which are making provison for equivalent entry possibilities (some of these) of logical formula parts and which are making provision for most frequent errancy beyond rising at sentences formalization to the PL1. The final target of this work is implementation of algorithm to compare two formulas (model and solution) and evaluation the similiarity of these formulas.

Keywords

predikátová logika 1. Řádu, logická formule, atomická formule, interpretace, formalizace, metrika, gramatika, first order predicate logic, logical formula, atomic formula, interpretation, formalization, metric, grammar

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 2010

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

• Vedoucí: Marek Menšík
• Oponent: Martina Číhalová

Vysoká škola báňská - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika