Použ ití konžolové č á sti áplikáčé XRéásonér
|
|
- Radim Doležal
- před 8 lety
- Počet zobrazení:
Transkript
1 Použ ití konžolové č á sti áplikáčé XRéásonér Marek Vajgl Katedra informatiky a počítačů Přírodovědecká fakulta Ostravská univerzita v Ostravě Obsah Úvodní popis... 1 Instalace aplikace... 2 Základní nabídka programu... 3 Vkládání formulí... 3 Demonstrace chování systému... 4 Základní práce se znalostní bází... 4 Porovnání chování formálních systémů DL a DL1 v systému XReasoner... 6 Nemonotónní přístup v systému XReasoner... 8 Odebrání aplikace... 9 Úvodní popis Dalším vytvořeným projektem je jednoduchý projekt konzolové aplikace nad základním nastavením znalostní báze. Uživatel po spuštění příslušeného souboru do konzole zadává příkazy k vykonání. Tato aplikace umožňuje například rychlé otestování chování systému deskripční logiky pro uživatele seznamující se danou problematikou. Konzolová aplikace umožňuje také porovnání chování standardního systému deskripční logiky DL v porovnání se systémem DL1 nad stejnými daty.
2 Obr. 0-1: Konzolová aplikace pro testování chování znalostní báze Aplikace také umožňuje uložení a načtení znalostní báze z binárního souboru, dotazování na splnitelnost formulí, získání instancí daného konceptu a další. Instalace aplikace Před instalací aplikace si pročtěte licenční podmínky, za kterých je aplikace dodávána. Instalací aplikace (rozbalením ZIP souboru) souhlasíte s licenčními podmínkami, za kterých je aplikaci možnou instalovat, spouštět, používat a odstranit. V souladu s licenčními podmínkami autor aplikace nenese žádnou odpovědnost za přímé i nepřímé škody související s touto aplikací. Autor však udává, že aplikace vědomě neprovádí žádné zásahy a změny ve spuštěném prostředí, které by překračovaly rozsah použití aplikace a mohli způsobit ztráty integrity, dostupnosti nebo důvěrnosti dat na nainstalovaném počítači. Aplikace je (díky své závislosti na platformě.net) určena a testována pouze nad operačními systémy rodiny MS Windows. Konkrétně byla aplikace otestována nad MS Windows XP SP2/3 a Windows 7. Postup instalace: 1) Pro spuštění vyžaduje nainstalovaný.net Framework verze 3.5. Tento bývá standardní součastí současných operačních systémů Windows, nicméně v případě potřeby jej lze zdarma stáhnout z webu firmy Microsoft ( Zpětná kompatibilita vyšších verzí.net Frameworku (4.0, 4.5) s aplikací nebyla testována. Po instalaci.net Frameworku je doporučeno restartovat počítač. 2) Stažený ZIP soubor rozbalit do libovolného umístění s právem zápisu.
3 Základní nabídka programu Po spuštění programu souborem XReasonerClient.exe se aplikace dotáže na použitý odvozovací mechanismus: 1) První variantou je odvozování podle standardního formalismu deskripční logiky 2) Druhou variantou je odvozování podle upravené sémantiky deskripční logiky DL1 Po této volbě aplikace nabízí základní obrazovku s variantami: Kód příkazu Význam příkazu 1 Přidání nové definice novou definici lze vložit ve formátu uvedeném dále. Zadáním skupiny definic lze vytvořit/změnit existující znalostí bázi 11 Přidání nemonotónního pravidla 2 Kontrola důsledků/konzistence znalostní báze 3 Zjištění instancí zadaného konceptu 4 Výpis definic s případnou možností odebrání definice 44 Výpis definic nemonotónních pravidel s případnou možností odebrání definice 5 Výpis stromu subsumpce jednotlivých konceptů 8 Uložení znalostní báze do souboru 9 Načtení znalostní báze ze souboru 0 Vymazání znalostní báze 99 Ukončení programu Vkládání formulí Program při zadávání definic vyžaduje zadávání formulí v konkrétně stanovené syntax. Pro tuto syntax je utvořena referenční implementace (tj. programátor si může vytvořit syntax vlastní vytvořením požadovaného analyzátoru), která reprezentuje speciální symboly formalismu deskripční logiky (jako například znak pro disjunkci, konjunkci, kvantifikaci a další) pomocí klíčových slov, a ve výsledku lze tedy zapisovat formule deskripční logiky pomocí standardních znaků.
4 Symbol DL Klíčové slovo Operátor and Operátor or Operátor sub Operátor def Operátor neg Kvantifikátor all Kvantifikátor ex Koncept _T_ Koncept _F_ Oddělovač role a konceptu ( R.C). Oddělovač termů u role (R(a, b)), Závorky priority formulí () Závorky připojených termů [] Tab. 0-1: Syntaxe referenční implementace DLLanguage Formuli Mother Person haschild.person lze tedy zapsat Mother def (Person and ex haschild.person). Klíčová slova musí být od ostatních symbolů oddělena mezerou. Demonstrace chování systému Základní práce se znalostní bází Následující příklad ukazuje tvorby jednoduché znalostní báze s koncepty a instancemi rodiny. Znalostní báze byla vytvořena pomocí formulí uvedených v příloze A a je uložena v souboru family.kb, odkud může být do konzolové aplikace načtena. Základním dotazem může být získání všech individuí konceptu Person. Aplikace po zadání volby 4 a vstupu Person vrací výsledek: ***** XReasoner console ***** Choose: 1... enter new definition 2... check for consequent/consistency 3... get instances of print / remove definition 5... print subsumption tree 8... save knowledge base to file 9... load knowledge base from file 0... clear knowledge base (or close window) to exit
5 ? 3? Person Instances of Person: Marek; Miroslav; Petr; Lukáš; Stanislav; Alice; Eva; Bozena; Petra; EvaK; Při zadávání lze pokládat i dotazy nejen na koncepty, ale na instance splňující obecné formule. Zde je třeba ale dotaz položit ve formátu sémantiky jazyka vytvořeného v knihovně DLLanguage. ***** XReasoner console ***** Choose: 1... enter new definition 2... check for consequent/consistency 3... get instances of print / remove definition 5... print subsumption tree 8... save knowledge base to file 9... load knowledge base from file 0... clear knowledge base (or close window) to exit? 3? ex haschild.man Instances of ex haschild.man: Eva; Miroslav; Petr; Alice; Obdobně lze získat výpis aktuální subsumpce konceptů podle terminologického boxu: ***** XReasoner console ***** Choose: 1... enter new definition 2... check for consequent/consistency 3... get instances of print / remove definition 5... print subsumption tree 8... save knowledge base to file 9... load knowledge base from file 0... clear knowledge base (or close window) to exit? 5 Subsumption tree in form gen : spec $_T_$ = Person; Animal; Parent; UnhappyFather; GrandParent; Person = Man; Woman; Man = Woman = Animal = Parent =
6 UnhappyFather = GrandParent = Porovnání chování formálních systémů DL a DL1 v systému XReasoner Při porovnání se bude vycházet opět ze znalostní báze představené výše. Pro testování je ve znalostní bázi vytvořen koncept využívající existenční kvantifikace role Parent, definující rodiče jako instanci, pro kterou existuje instance role haschild s jinou instancí osoby Person: Parent haschild.person Pro univerzální kvantifikaci byl pak vytvořen koncept UnhappyParent zahrnující takové instance, jejichž všechny děti jsou dcerami. UnhappyParent haschild.woman Ještě před odvozováním nad instancemi však lze ověřit chování subsumpce R.C R.C nad oběma variantami systému. V systému konzole to lze povést pomocí volby check for consequent/consistency a zadáním požadované formule. Při zadání do systému DL vrátí systém odpověď, že subsumpce neplatí: Enter formula definition to check? all haschild.parent sub ex haschild.parent Press 1 to check consistency, press 2 to check consequent from knowledge base:? 2 Formula is not consequent of knowledge base. U systému DL1 je však na stejný dotaz výstup opačný v tomto případě tedy subsumpce jednotlivých konceptů platí u univerzálně kvantifikovaných formulí se tedy odvozovací mechanismus systému XReasoner chová dle definic sémantiky systémů DL, respektive DL1. Enter formula definition to check? all haschild.parent sub ex haschild.parent Press 1 to check consistency, press 2 to check consequent from knowledge base? 2 Formula is consequent of knowledge base. Další dotazy lze provést na instance jednotlivých koncept. Jelikož chování existenčně kvantifikované role se u logik DL a DL1 neliší, výsledky si v obou případech odpovídají, jak ukazuje následující výpis.? Parent Instances of Parent: EvaK; Eva; Miroslav; Bozena; Stanislav; Petr; Alice;
7 U univerzálně kvantifikované role se však sémantická definice u obou formálních systémů liší. Pro logiku DL získáme výpis:? UnhappyParent Instances of UnhappyParent: Marek; Stanislav; Lukáš; Bozena; Petra; EvaK; Po změně odvozovacího mechanismu na mechanismus DL1 (nejdříve je třeba v konzolové aplikaci smazat znalostní bázi a při zadávání zvolit systém DL1 a poté opět nahrát znalostní bázi ze souboru), dostaneme na stejný dotaz výsledek:? UnhappyParent Instances of UnhappyParent: EvaK; Bozena; Stanislav; V prvním případě jsou mezi nešťastné rodiče zařazeni i ty instance (=lidé), kteří žádné děti nemají, tedy Marek, Lukáš a Petra. V druhém případě se restrikce provádí pouze nad těmi instancemi, které alespoň jedno dítě mají. Odlišnost lze také demonstrovat na znalostní bázi vytvořené podle ontologie diagramů aktivit získané analýzou RDF souboru. Ontologie zachycuje vztahy aktivit cílem dotazu bude získat takové workflow, které mají (pouze) kořenové aktivity typu jiné aktivity. Výpis systému DL:? all rootactivity.workflow Instances of all rootactivity.workflow: ; ; ; ; ;... (cca 80 záznamů) Do výstupu se zahrnují i takové aktivity, které nemají žádnou kořenovou aktivitu, což však nebylo cílem dotazu. Uživatel, který toto chování neočekává, tak bude zmaten. Po položení stejného dotazu nad sémantikou DL1:? all rootactivity.workflow Instances of all rootactivity.workflow: ; ;
8 0004; Tento výpis vrací pouze takové individua, které mají nějakou kořenovou aktivitu a všechny aktivity jsou opět typu aktivity. Opět se jedná o prokázání chování systému XReasoner (a implementace sémantického tabla) pro systém DL1 korektně dle představeného řešení. Nemonotónní přístup v systému XReasoner Implementované řešení poskytuje také základní nemonotónní přístupy k reprezentaci znalostí. Znalostní báze umožňuje definovat nová pravidla na základě Reiterovy default logiky ve tvaru. Všechny tři části při zadávání pravidla jsou formule. Znalostní báze umožňuje definici, výpis a odebrání pravidla ze znalostní báze. Následující ukázka bude opět vycházet ze znalostní báze rodiny použité v předchozích příkladech. Bude demonstrováno pravidlo říkající, že běžní muži jsou vysocí, tedy Muž : Tall Tall. Do znalostní báze lze zavést nový atom Tall Person a následně přidat nemonotónní pravidlo. Aplikace si vyžádá zadání po jednotlivých blocích, jak ukazuje následující výpis: Enter prerequisity formula (or empty to abort):? Man Enter justification formula (or empty to abort):? Tall Enter conclusion formula (atom) (or empty to abort):? Tall Formula added to kb. Při dotazu na všechny dlouhé muže se vrátí všechna taková individua, o nichž nelze ze znalostní báze prokázat, že nejsou vysocí:? Tall Instances of Tall: Marek; Miroslav; Petr; Stanislav; Lukáš; Pro ověření lze do znalostní báze vložit tvrzení, že Petr není vysoký Tall(Petr). Enter new formula definition? not Tall[Petr] Formula added to kb. Opakovaným výpisem lze zjistit, že Petr již není vrácen jako instance konceptu Tall, protože je o něm ve znalostní bázi známo, že není vysoký.
9 ? Tall Instances of Tall: Marek; Miroslav; Stanislav; Lukáš; Odebrání aplikace Aplikaci lze odinstalovat pouhým smazáním z umístění, na které byla nainstalována. V rámci odstranění lze odebrat také nainstalovaný MS.NET Framework 3.5, pozor však, že tento framework mohou používat také jiné aplikace nainstalované na počítači a jeho odstraněním tyto aplikace přestanou fungovat!
10 Příloha A seznam formulí znalostní báze rodiny family.kb
Deskripční logika. Petr Křemen FEL ČVUT. Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157
Deskripční logika Petr Křemen FEL ČVUT Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157 Co nás čeká 1 Základy deskripční logiky 2 Jazyk ALC Syntax a sémantika 3 Cyklické a acyklické TBOXy Petr Křemen
VíceLogika pro sémantický web
ZVYŠOVÁNÍ ODBORNÝCH KOMPETENCÍ AKADEMICKÝCH PRACOVNÍKŮ OSTRAVSKÉ UNIVERZITY V OSTRAVĚ A SLEZSKÉ UNIVERZITY V OPAVĚ Logika pro sémantický web Martin Žáček PROČ BALÍČEK? 1. balíček Formální logické systémy
VíceLogika a logické programování
Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho
VíceOntologie. Otakar Trunda
Ontologie Otakar Trunda Definice Mnoho různých definic: Formální specifikace sdílené konceptualizace Hierarchicky strukturovaná množina termínů popisujících určitou věcnou oblast Strukturovaná slovní zásoba
VíceNápověda k aplikaci EA Script Engine
Nápověda k aplikaci EA Script Engine Object Consulting s.r.o. 2006 Obsah Nápověda k aplikaci EA Script Engine...1 1. Co je EA Script Engine...2 2. Důležité upozornění pro uživatele aplikace EA Script Engine...3
VíceMetody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka
Metody tvorby ontologií a sémantický web Martin Malčík, Rostislav Miarka Obsah Reprezentace znalostí Ontologie a sémantický web Tvorba ontologií Hierarchie znalostí (D.R.Tobin) Data jakékoliv znakové řetězce
VíceProlog PROgramming in LOGic část predikátové logiky prvního řádu rozvoj začíná po roce 1970 Robert Kowalski teoretické základy Alain Colmerauer, David
Úvod do Prologu Prolog PROgramming in LOGic část predikátové logiky prvního řádu rozvoj začíná po roce 1970 Robert Kowalski teoretické základy Alain Colmerauer, David Warren (Warren Abstract Machine) implementace
VíceMiddleware eop. Instalační příručka pro práci s eop v prostředí MS Windows
Middleware eop Instalační příručka pro práci s eop v prostředí MS Windows 1 Obsah: 1 Co byste měli vědět před zahájením instalace... 3 2 Karta eop na MS Windows XP/Vista/7... 4 2.1 Instalace software...
VíceAplikace s odvozováním nad ontologiemi
Aplikace s odvozováním nad ontologiemi Doc. Ing. Vojtěch Svátek, Dr. Zimní semestr 2012 http://nb.vse.cz/~svatek/rzzw.html Přehled Odvozování v medicíně Odvozování ve stavebnictví Odvozování v Linked Data
VíceDatabázové systémy. - SQL * definice dat * aktualizace * pohledy. Tomáš Skopal
Databázové systémy - SQL * definice dat * aktualizace * pohledy Tomáš Skopal Osnova přednášky definice dat definice (schémat) tabulek a integritních omezení CREATE TABLE změna definice schématu ALTER TABLE
VíceObsah. 1. Co byste měli vědět před spuštěním instalace Spuštění instalace Průběh instalace Odinstalování, změna instalace...
Middleware eop pro MS Windows Instalační PŘÍRUČKA Obsah 1. Co byste měli vědět před spuštěním instalace... 3 2. Spuštění instalace... 3 3. Průběh instalace... 4 4. Odinstalování, změna instalace... 8 1.
VíceÚvod do databázových systémů
Vysoká škola báňská Technická univerzita Ostrava Fakulta elektrotechniky a informatiky Úvod do databázových systémů Cvičení 3 Ing. Petr Lukáš petr.lukas@vsb.cz Ostrava, 2014 Opakování 4 fáze vytváření
VíceKomprese a dotazování nad XML dokumenty
Komprese a dotazování nad XML dokumenty Prezentace diplomové práce Lukáš Skřivánek České vysoké učení technické v Praze Fakulta elektrotechnická Katedra počítačů květen 2007 Vedoucí práce: Ing. Miroslav
VíceAutoCAD Civil 3D 2017
Autodesk AutoCAD Civil 3D 2017 - instalační příručka ADEON CZ s. r. o. Brno Ostrava Pardubice Zlín Tyršova 44 612 00 Brno Havlíčkovo nábř. 38 702 00 Ostrava Bělehradská 582 530 09 Pardubice Klabalská I
VíceSemestrální práce 2 znakový strom
Semestrální práce 2 znakový strom Ondřej Petržilka Datový model BlockFileRecord Bázová abstraktní třída pro záznam ukládaný do blokového souboru RhymeRecord Konkrétní třída záznamu ukládaného do blokového
Více4. blok část A Logické operátory
4. blok část A Logické operátory Studijní cíl Tento blok je věnován představení logických operátorů AND, OR, NOT v jazyce SQL a práce s nimi. Doba nutná k nastudování 1-2 hodiny Průvodce studiem Při studiu
VíceKonfigurace pracovní stanice pro ISOP-Centrum verze 1.21.32
Informační systém ISOP 7-13 Vypracováno pro CzechInvest Konfigurace pracovní stanice pro ISOP-Centrum verze 1.21.32 vypracovala společnost ASD Software, s.r.o. Dokument ze dne 20.2.2015, verze 1.00 Konfigurace
VíceVýroková a predikátová logika - X
Výroková a predikátová logika - X Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - X ZS 2018/2019 1 / 16 Rozšiřování teorií Extenze o definice Rozšiřování
VíceVýroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2013/2014 1 / 21 Sémantika PL Teorie Vlastnosti teorií Teorie
VíceMiddleware eop. Instalační příručka pro práci s eop v prostředí MS Windows
Middleware eop Instalační příručka pro práci s eop v prostředí MS Windows 1 Obsah: 1. Co byste měli vědět před zahájením instalace... 3 2. Instalace software... 4 Průběh instalace... 4 3. Odinstalování,
VíceKIV/ZIS cvičení 5. Tomáš Potužák
KIV/ZIS cvičení 5 Tomáš Potužák Úvod do SQL (1) SQL (Structured Query Language) je standardizovaný strukturovaný dotazovací jazyk pro práci s databází Veškeré operace v databázi se dají provádět pomocí
VíceInstalace MS SQL Serveru 2012
Instalace MS SQL Serveru 2012 v bezplatné verzi Express Upozornění: následující text nelze chápat jako kompletní instalační instrukce produktu MS SQL - jedná se pouze stručný návod, který z principu nemůže
VíceSemestrální projekt do předmětu SPS
Semestrální projekt do předmětu SPS Název projektu: Instalace a provoz protokolu IPv6 v nových verzích MS Windows (XP). Ověření proti routerům Cisco a Linux. Cíl projektu: Autoři: Cílem tohoto projektu
VícePříručka pro klientský certifikát
Příručka pro klientský certifikát OBSAH 1) Instalace programového vybavení do systému Microsoft Windows 2 1. krok - Průvodce instalací 4 2. krok - Dokončení instalace 5 3. krok - Instalace na PC, který
VíceNávod k instalaci S O L U T I O N S
Návod k instalaci SOLUTIONS Návod k instalaci Hasičská 53 700 30 Ostrava-Hrabůvka www.techis.eu www.elvac.eu +420 597 407 507 Obchod: +420 597 407 511 obchod@techis.eu Podpora: +420 597 407 507 support@techis.eu
VíceSKYLA Pro II. Popis instalace programu
SKYLA Pro II Popis instalace programu Rev. 30.07.2014 O manuálu Dokument popisuje celý proces instalace programu Skyla Pro II, který se v některých ohledech liší od instalace předchozích verzí a upozorňuje
VíceÚvod do databázových systémů
Vysoká škola báňská Technická univerzita Ostrava Fakulta elektrotechniky a informatiky Katedra informatiky Database Research Group Úvod do databázových systémů Cvičení 3 Ing. Petr Lukáš petr.lukas@vsb.cz
VícePostupy práce se šablonami IS MPP
Postupy práce se šablonami IS MPP Modul plánování a přezkoumávání, verze 1.20 vypracovala společnost ASD Software, s.r.o. dokument ze dne 27. 3. 2013, verze 1.01 Postupy práce se šablonami IS MPP Modul
VíceÚvod do programovacích jazyků (Java)
Úvod do programovacích jazyků (Java) Michal Krátký Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programovacích jazyků (Java), 2007/2008 c 2006 2008 Michal Krátký Úvod do programovacích
Více2. blok část B Základní syntaxe příkazů SELECT, INSERT, UPDATE, DELETE
2. blok část B Základní syntaxe příkazů SELECT, INSERT, UPDATE, DELETE Studijní cíl Tento blok je věnován základní syntaxi příkazu SELECT, pojmům projekce a restrikce. Stručně zde budou představeny příkazy
VíceCUZAK. Instalační příručka. Verze 2.0 2015
CUZAK Instalační příručka Verze 2.0 2015 Copyright 2015 Altair CUZAK s.r.o. Všechna práva vyhrazena. Všechna práva vyhrazena. Všechna informace, jež jsou publikována na v tomto dokumentu, jsou chráněna
VíceVýroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2014/2015 1 / 21 Výroková logika Horn-SAT Horn-SAT Jednotková
VíceREPREZENTACE ZNALOSTÍ
REPREZENTACE ZNALOSTÍ URČENO PRO VZDĚLÁVÁNÍ V AKREDITOVANÝCH STUDIJNÍCH PROGRAMECH MARTIN ŽÁČEK ČÍSLO OPERAČNÍHO PROGRAMU: CZ.1.07 NÁZEV OPERAČNÍHO PROGRAMU: VZDĚLÁVÁNÍ PRO KONKURENCESCHOPNOST OPATŘENÍ:
VíceInformační systémy 2008/2009. Radim Farana. Obsah. Dotazy přes více tabulek
5 Vysoká škola báňská Technická univerzita Ostrava Fakulta strojní, Katedra automatizační techniky a řízení 2008/2009 Radim Farana 1 Obsah Jazyk SQL, Spojení tabulek, agregační dotazy, jednoduché a složené
VíceZákladní informace pro zprovoznění Aktovky Dozory IS MPP
Základní informace pro zprovoznění Aktovky Dozory IS MPP Modul plánování a přezkoumávání, verze 1.20 vypracovala společnost ASD Software, s.r.o. dokument ze dne 15. 6. 2015, verze 1.00 Základní informace
VíceVýroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2017/2018 1 / 16 2-SAT 2-SAT Výrok je v k-cnf, je-li v CNF a
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2013/2014 1 / 20 Základní syntax Jazyk Výroková logika je logikou
VíceSQL - trigger, Databázové modelování
6. přednáška z předmětu Datové struktury a databáze (DSD) Ústav nových technologií a aplikované informatiky Fakulta mechatroniky, informatiky a mezioborových studií Technická univerzita v Liberci jan.lisal@tul.cz
VíceSémantika výrokové logiky. Alena Gollová Výroková logika 1/23
Výroková logika Alena Gollová Výroková logika 1/23 Obsah 1 Formule výrokové logiky 2 Alena Gollová Výroková logika 2/23 Formule výrokové logiky Výrok je oznamovací věta, o jejíž pravdivosti lze rozhodnout.
VíceUNIVERZITA PARDUBICE Fakulta elektrotechniky a informatiky Katedra softwarových technologií
UNIVERZITA PARDUBICE Fakulta elektrotechniky a informatiky Katedra softwarových technologií Softwarový nástroj pro tvorbu a správu genealogických dat Manuál pro uživatele Bc. František Hlaváček Součást
VícePetr Křemen. Katedra kybernetiky, FEL ČVUT. Petr Křemen (Katedra kybernetiky, FEL ČVUT) Sémantické sítě a rámce 1 / 112
Sémantické sítě a rámce Petr Křemen Katedra kybernetiky, FEL ČVUT Petr Křemen (Katedra kybernetiky, FEL ČVUT) Sémantické sítě a rámce 1 / 112 Co nás čeká 1 Úvod do reprezentace znalostí 2 Sémantické sítě
VíceObsah přednášky. programovacího jazyka. Motivace. Princip denotační sémantiky Sémantické funkce Výrazy Příkazy Vstup a výstup Kontinuace Program
Denotační sémantika programovacího jazyka doc. Dr. Ing. Miroslav Beneš katedra informatiky, A-1007 59 732 4213 Obsah přednášky Princip denotační sémantiky Sémantické funkce Výrazy Příkazy Vstup a výstup
VíceLogické programy Deklarativní interpretace
Logické programy Deklarativní interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 7 1 Algebry. (Interpretace termů) Algebra J pro jazyk termů L obsahuje Neprázdnou
VíceFides Software Storage Administrator
Trade FIDES, a.s. Fides Software Storage Administrator 1.0.2.0 (aktualizace - 7/2014) Popis programu Manuál správce systému 2 Fides Software Storage Administrator manuál správce Obsah 1 Úvod... 3 1.1 Popis
Více1. POSTUP INSTALACE A KONTROLA NASTAVENÍ MICROSOFT SQL SERVERU 2005 EXPRESS:
1. POSTUP INSTALACE A KONTROLA NASTAVENÍ MICROSOFT SQL SERVERU 2005 EXPRESS: Ověřte prosím následující nastavení (tento postup se může nepatrně lišit podle operačního systému Vašeho pc). Pro lepší viditelnost
VíceUmělá inteligence I. Roman Barták, KTIML.
Umělá inteligence I Roman Barták, KTIML roman.bartak@mff.cuni.cz http://ktiml.mff.cuni.cz/~bartak Už umíme používat výrokovou logiku pro reprezentaci znalostí a odvozování důsledků. Dnes Dnes zopakujeme
VíceOntologie, OWL a deskripční logika
Ontologie, OWL a deskripční logika Doc. Ing. Vojtěch Svátek, Dr. Zimní semestr 2016 http://nb.vse.cz/~svatek/rzzw.html Témata Ontologie v informatice Jazyk OWL Deskripční logika Pojem ontologie Ve filosofii:
VíceManuál k programu IDP 1.0
Příloha B Manuál k programu IDP 1.0 Toto je manuál k programu IDP - Interakční diagram průřezu 1.0, který byl vytvořen v rámci této diplomové práce za podpory grantu Studentské grantové soutěže ČVUT v
VíceInternet. dobrý sluha, zlý pán
Internet dobrý sluha, zlý pán 13. Picasa Picasa je celosvětově nejrozšířenější galerií obrázků, kterou provozuje firma Google. Její použití je zdarma včetně využití poměrně velikého diskového prostoru
VíceFORTANNS. havlicekv@fzp.czu.cz 22. února 2010
FORTANNS manuál Vojtěch Havlíček havlicekv@fzp.czu.cz 22. února 2010 1 Úvod Program FORTANNS je software určený k modelování časových řad. Kód programu má 1800 řádek a je napsán v programovacím jazyku
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2015/2016 1 / 18 Základní syntax Jazyk Výroková logika je logikou
VíceInference v deskripčních logikách
Inference v deskripčních logikách Petr Křemen FEL ČVUT Petr Křemen (FEL ČVUT) Inference v deskripčních logikách 53 / 157 Co nás čeká 1 Základy deskripční logiky 2 Jazyk ALC Syntax a sémantika 3 Cyklické
VíceJako skript se nabízí BAT soubory, VBScript či PowerShell. Zpracovány jsou druhé dva.
O plánované spuštění Excelu a sešitu se postará Plánovač úloh ve Windows, případně skript navázaný na událost. Pro spouštění maker můžeme jít dvojí cestou: 1) přímým voláním ze skriptu s pomocí známé metody
VícePokyny pro instalaci programu E-Config verze 3.0 na počítačích s Windows 7 / 8 / 10
Pokyny pro instalaci programu E-Config verze 3.0 na počítačích s Windows 7 / 8 / 0 Při instalaci programu E-Config na Windows 7, nebo Windows 8, nebo Windows 0 je nutno postupovat obezřetně s ohledem na
VíceLinux-příkazový řádek
Linux-příkazový řádek Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Ing. Libor Otáhalík. Dostupné z Metodického portálu www.rvp.cz, ISSN: 1802-4785. Provozuje Národní ústav pro vzdělávání,
VíceProgramování v Pythonu
ƒeské vysoké u ení technické v Praze FIT Programování v Pythonu Ji í Znamená ek P íprava studijního programu Informatika je podporována projektem nancovaným z Evropského sociálního fondu a rozpo tu hlavního
Více1 Webový server, instalace PHP a MySQL 13
Úvod 11 1 Webový server, instalace PHP a MySQL 13 Princip funkce webové aplikace 13 PHP 14 Principy tvorby a správy webového serveru a vývojářského počítače 14 Co je nezbytné k instalaci místního vývojářského
VíceCUZAK. Instalační příručka. Verze 2.0 2014
CUZAK Instalační příručka Verze 2.0 2014 Copyright 2014 Altair Software s.r.o. Všechna práva vyhrazena. Všechna práva vyhrazena. Všechna informace, jež jsou publikována na v tomto dokumentu, jsou chráněna
VíceNemocnice. Prvotní analýza a plán projektu
Nemocnice Projekt do předmětu AIS Prvotní analýza a plán projektu Lukáš Pohl, xpohll00, xkosti03 Jan Novák, xnovak79 2009/2010 1 Neformální specifikace FN potřebuje informační systém, který bude obsahovat
VíceTableaux metody. Jiří Vyskočil 2011
Tableaux metody Jiří Vyskočil 2011 Tableau [tabló] metoda Tableau metoda je další oblíbená metoda užívaná pro automatické dokazování vět v predikátové logice, ale i v dalších (modálních, temporálních,
VíceSémantika predikátové logiky
Sémantika predikátové logiky pro analýzu sémantiky potřebujeme nejprve specifikaci jazyka (doména, konstanty, funkční a predikátové symboly) příklad: formální jazyk s jediným binárním predikátovým symbolem
VíceINSTALACE DATABÁZE ORACLE A SYSTÉMU ABRA NA OS WINDOWS
INSTALACE DATABÁZE ORACLE A SYSTÉMU ABRA NA OS WINDOWS 1. 2. 3. 4. 5. 6. 7. 8. 9. Instalace Oracle verze 11.02. 64 bit... 2 Instalace Listeneru... 8 Vytvoření instance databáze... 10 Úprava konfigurace
VícePříručka pro klientský certifikát
MPV 1/04/2019/170 Příručka pro klientský certifikát Obsah 1) Instalace programového vybavení do systému Microsoft Windows 2 1. krok Průvodce instalací 3 2. krok Dokončení instalace 4 3. krok Instalace
VíceAlgoritmizace prostorových úloh
INOVACE BAKALÁŘSKÝCH A MAGISTERSKÝCH STUDIJNÍCH OBORŮ NA HORNICKO-GEOLOGICKÉ FAKULTĚ VYSOKÉ ŠKOLY BÁŇSKÉ - TECHNICKÉ UNIVERZITY OSTRAVA Algoritmizace prostorových úloh Datové struktury Daniela Szturcová
VíceCS OTE. Dokumentace pro externí uživatele
CS OTE OTE Launcher Manager 1/13 Obsah Použité zkratky... 2 1 Úvod... 3 2 Nastavení systému uživatele... 3 2.1 Konfigurace stanice... 3 2.2 Distribuce aplikace OTE Launcher Manager... 3 2.3 Download aplikace
VícePOSTUP PRO VYTVOŘENÍ STRUKTUR PRO UKLÁDÁNÍ RDF DAT V ORACLE
POSTUP PRO VYTVOŘENÍ STRUKTUR PRO UKLÁDÁNÍ RDF DAT V ORACLE Upozornění: Pro práci s RDF Oracle daty je třeba mít nainstalován Oracle Spatial Resource Description Framework (RDF). 1. Vytvoření tabulkového
VíceAutoCAD definice bloku
Kreslení 2D technické dokumentace AutoCAD definice bloku Ing. Richard Strnka, 2012 1. Definice bloku Výklad: Blok je v podstatě definice bloku, která zahrnuje název bloku, geometrii bloku, umístění základního
VíceRekurentní rovnice, strukturální indukce
Rekurentní rovnice, strukturální indukce Jiří Velebil: A7B01MCS 26. září 2011: 1/20 Příklad (Parketáž triminy z minulé přednášky) P(n) = počet parket k vyparketování místnosti rozměru n 1 P(1) = 1. 2 P(n
VíceKerio IMAP Migration Tool
Kerio IMAP Migration Tool 2011 Kerio Technologies s.r.o. Všechna práva vyhrazena. Verze: 7.2 1 Úvod Tato příručka slouží jako průvodce migrací uživatelských účtů a dat z libovolného IMAP serveru do úložiště
VíceOstravská univerzita, Přírodovědecká fakulta, 30. dubna 22, Ostrava,
MODELOVÁNÍ ZNALOSTÍ Zdeňka Telnarová Ostravská univerzita, Přírodovědecká fakulta, 30. dubna 22, Ostrava, Zdenka.Telnarova@osu.cz Abstrakt Příspěvek se věnuje modelování znalostí v konkrétním prostředí
VíceNávod k použití OOCorr (rošíření OpenOffice.org)
MASARYKOVA UNIVERZITA FAKULTA INFORMATIKY Návod k použití OOCorr (rošíření OpenOffice.org) aktuální verze OOCorru: 2.0.0 RC Jaroslav Moravec 207912@mail.muni.cz Brno, 27. 10. 2009 Obsah 1 Úvod...3 2 Instalace...4
VíceVÝUKOVÝ MATERIÁL. Bratislavská 2166, Varnsdorf, IČO: tel Číslo projektu
VÝUKOVÝ MATERIÁL Identifikační údaje školy Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632
VícePOTŘEBA A PRODUKCE ENERGIÍ V ZEMĚDĚLSKÉ VÝROBĚ V ČR V KRIZOVÉ SITUACI. Specializovaná mapa. Návod k používání programu
VÝZKUMNÝ ÚSTAV ZEMĚDĚLSKÉ TECHNIKY, v.v.i. ČESKÁ ZEMĚDĚLSKÁ UNIVERZITA v PRAZE POTŘEBA A PRODUKCE ENERGIÍ V ZEMĚDĚLSKÉ VÝROBĚ V ČR V KRIZOVÉ SITUACI Specializovaná mapa Návod k používání programu Projekt
Více.NET Framework verze 3.5... 4 Program pro připojení ke vzdálené ploše (RDC) verze 7.1... 5
Obsah Přístup k serveru ČMIS Kancelář Online... 2 Úvod... 2 Uživatelé s operačním systémem Windows XP musí nainstalovat:... 2 Uživatelé s operačním systémem Windows Vista musí nainstalovat:... 4.NET Framework
VíceNÁVOD NA INSTALACI APLIKACE ESAM
HARDWARE REQUIREMENTS FOR PC ( LAPTOP AND DESKTOP PC) Pentium 4 nebo vyšší USB 2.0, min. 2 porty vedle sebe Dostupné internetové připojení Operační systém: Windows XP Pro nebo Home se SP3 (Service Pack
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce
VíceBooleovská algebra. Booleovské binární a unární funkce. Základní zákony.
Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz
VíceAlgoritmizace a programování
Algoritmizace a programování Řídicí struktury jazyka Java Struktura programu Příkazy jazyka Blok příkazů Logické příkazy Ternární logický operátor Verze pro akademický rok 2012/2013 1 Struktura programu
VíceInstrukce pro vzdálené připojení do učebny 39d
Instrukce pro vzdálené připojení do učebny 39d Každá skupina má k dispozici jedno sdílené připojení, prostřednictvím kterého se může vzdáleně připojit do učebny 39d a pracovat na svých semestrálních projektech
VíceLogické operace. Datový typ bool. Relační operátory. Logické operátory. IAJCE Přednáška č. 3. může nabýt hodnot: o true o false
Logické operace Datový typ bool může nabýt hodnot: o true o false Relační operátory pravda, 1, nepravda, 0, hodnoty všech primitivních datových typů (int, double ) jsou uspořádané lze je porovnávat binární
Více1. Webový server, instalace PHP a MySQL 13
Úvod 11 1. Webový server, instalace PHP a MySQL 13 Princip funkce webové aplikace 13 PHP 14 Principy tvorby a správy webového serveru a vývojářského počítače 14 Co je nezbytné k instalaci místního vývojářského
VíceUživatelská příručka pro práci s Portálem VZP. Test kompatibility nastavení prohlížeče
Uživatelská příručka pro práci s Portálem VZP Test kompatibility nastavení prohlížeče Obsah 1. Podporované operační systémy a prohlížeče... 3 1.1 Seznam podporovaných operačních systémů... 3 1.2 Seznam
Více[1] ICAReNewZEP v1.2 Uživatelská příručka
[1] ICAReNewZEP v1.2 Uživatelská příručka 06.10.2011 [2] Obsah 1 - ÚVOD... 3 2 - POUŽITÉ ZKRATKY... 3 3 POŽADAVKY... 4 3.1 POŽADAVKY PRO SPRÁVNÝ CHOD APLIKACE... 4 3.2 POŽADAVKY NA OBNOVOVANÝ CERTIFIKÁT...
VíceMy English Vocabulary
My English Vocabulary Program jsem si napsal pro svou potřebu, ale jelikož se domnívám, že by mohl být užitečný i jiným, tak jsem se rozhodl dát jej k dispozici jako freeware. Program slouží k udržování
VíceDIPL 2. Stručný manuál pro vysokoškolské kvalifikační práce.
DIPL 2 Stručný manuál pro vysokoškolské kvalifikační práce. Obsah STUDENTI VYTVOŘENÍ VOLNÉHO TÉMATU VŠKP VÝBĚR TÉMATU VŠKP Z VOLNÝCH TÉMAT KONTROLA ZADÁNÍ TÉMATU FORMÁLNÍ ÚPRAVA VYPLNĚNÍ ÚDAJŮ ELEKTRONICKÉ
VíceKlauzulární logika. úvod. Šárka Vavrečková. 20. října Ústav informatiky Filozoficko-Přírodovědecká fakulta Slezské univerzity, Opava
Klauzulární logika úvod Šárka Vavrečková Ústav informatiky Filozoficko-Přírodovědecká fakulta Slezské univerzity, Opava 20. října 2008 Klauzulární logika Hlavní vlastnosti pracujeme s klauzulemi, které
VíceIMPLEMENTACE OPERAČNÍHO SYSTÉMU LINUX DO VÝUKY INFORMAČNÍCH TECHNOLOGIÍ
Identifikační údaje školy Číslo projektu Název projektu Číslo a název šablony Autor Tematická oblast Číslo a název materiálu Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská
VíceNahrávání image flash do jednotek APT81xx, PPC81xx
AP0048 APLIKAČNÍ POZNÁMKA Nahrávání image flash do jednotek APT81xx, PPC81xx Abstrakt Postup pro stažení a zpětného nahrání obsahu NAND flash disku integrovaného na CPU modulu jednotek APT81xx a PPC81xx
Více[APLIKACE PRO PŘEHRÁVÁNÍ VIDEA - PROJEKT MIAMI - SERVEROVÁ ČÁST]
[APLIKACE PRO PŘEHRÁVÁNÍ VIDEA - PROJEKT MIAMI - SERVEROVÁ ČÁST] [Aktualizace dokumentu: 27.8.2011 3:02:37 Verze dokumentu: 1.0 Obsah Obsah... 2 1. Struktura databáze a souborů... 3 2. Soubor registerdevice.php...
VíceCS OTE. Dokumentace pro externí uživatele
CS OTE OTE Launcher Manager 1/20 Obsah Použité zkratky... 2 1 Úvod... 3 2 Nastavení systému uživatele... 3 2.1 Konfigurace stanice... 3 2.2 Distribuce aplikace OTE Launcher Manager... 3 2.3 Download aplikace
VíceEPLAN Electric P8 2.7 s databázemi na SQL serveru
EPLAN Electric P8 2.7 s databázemi na SQL serveru EPLAN Electric P8 2.7 k dispozici pouze ve verzi 64bit. EPLAN Electric P8 využívá k ukládání některých dat databáze. Artikly, překladový slovník 1 ) a
VíceCS OTE. Dokumentace pro externí uživatele
CS OTE OTE-COM Launcher Manager aplikace vnitrodenního trhu s plynem 1/19 Obsah Použité zkratky... 2 1 Úvod... 3 2 Nastavení systému uživatele... 3 2.1 Konfigurace stanice... 3 2.2 Distribuce aplikace
VícePříprava prostředí pro výuku PHP a MySQL
Příprava prostředí pro výuku PHP a MySQL Pro předmět PGA 2013/2014 Praha a EU Investujeme do vaší budoucnosti Obsah 1 Úvod... 2 2.1 Potřebné soubory... 2 2 Instalace... 2 2.1 Webový server Apache... 2
VíceDIPL 2. Příloha č. 1 ke Směrnici rektora č. 120/08 o vysokoškolských kvalifikačních pracích. Stručný manuál pro vysokoškolské kvalifikační práce.
Příloha č. 1 ke Směrnici rektora č. 120/08 o vysokoškolských kvalifikačních pracích DIPL 2 Stručný manuál pro vysokoškolské kvalifikační práce. Mgr. Martin Svitanek Obsah STUDENTI I. FÁZE ZADÁVÁNÍ VŠKP
VíceInstalace programového vybavení
Instalace programového vybavení English pro Windows Obecné Specifikace P-touch Editor P-touch Quick Editor Printer Driver Umožňuje vytvářet libovolné štítky pomocí různých vzorů, fontů, šablon a klipártů.
VíceInformační systémy ve zdravotnictví. 6. cvičení
Vysoká škola báňská Technická univerzita Ostrava Fakulta elektrotechniky a informatiky Informační systémy ve zdravotnictví 6. cvičení Ing. Petr Lukáš petr.lukas@nativa.cz Ostrava, 2014 Opakování Relace
VíceAPS Control Panel. Ovládací panel systému APS mini Plus pro SW balík APS Administrator. Uživatelská příručka
APS Control Panel Ovládací panel systému APS mini Plus pro SW balík APS Administrator Uživatelská příručka 2004 2015,TECH FASS s.r.o., Věštínská 1611/19, Praha, www.techfass.cz, techfass@techfass.cz (vydáno
Více4.2 Syntaxe predikátové logiky
36 [070507-1501 ] 4.2 Syntaxe predikátové logiky V tomto oddíle zavedeme syntaxi predikátové logiky, tj. uvedeme pravidla, podle nichž se tvoří syntakticky správné formule predikátové logiky. Význam a
VíceNávod pro připojení k síti VŠPJ prostřednictvím VPN Vysoká škola polytechnická Jihlava
Návod pro připojení k síti VŠPJ prostřednictvím VPN Vysoká škola polytechnická Jihlava autor: OIKT 2015 Obsah Návod pro instalaci VPN... 3 Důležité upozornění... 3 Příprava na instalaci - stažení souborů...
Více