JUI - 11. přednáška Příklad využití Prologu pro tvorbu expertních systémů RNDr. Jiří Dvořák, CSc.

Slides:

Advertisements

Podobné prezentace

ŘÍDÍCÍ STRUKTURY - PODMÍNKY

Advertisements

Dualita úloh lineárního programování a analýza citlivosti

Programování funkcí v Excelu

Znalostní fuzzy systém pro evaluaci společenské odpovědnosti firmy.

JUI - 3. přednáška Zpracování seznamů, predikátové a vyhodnocovací funkce RNDr. Jiří Dvořák, CSc.

Nepravidlové a hybridní expertní systémy

Pravidlové expertní systémy

Fakulta elektrotechniky a informatiky

Programování v Pascalu Přednáška 3

Algoritmizace a programování Operátory a příkazy v Delphi - 07

Úvod do expertních systémů

JUI - 1. přednáška Funkcionální programování Úvod do jazyka Lisp RNDr. Jiří Dvořák, CSc.

Databázové systémy II Přednáška č. 6 RNDr. David Žák, Ph.D. Fakulta elektrotechniky a informatiky

If-else, do-while, switch, operátory

4IZ 229 – Cvičení 3 Práce s neurčitostí Vladimír Laš.

autor: RNDr. Jiří Kocourek

Programování v Pascalu Přednáška 7

Materiály k přednášce Úvod do programování Ondřej Čepek.

Objekty v CLIPSu RNDr. Jiří Dvořák, CSc.

Decision Trees & Genetic Programming 1 Klasické DT V některých případech nepraktické.

4IZ 229 – Cvičení 4 Složitější vlastnosti systému NEST Vladimír Laš.

Orbis pictus 21. století Tato prezentace byla vytvořena v rámci projektu.

Informatika I 3. přednáška

Informatika pro ekonomy II přednáška 2

Orbis pictus 21. století Tato prezentace byla vytvořena v rámci projektu.

Deklarace Radim Štefan. 2 Použité zkratky BP – Borland Pascal De – Delphi.

Školení správců II. Petr Pinkas RNDr. Vít Ochozka.

Informatika I 2. přednáška

C – strukturované příkazy

JUI - 9. přednáška Ř ez, negace, práce s databází RNDr. Jiří Dvořák, CSc.

Formulace a vlastnosti úloh lineárního programování

Operační systémy Přednášky pro výuku předmětu Operační systémy Ing. Antonín Vaněk, CSc. DFJP, Univerzita Pardubice září 2003.

ALGORITMIZACE A ZÁKLADY PROGRAMOVÁNÍ ŘAZENÍ PRVKŮ – PŘÍMOU VÝMĚNOU (BUBBLESORT) Vytvořila: RNDr. Ivanka Dvořáčková Gymnázium K. V. Raise, Hlinsko, Adámkova.

Fakulta elektrotechniky a informatiky

Informatika I 4. přednáška

JUI - 6. přednáška Úvod do jazyka Prolog, struktura programu, datové objekty, unifikace RNDr. Jiří Dvořák, CSc.

Přednáška 10 Logické programování, PROLOG (PROgramming in LOGic)

PictureBox u vkládání obrázků u vlastnost Picture pomocí příkazu LoadPicture u přiřazení obrázku mezi dvěma prvky PictureBox Auto.Picture = AutoCerv.Picture.

Informatika I 7. přednáška RNDr. Jiří Dvořák, CSc.

Informatika I 8. přednáška RNDr. Jiří Dvořák, CSc.

Systém CLIPS RNDr. Jiří Dvořák, CSc.

Informatika I 1. přednáška

Systémy pro podporu managementu 2 Inteligentní systémy pro podporu rozhodování 1 (DSS a znalostní systémy)

10. Dynamické proměnné Dynamická proměnná se nezavádí deklarací proměnných, ale vzniká za běhu programu provedením speciálního příkazu. Nemá přidělen žádný.

7. Typ soubor Souborem dat běžně rozumíme uspořádanou množinu dat, uloženou mimo operační paměť počítače (na disku). Pascalský soubor je abstrakcí skutečného.

NEÚPLNÁ PODMÍNKA V JAVĚ. VÝVOJOVÝ DIAGRAM +- Podmínka Příkaz_1.

Úvod do expertních systémů

Zpracování neurčitosti Fuzzy přístupy RNDr. Jiří Dvořák, CSc.

4IZ 229 – Cvičení 2 Tvorba báze znalostí Vladimír Laš.

