Reprezentace znalostí pro expertní systémy
| but.committee | prof. Ing. Milan Žalman, CSc. (předseda) prof. Ing. František Šolc, CSc. (místopředseda) doc. Ing. Václav Jirsík, CSc. (člen) Ing. Stanislav Klusáček, Ph.D. (člen) Ing. Tomáš Macho, Ph.D. (člen) Ing. Petr Honzík, Ph.D. (člen) | cs |
| but.defence | Student prezentoval výsledky práce. Student zodpověděl otázky oponenta. Student obhájil bakalářskou práci s výhradami. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Elektrotechnika, elektronika, komunikační a řídicí technika | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Polách, Petr | cs |
| dc.contributor.author | Lekeš, Pavel | cs |
| dc.contributor.referee | Sáblík, Václav | cs |
| dc.date.accessioned | 2019-04-03T22:52:19Z | |
| dc.date.available | 2019-04-03T22:52:19Z | |
| dc.date.created | 2008 | cs |
| dc.description.abstract | Tato práce se zabývá možností použití predikátové logiky pro dedukci v systémech umělé inteligence. Výhody logiky prvního řádu jsou zejména v její relativně jednoduché algoritmizaci, kdy lze rozhodnout o platnosti či splnitelnosti věty zapsané pomocí predikátové logiky pouze pomocí formálních pravidel, tedy bez jakékoliv vazby na skutečné denotáty jednotlivých proměnných. V Expertních systémech se predikátová logika využívá k odvození pravdivých formulí ze zadaných axiomů, přičemž se do odvozování zahrnou i nově odvozené pravdivé formule. Jedná se o proces vyhledávání implicitních znalostí z explicitně zadaných axiomů. | cs |
| dc.description.abstract | The objective of this work is to analyze using of the first order logic for reasoning in knowledge based systems. Merit of the predicate logic is its relative simplicity in matter of algorithm development, where it is possible to decide about validity of a sentence written in first order logic language, by using formal rules without any connection to real meanings of logical variables. In Expert systems, the first order logic is used to derivate new formulas from given axioms, where previously derived formulas are included to the axioms as well. Its process of derivation of implicit believes from explicitly given facts. | en |
| dc.description.mark | D | cs |
| dc.identifier.citation | LEKEŠ, P. Reprezentace znalostí pro expertní systémy [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2008. | cs |
| dc.identifier.other | 13744 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/2515 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Expertní systémy | cs |
| dc.subject | umělá inteligence | cs |
| dc.subject | zpracování znalostí | cs |
| dc.subject | predikátová logika | cs |
| dc.subject | logika prvního řádu | cs |
| dc.subject | Expert systems | en |
| dc.subject | Artificial intelligence | en |
| dc.subject | knowledge representation | en |
| dc.subject | predicate logic | en |
| dc.subject | first order logic | en |
| dc.title | Reprezentace znalostí pro expertní systémy | cs |
| dc.title.alternative | Knowledge representation for expert systems | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2008-06-18 | cs |
| dcterms.modified | 2008-06-22-11:45:02 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta elektrotechniky a komunikačních technologií | cs |
| sync.item.dbid | 13744 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2021.11.12 17:57:31 | en |
| sync.item.modts | 2021.11.12 17:34:35 | en |
| thesis.discipline | Automatizační a měřicí technika | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. Ústav automatizace a měřicí techniky | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |