Naslov
Umjetna inteligencija : Zaključivanje uporabom propozicijske i predikatne logike - zbirka zadataka
(Artificial Intelligence : Reasoning using Propositional and Predicate Logic - problems collection)

Autori
Dalbelo Bašić, Bojana ; Šnajder, Jan

Vrsta obrazovnog materijala
Ostalo (nedefinirano)

Izdavač
Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu

Grad
Zagreb

Godina
2008

Stranica
59

ISBN
978-953-184-149-8

Ključne riječi
umjetna inteligencija; propozicijska logika; predikatna logika; automatsko zaključivanje
(aritificial intelligence; propositional logic; predicate logic; automated reasoning)

Sažetak
Zaključivanje temeljeno na formalnom sustavu logike, posebice automatsko dokazivanje teorema predikatne logike, tradicionalna je okosnica umjetne inteligencije. Zbirka sadržava temeljne zadatke iz zaključivanja uporabom propozicijske i predikatne logike. Zadaci se odnose na sintaksu i semantiku logike, relaciju logičke posljedice, pretvorbe rečenica prirodnog jezika u formule predikatne logike, pretvorbu u klauzalnu formu i rezolucijsko zaključivanje. Ovi su pojmovi i postupci sustavno objašnjeni kroz riješene zadatke, pri čemu je poseban naglasak stavljen na česte pogreške koje studenti čine pri rješavanju.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA