\require{AMSmath}
WisFaq - de digitale vraagbaak voor wiskunde en wiskunde onderwijs


Printen

SLD-resolutie

Hoe werkt SLD resolutie?

op dit programma:

W(x,0,x)
W(x,s(y),s(s(z))) - W(x,y,z)

hoe ziet de SLD-refutatie voor goal W(s(0),s(0),x) er uit?

Peter
Student universiteit - woensdag 20 augustus 2003

Antwoord

SLD-resolutie staat voor 'Selected Literal resolution on Definite clauses'. Het is een methodiek om logisch afleidingen te maken en is fundamenteel voor declaratieve programmeertalen, zoals Prolog.

Met een 'refutatie' proberen we de waarheid van een uitspraak te bewijzen door te veronderstellen dat ze niet waar is en door afleidingen tot een contradictie te komen.

Op sites zoals http://www.ug.cs.usyd.edu.au/~cs3/comp3006/s1_2002/DPL-HTML/DPL-L11-LP.pdf of http://www.cs.uiowa.edu/~hzhang/c145/notes/5-prolog-2p.pdf vind je hierover meer. Je kan best eens rondkijken op Google met trefwoorden: Prolog, resolution, refutation, sld, ...

Groetjes,
Johan

andros
donderdag 28 augustus 2003

©2001-2024 WisFaq