Významné směry v umělé inteligenci
Important Themas in Artificial Intelligence
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/56362Identifikátory
SIS: 139529
Kolekce
- Kvalifikační práce [23715]
Autor
Vedoucí práce
Konzultant práce
Verner, Jonathan
Oponent práce
Peliš, Michal
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
18. 9. 2013
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Čeština
Známka
Dobře
Klíčová slova (česky)
umělá inteligence, reprezentace znalostí, inference, deskripční logiky, subsumpceKlíčová slova (anglicky)
artificial intelligence, knowledge representation, inference, description logics, subsumptionPrá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)