Original title:
Významné směry v umělé inteligenci
Translated title:
Important Themas in Artificial Intelligence
Authors:
Šudoma, Petr ; Jirků, Petr (advisor) ; Peliš, Michal (referee) Document type: Bachelor's theses
Year:
2013
Language:
cze Abstract:
[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)
Keywords:
artificial intelligence; description logics; inference; knowledge representation; subsumption; deskripční logiky; inference; reprezentace znalostí; subsumpce; umělá inteligence
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/56362