Umjetna inteligencija : Zaključivanje uporabom propozicijske i predikatne logike - zbirka zadataka (CROSBI ID 743575)
Druge vrste radova | ostalo
• Obrazovni materijal (nedefinirano )
Podaci o odgovornosti
Dalbelo Bašić, Bojana ; Šnajder, Jan
hrvatski
Umjetna inteligencija : Zaključivanje uporabom propozicijske i predikatne logike - zbirka zadataka
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.
umjetna inteligencija; propozicijska logika; predikatna logika; automatsko zaključivanje
nije evidentirano
engleski
Artificial Intelligence : Reasoning using Propositional and Predicate Logic - problems collection
nije evidentirano
aritificial intelligence; propositional logic; predicate logic; automated reasoning
nije evidentirano
Podaci o izdanju
Zagreb: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu
59
2008.
nije evidentirano
objavljeno
978-953-184-149-8