Kapitel 4. Eingabe (Anfrage) : Formel ...

Weitere Magazine

Empfehlungen

Info

£¤ ¥ §§§¥ £ ¢ ¥ §§§¥ £ ¡ ¥sub¤ §§§ sub¨ Folgerung von . £ © Nach I.V.: ist jede Grundinstanz von ¡ ¡ ¢£§ ¡ ¤§ ¡ ¢¢¢ ¡ ¤¥ ¡ ¢¦§ ¡ ¢¢¢ ¡ sub §£ §¢¢¢ sub¨ eine Folgerung von . ¢¢¢ § Jede Grundinstanz von £¥ ¤¥§§§¥ ¥£ ¥sub¤ §§§ sub¨ ist Folgerung von . ¦ sub¤ §§§ sub¨ ¢ £ ¢ sub¤ §§§ sub¨ und ¦ £ ¥ ¤§§§ ¥¨. Also ist jede Grundinstanz von 147
£ ¡ sub sub ¤ §§§ sub ¨ ¢ sub ¤ §§§ sub ¨ ¤§ ¥sub ¥sub §§§¥ £ ¡ ¢ £ £¤ ¥ §§§¥ £ ¡ ¤ mit sub £ sub sub ¨. £¤ ¥ © §§§ ¤ ¢ (2.) Vollständigkeit: Seien die Variablen in sub , und seien neue Konstanten. ¤§§§ ¡ ¤§§§ ¡ ¢ ¡ sub ¤ ¡ ¤¡ §§§ ¡ ¡ Nach Vor.: , d.h. ist unerfüllbar. SLD-Resolution ist vollständig für Hornklauseln: ¡ ¡ ¢ ¡¥ §§§ ¡ £ © sub¤ §§§ sub¨¥§ Es gilt ¡ §§§ sub¨ . ¢ ¡ sub¤ Ersetzung von durch liefert: ¡ ¢ ¢ sub sub §§§ ¡ £ © ¤ §§§ ¨¥ und sub sub ¡¥ sub ¡ sub ¨. ¤ §§§ ¡ ¢ ¡ £ ¡ sub Lifting-Lemma: ©sub sub ¡ ¡ und es gibt eine Substitution ¨¥ £ mit §§§ ¤ £ §§§ ¡¥ ¡ ¤ Also folgt 148
Seite 1 und 2: liebt(Eva, Essen) liebt(Eva, ¢ We
Seite 3 und 4: liebt(Eva, ),Antwort( ) liebt(Eva
Seite 5 und 6: (2.) walk ¤¥ ¢ £¥ £ ¥ Si
Seite 7 und 8: 4.2 Hornklauselprogramme und ihre S
Seite 9 und 10: £ ¢ ¤§§§ £ ¡ ¤ Definitio
Seite 11 und 12: §§§§§§§§§§§§§§§§§
Seite 13 und 14: Zielklausel: ¤ £ Diff £ ¢ sin
Seite 15: ¢ £ ¡ ¡¥ ¡ £ ¡¤ sub¤¥
Seite 19 und 20: Satz von Clark (2.): £ ¡ Satz Fü
Seite 21 und 22: aktuelle Zielklausel Nicht-Det. 2.
Seite 23 und 24: Beweis: sub¤sub¦ sub¦ sub¤sub¦
Seite 25 und 26: Beispiel: £ ¥ £ £ ¥ £ Logik

Kapitel 4. Eingabe (Anfrage) : Formel ...

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

Template löschen?

Als Template speichern?