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
20-8-2003
Hoe werkt SLD resolutie?
op dit programma:
W(x,0,x)
W(x,s(y),s(s(z)))
hoe ziet de SLD-refutatie voor goal W(s(0),s(0),x) er uit?Peter
20-8-2003
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
28-8-2003
#13618 - Logica - Student universiteit