| dc.contributor.advisor | Jirků, Petr | |
| dc.creator | Šudoma, Petr | |
| dc.date.accessioned | 2021-03-25T20:51:10Z | |
| dc.date.available | 2021-03-25T20:51:10Z | |
| dc.date.issued | 2013 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/56362 | |
| dc.description.abstract | 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) | cs_CZ |
| dc.description.abstract | 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) | en_US |
| dc.language | Čeština | cs_CZ |
| dc.language.iso | cs_CZ | |
| dc.publisher | Univerzita Karlova, Filozofická fakulta | cs_CZ |
| dc.subject | artificial intelligence | en_US |
| dc.subject | knowledge representation | en_US |
| dc.subject | inference | en_US |
| dc.subject | description logics | en_US |
| dc.subject | subsumption | en_US |
| dc.subject | umělá inteligence | cs_CZ |
| dc.subject | reprezentace znalostí | cs_CZ |
| dc.subject | inference | cs_CZ |
| dc.subject | deskripční logiky | cs_CZ |
| dc.subject | subsumpce | cs_CZ |
| dc.title | Významné směry v umělé inteligenci | cs_CZ |
| dc.type | bakalářská práce | cs_CZ |
| dcterms.created | 2013 | |
| dcterms.dateAccepted | 2013-09-18 | |
| dc.description.department | Katedra logiky | cs_CZ |
| dc.description.department | Department of Logic | en_US |
| dc.description.faculty | Filozofická fakulta | cs_CZ |
| dc.description.faculty | Faculty of Arts | en_US |
| dc.identifier.repId | 139529 | |
| dc.title.translated | Important Themas in Artificial Intelligence | en_US |
| dc.contributor.referee | Peliš, Michal | |
| dc.identifier.aleph | 001625618 | |
| thesis.degree.name | Bc. | |
| thesis.degree.level | bakalářské | cs_CZ |
| thesis.degree.discipline | Logic | en_US |
| thesis.degree.discipline | Logika | cs_CZ |
| thesis.degree.program | Logika | cs_CZ |
| thesis.degree.program | Logic | en_US |
| uk.thesis.type | bakalářská práce | cs_CZ |
| uk.taxonomy.organization-cs | Filozofická fakulta::Katedra logiky | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Arts::Department of Logic | en_US |
| uk.faculty-name.cs | Filozofická fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Arts | en_US |
| uk.faculty-abbr.cs | FF | cs_CZ |
| uk.degree-discipline.cs | Logika | cs_CZ |
| uk.degree-discipline.en | Logic | en_US |
| uk.degree-program.cs | Logika | cs_CZ |
| uk.degree-program.en | Logic | en_US |
| thesis.grade.cs | Dobře | cs_CZ |
| thesis.grade.en | Good | en_US |
| uk.abstract.cs | 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) | cs_CZ |
| uk.abstract.en | 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) | en_US |
| uk.file-availability | V | |
| uk.grantor | Univerzita Karlova, Filozofická fakulta, Katedra logiky | cs_CZ |
| thesis.grade.code | 3 | |
| dc.contributor.consultant | Verner, Jonathan | |
| uk.publication-place | Praha | cs_CZ |
| uk.thesis.defenceStatus | O | |
| dc.identifier.lisID | 990016256180106986 | |
