De digitale vraagbaak voor het wiskundeonderwijs

home |  vandaag |  gisteren |  bijzonder |  gastenboek |  wie is wie? |  verhalen |  contact

HOME

samengevat
vragen bekijken
een vraag stellen
hulpjes
zoeken
FAQ
links
twitter
boeken
help

inloggen

colofon

  \require{AMSmath} 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
Vragen naar aanleiding van dit antwoord? Klik rechts..!
donderdag 28 augustus 2003



klein |  normaal |  groot

home |  vandaag |  bijzonder |  gastenboek |  statistieken |  wie is wie? |  verhalen |  colofon

©2001-2022 WisFaq - versie 3