F a k u l t a i n f o r m a t i k y
M a s a r y k o v a u n i v e r z i t a v Brně
Oponentský posudek tezí disertační práce
Martina Líšky
„Building the Ultimate Math Search Engine"
Předkládané teze disertační práce se zabývají systémy pro digitální knihovny, které
umožní vyhledávání matematických výrazů. Cílem práce je navrhnout nové techniky pro
vyhledávání matematických výrazů a zejména jejich kombinací vytvořit kvalitativně lepší systém.
Z formálního hlediska text tezí odpovídá svým rozsahem požadavkům Fakulty
informatiky MU, je psán srozumitelně s velmi dobrou úrovní angličtiny. Narazil jsem jen na
několik překlepů. Není vhodné používat zkrácenou formu „do not", čitatel zlomku je nominator
a nikoli numerator, effectiveness je místy používáno ve smyslu efficiency, pozor na rozdíl mezi
počitatelným a nepočitatelným experience.
Odborně je text správně strukturován a seznamuje čtenáře s problematikou indexování a
vyhledávání matematiky. Autor v části 3 prezentuje, že Uavriími cíli jsou identifikace proměnných
ve výrazech, minimalizace a unifikace matematických výrazů, povolení zástupných symbolů při
vyhledávání a expanze dotazů. Přehled existujících technik v části 2 je poměrně vyčerpávající a
popisuje principy zpracování matematických výrazů pro indexování a dotazování, pokud bylo
možné je zjistit. V kontextu cílů práce bych očekával, že přehled bude strukturovaný podle
problémů, které je nutné v analýze matematických výrazů řešit. Jistou kontradikci lze chápat
v tvrzení, že MlaS se umístil v soutěži NTCIR na praním místě, a v tvrzení v části 3.2, že MlaS
byl překonán systémem využívající stromovou editační vzdálenost a systémem porovnávajícím
vzory. Právě techniky pro zpracování X M L dokumentů, tedy obecně stromů spatřuji jako velmi
relevantní k tématice tezí, autor je ale nijak zvlášť nezmiňuje.
Dotazy pro obhajobu mám následující:
• Je pro využití počítačových algebraických systémů nutné určení proměnných výrazu nebo
nikoli?
• Lze text obklopující matematickou formuli lze využít k upřesnění sémantiky částí formule
nebo nikoli?
• Přínos kombinování různých technik pro výsledek vyhledávání je celkem obecně známý.
V čem autor očekává, že jeho kombinace budou unikátní v porovnání s existujícími principy?
Závěr: Souhrnně konstatuji, že téma tezí je aktuální. Cíle práce jsou jasně definované a
disertabilní. Přes uvedené nedostatky a s přihlédnutím k původním publikačním výsledkům
navrhuji uznat práci jako rigorózní. Prezentovaný časový plán a cíle dalšího studia jsou realistické.
Navrhovaný publikační plán je ale dosti ambiciózní a věřím, že se jej alespoň částečně podaří
naplnit.
V Brně, 24. dubna 2015
Masarykova univerzita
Fakulta informati
Datum: 2 8 -fj4- 9Q' 5
Č.JVE.Č.:
Počat listů dokumentuPoôel
příloh a listů/sv:
jurist a dnjft neliší. ofíloh•ttoc.
JtNDr. Vlastislav Dohnal, Ph.D.
Fakulty of Informatics
Masaryk University