1 Škola: Gymnázium, Brno, Slovanské náměstí 7 Šablona: III/2 – Inovace a zkvalitnění výuky prostřednictvím ICT Název projektu: Inovace výuky na GSN prostřednictvím.

Databázové systémy SQL Výběr dat.

Procedurální (klasické) programování Popisuje algoritmus – postup, jak vyřešit úlohu.

Struktura obyvatelstva sice používáme okamžikové veličiny, ale je potřeba interpretovat dynamicky, historicky dlouhodobý časový horizont (současnou pop.

Přehled metod umělé inteligence a její historie (bakalářská práce) Vedoucí práce: Ing. Ladislav Beránek, CSc., MBA Vypracoval: Michal Jelínek.

Vestavěné predikáty a jejich použití (5) Jan Hric, KTI MFF UK, a

Jazyky pro umělou inteligenci RNDr. Jiří Dvořák, CSc.

Procedurální (klasické) programování Popisuje algoritmus – postup, jak vyřešit úlohu.

JUI přednáška Vstup a výstup, cykly RNDr. Jiří Dvořák, CSc.

doc. RNDr. Zdeněk Botek, CSc.

Pascal – if Mgr. Lenka Švancarová.

Pascal – strukturované příkazy

Internet Key Exchange Projektování distribuovaných systémů Ing. Jiří ledvina, CSc.

doc. RNDr. Zdeněk Botek, CSc.

Úvod do expertních systémů

Příkazy IF a SELECT CASE

Databázové systémy a SQL

Úvod do expertních systémů

Opakování základních příkazů a syntaxí v programovacím jazyce Pascal

Modelování Transportních Procesů 2

Transkript prezentace:

JUI přednáška Příklad využití Prologu pro tvorbu expertních systémů RNDr. Jiří Dvořák, CSc.

2 Nová syntaxe pravidel a faktů Pravidla: if podmínka then závěr Podmínka může být složena z jednoduchých podmínek spojených pomocí and a or. Zavedení nových operátorů :-op(800,fx,if). :-op(700,xfx,then). :-op(300,xfy,or). :-op(200,xfy,and). Fakta: fact(tvrzení).

3 Interpret pro novou syntaxi is_true(P):-fact(P). is_true(P):-if Podmínka then P, is_true(Podmínka). is_true(P1 and P2):-is_true(P1),is_true(P2). is_true(P1 or P2) :-is_true(P1);is_true(P2). Nevýhodou této jednoduché inferenční procedury je skutečnost, že uživatel musí zadat všechna relevantní fakta ještě před zahájením procesu usuzování. Fakta by se měla zadávat interaktivně v dialogu s expertním systémem v okamžiku, kdy jsou zapotřebí.

4 Mechanismus dopředného řetězení forward:-new_derived_fact(P), , write('Odvozeno:'),write(P),nl, assert(fact(P)),forward; write('Zadna dalsi fakta:'). new_derived_fact(Zaver):- if Podm then Zaver, not fact(Zaver), composed_fact(Podm). composed_fact(Podm):-fact(Podm). composed_fact(Podm1 and Podm2):- composed_fact(Podm1),composed_fact(Podm2). composed_fact(Podm1 or Podm2):- composed_fact(Podm1);composed_fact(Podm2).

5 Vysvětlovací mechanismus :-op(800,xfx,<=). is_explained(P,P):-fact(P). is_explained(P,P <= DukazPodm):- if Podm then P,is_explained(Podm,DukazPodm). is_explained(P1 and P2, Dukaz1 and Dukaz2):- is_explained(P1,Dukaz1),is_explained(P2,Dukaz2). is_explained(P1 or P2,Dukaz):- is_explained(P1,Dukaz);is_explained(P2,Dukaz). Tento mechanismus poskytne vysvětlení, jak se dospělo k výsledku. Jde v podstatě o generování důkazního stromu. is_explained(P,Dukaz) platí, jestliže Dukaz je důkaz, že P platí.

6 Zpracování neurčitosti :-op(900,xfx,::). certainty(P,Jist):-given(P,Jist). certainty(P,Jist):- if Podm then P :: J1, certainty(Podm,J2), Jist is J1*J2. certainty(Podm1 and Podm2,Jist):- certainty(Podm1,Jist1), certainty(Podm2,Jist2), Jist is min(Jist1,Jist2). certainty(Podm1 or Podm2,Jist):- certainty(Podm1,Jist1), certainty(Podm2,Jist2), Jist is max(Jist1,Jist2).