Název:
Významné směry v umělé inteligenci
Překlad názvu:
Important Themas in Artificial Intelligence
Autoři:
Šudoma, Petr ; Jirků, Petr (vedoucí práce) ; Peliš, Michal (oponent) Typ dokumentu: Bakalářské práce
Rok:
2013
Jazyk:
cze
Abstrakt: [cze][eng] Práce studuje deskripční logiky jako metodu reprezentace znalostí umělé inteligence, popisuje historický vývoj reprezentace znalostí vedoucí k vzniku deskripčních logik a srovnává jejich výhody a nevýhody se systémy rámců, z kterých deskripční logiky vznikly. Práce představuje formální syntaxi a sémantiku, zavádí pojmovou systematiku deskripčních logik a popisuje algoritmy pro nejčastěji používané odvozovací úlohy na deskripčních logikách, pro subsumpci a konzistenci. Práce se zabývá i problematikou výpočtové složitosti těchto algoritmů v závislosti na konkrétní použité deskripční logice. Práce ukazuje výhody i další potenciál deskripčních logik. Powered by TCPDF (www.tcpdf.org)The paper studies description logics as a method of field of artificial intelligence, describes history of knowledge representation as series of events leading to founding of description logics. Furthermore the paper compares description logics with their predecessor, the frame systems. Syntax, semantics and description logics naming convention is also presented and algorithms solving common knowledge representation tasks with usage of description logics are described. Paper compares computational complexity of subsumption of several description logics. Usefullness and further possibilities of description logic systems are shown. Powered by TCPDF (www.tcpdf.org)
Klíčová slova:
deskripční logiky; inference; reprezentace znalostí; subsumpce; umělá inteligence; artificial intelligence; description logics; inference; knowledge representation; subsumption