- Stahuj zápisky z přednášek a ostatní studijní materiály
- Zapisuj si jen kvalitní vyučující (obsáhlá databáze referencí)
- Nastav si své předměty a buď stále v obraze
- Zapoj se svojí aktivitou do soutěže o ceny
- Založ si svůj profil, aby tě tví spolužáci mohli najít
- Najdi své přátele podle místa kde bydlíš nebo školy kterou studuješ
- Diskutuj ve skupinách o tématech, které tě zajímají
Studijní materiály
Zjednodušená ukázka:
Stáhnout celý tento materiálZkouska 29/05/2006
Napiste metainterpret prologovskeho programu, ktery neobsahuje disjunkci ani vestavene predikaty
Gramatiky definitivnich klauzuli jsou:
*ekvivalentni regularnim gramatikam
*ekvivalentni bezkontextovym gramatikam
*silnejsi nez bezkontextove gramatiky
Pro nemonotonni odvozovani plati, ze pro formuli A,B, A je podmnozinou B plati:
*co bylo odvozeno z A, plati i v B
*co bylo odvozeno z B, plati i v A
*neco jineho
ILP je:
*programatorska technika
*metoda strojoveho uceni
*kombinace matematicke indukce a logickeho programovani
Ktera z nasledujicich formuli je generalizaci p(X,Y):-q(X,Z), r(Z,f(Y))
*p(X,X):-q(X,Z),r(Z,f(c)).
*p(X,a):-q(X,X), r(X,f(a)), s.
*p(X,Y):-r(Z,W).
Z reflexivity funkce dosazitelnosti plyne:
*A->ct.A
*ct.A->A
*ct.A->ct.ct.A ....ct. znaci operator "ctverec" v modalni logice
Pro predikatovy pocet omezeny na mnozinu Hornovych klauzuli neplati, ze:
*LI rezoluce je korektni
*LI rezoluce je uplne
*existuje ne
Vloženo: 25.04.2009
Velikost: 1,50 kB
Komentáře
Tento materiál neobsahuje žádné komentáře.
Mohlo by tě zajímat:
Skupina předmětu IA008 - Computational Logic
Reference vyučujících předmětu IA008 - Computational Logic
Podobné materiály
- IA008 - Computational Logic - Test 2004-06-10-
- IA008 - Computational Logic - Test_2003_II_termin
- IA008 - Computational Logic - Test_2vnitro_16_05_2007
- IA157 - Logická analýza přirozeného jazyka II - Testové otazky_2007
- IB001 - Úvod do programování - ZapoctovyTest-2008
- IB101 - Úvod do logiky a logického programování - Logika_test
- IB101 - Úvod do logiky a logického programování - TestVyrokovaLogika
- MB003 - Lineární algebra - Zkouška test_00re
- MB003 - Lineární algebra - Zkouška test_97
- MB003 - Lineární algebra - Zkouška test_99ab
- MB003 - Lineární algebra - Zkouška test_99cd
- MB003 - Lineární algebra - Zkouška test_99ef
- MB005 - Základy matematiky - Test_teorie_mnozin
- MB008 - Algebra I - Testy
- PB006 - Principy programovacích jazyků - Zkouška test_26-01-07
- PB029 - Elektronická příprava dokumentů - Test 00_01a
- PB029 - Elektronická příprava dokumentů - Test 99_00a
- PB029 - Elektronická příprava dokumentů - Test 99_00b
- PB069 - Vývoj aplikací a uživatelských rozhraní - Test 9_5_2005_zapocet_PB069
- PB069 - Vývoj aplikací a uživatelských rozhraní - Test
- PB071 - Úvod do jazyka C - Testy a řešení
- PB151 - Výpočetní systémy - Zkouška testy
- PV062 - Organizace souborů - Test 2002_06_08
- PV062 - Organizace souborů - Test 21-05-2008
- PV062 - Organizace souborů - Test 05_06_2003_zk
- PV062 - Organizace souborů - Test 110608
- PV062 - Organizace souborů - Test 20070605
- PV062 - Organizace souborů - Test _2002
- VB004 - Ekonomický styl myšlení II - Materiály k testum 1
- VB004 - Ekonomický styl myšlení II - Materiály k testum 2
- VB004 - Ekonomický styl myšlení II - Testy
- VB035 - English I - Test2_20.10.2008
- VB035 - English I - Test31.10.2008
- VB035 - English I - Testy_2007
- VB035 - English I - Test_2006
- VB035 - English I - Tipovaci_testy(4moznosti)
- VB035 - English I - Vstupni test
- VB036 - English II - Test_2.4.2007
- VV031 - Základy výtvarné kultury I - Zápočtový test 05122005
- VV031 - Základy výtvarné kultury I - Zápočtový test 11_12_2006_txt
- VV031 - Základy výtvarné kultury I - Zápočtový test
- PA128 - Similarity Searching in Multimedia Data - Zadani testu 16.5.2012
- IA008 - Computational Logic - testy 2012
- PA152 - Implementace databázových systémů - 2012 testy vypracovane
Copyright 2024 unium.cz