Významné směry v umělé inteligenci
Important Themas in Artificial Intelligence
bachelor thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/56362Identifiers
Study Information System: 139529
Collections
- Kvalifikační práce [23727]
Author
Advisor
Consultant
Verner, Jonathan
Referee
Peliš, Michal
Faculty / Institute
Faculty of Arts
Discipline
Logic
Department
Department of Logic
Date of defense
18. 9. 2013
Publisher
Univerzita Karlova, Filozofická fakultaLanguage
Czech
Grade
Good
Keywords (Czech)
umělá inteligence, reprezentace znalostí, inference, deskripční logiky, subsumpceKeywords (English)
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)