11.10.2013 Aufrufe

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

14. Alternative <strong>Algorithmen</strong>konzepte<br />

Beispiel<br />

Fakten:<br />

1. TOCHTER(Susi,Petra)<br />

2. TOCHTER(Petra,Rita)<br />

Regeln:<br />

3. TOCHTER(X,Y) TOCHTER(Y,Z) ENKELIN(X,Z)<br />

Ableitung neuer Fakten<br />

(vereinfachte Darstellung)<br />

¯ finde Belegung der Unbestimmten einer Regel, so daß auf der linken Seite<br />

(Prämisse) bekannte Fakten stehen<br />

¯ rechte Seite ergibt dann neuen Fakt<br />

logische Regel: modus ponens<br />

Beispiel II<br />

Belegung<br />

Fakten: 1. TOCHTER(Susi,Petra)<br />

2. TOCHTER(Petra,Rita)<br />

Regeln: 3. TOCHTER(X,Y) TOCHTER(Y,Z) ENKELIN(X,Z)<br />

X Susi, Y Petra, Z Rita<br />

ergibt Fakt<br />

ENKELIN(Susi,Rita)<br />

Deduktiver Algorithmus<br />

Ein deduktiver Algorithmus ist eine Menge von Fakten <strong>und</strong> Regeln.<br />

sind alle direkt oder indirekt aus ableitbaren Fakten.<br />

Eine Anfrage ­ ist eine Konjunktion von atomaren Formeln.<br />

­ « «Ñ<br />

Eine Antwort ist eine Belegung der Unbestimmten in ­, bei der aus allen «<br />

Fakten aus werden.<br />

270

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!