Projekt Robot Tódai byl zahájen v roce 2011. Jeho cílem je integrovat výzkum umělé inteligence a aplikovat do výzkumu nejnovější poznatky a technologie. Výsledkem má být vytvoření umělého mozku, který bude v roce 2016 schopen dosáhnout dobrých výsledků v testech inteligence a do roku 2021 dokáže překročit hranici znalostí potřebnou k přijetí na Tokijskou univerzitu Tódai. Projektu se účastní několik odborných týmů, společnost Fujitsu Laboratories vede matematický tým.
Fujitsu Laboratories se již mnoho let věnuje výzkumu počítačové algebry a práce se vzorci, který je nezbytný k řešení matematických problémů souvisejících s matematickou analýzou a technologiemi optimalizace. Technologie vyvinuté v rámci tohoto projektu umožní komukoliv snadno používat sofistikované nástroje pro matematickou analýzu k řešení celé řady problematických otázek z reálného světa a dokonce proces matematické analýzy a řešení pokročilých výpočtů.
Technologické problémy
Aby mohl počítač vyřešit matematické příklady zadané při přijímacích zkouškách, musí nejprve převést zadání, které je zapsané přirozeným jazykem a vzorci snadno čitelnými pro člověka do podoby, která bude srozumitelná počítačům. Dalším krokem je vyřešení problému pomocí specializovaného programu. Celý proces zahrnuje celkem tři kroky.
1. Sémantická analýza: Pochopení zadání, které je zapsané přirozeným jazykem a vzorci snadno čitelnými pro člověka.
2. Formulace: Převedení problému do podoby, kterou může zpracovat počítač.
3. Výpočet: Nalezení řešení pomocí matematického programu.
Všechny uvedené kroky stále představují obtížný teoretický i praktický problém. K řešení každého z nich je třeba využít správnou kombinaci různých technologií. Samotné pochopení textu určeného pro člověka pomocí počítače je velice obtížné. Ke zpracování přirozeného jazyka a vytvoření sématické reprezentace problému nestačí pouze analyzovat jednotlivá slova. Je třeba také zohlednit matematickou terminologii a obecné matematické předpoklady na vysokoškolské úrovni. Dále je nutné vybrat nejvhodnější způsob, jak problém vyřešit. V současné době lze vyřešit pouze okolo 50 až 60 procent příkladů z přijímacích zkoušek úrovně 2, a to i přes použití technologie počítačové algebry. Výpočetní algoritmus tedy vyžaduje vylepšení.
(tz)