Automated Theorem Prover

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	v. Oostrom, V.
dc.contributor.author	Dekkers, N.
dc.date.accessioned	2013-08-28T17:01:29Z
dc.date.available	2013-08-28
dc.date.available	2013-08-28T17:01:29Z
dc.date.issued	2013
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/14335
dc.description.abstract	Het doel is om een automatische stelling bewijzer te maken. Hierin kan men model van de wereld maken en daarop predikaatlogische formules testen op waarheid. Dit kunnen zelfgemaakte modellen zijn of meegeleverde standaard modellen. Bij het testen op waarheid wordt er door de tool een bedeling gegeven die de formule waar maakt als er vrije variabelen in de formule aanwezig zijn. Het doeleinde van de scriptie is om de tool te kunnen gebruiken in de cursus Inleiding Logica van de bachelor Kunstmatige Intelligentie.
dc.description.sponsorship	Utrecht University
dc.format.extent	3856035 bytes
dc.format.mimetype	application/zip
dc.language.iso	nl
dc.title	Automated Theorem Prover
dc.type.content	Bachelor Thesis
dc.rights.accessrights	Open Access
dc.subject.courseuu	Kunstmatige Intelligentie