Programmieren mit Prolog

Weitere Magazine

Empfehlungen

Info

Regelsysteme (Kalküle)Mit syntaktischen Ableitungsregeln entstehenaus bereits vorhandenen Formeln neue Formeln.Solche Regeln notieren wir in der FormP 1 ... P nKDabei sind P i die Prämissen und K die Konklusion der Regel.BeispieleA ¬AFAA → BBA ∧ BBA ∧ AAHochschule Darmstadt, Januar 2009 – p.22/54
Regelsysteme (Kalküle)Sei R ein Regelsystem,X eine Formelmenge und A eine Formel.X ⊢ R A Aus X ist A <strong>mit</strong> Regeln aus R ableitbar.• R ist korrekt, falls für alle X und A giltwenn X ⊢ R A dann X A• R ist vollständig, falls für alle X und A giltwenn X A dann X ⊢ R AHochschule Darmstadt, Januar 2009 – p.23/54
Seite 2: Übersicht• Syntax der Prädikate
Seite 5 und 6: Logelei: Eine FormalisierungA(x) f
Seite 9: Semantik der PrädikatenlogikDie Sy
Seite 12 und 13: Terme und Formeln auswertenTerme un
Seite 14 und 15: Formeln auswerten (Forts.)Analog or
Seite 16 und 17: Formeln auswerten (Forts.)Die Bedeu
Seite 18 und 19: Erfüllbarkeit und Allgemeingültig
Seite 20 und 21: Beispiel: Euklidische Geometriex
Seite 24 und 25: Vollständige RegelsystemeX A gdw
Seite 26 und 27: GentzenformelnSpezialfälle:P 1 ∧
Seite 28 und 29: Schnitt- plus SubstitutionsregelDer
Seite 30 und 31: Geometriebeispiel (Forts.)• Forme
Seite 32 und 33: Resolution(sregel)Nachteil der Subs
Seite 34 und 35: UnifikationEin Unifikator zweier Te
Seite 36 und 37: Unifikation: BeispieleKonvention: x
Seite 38 und 39: Resolution: Zwei BeispieleWieder si
Seite 40 und 41: Geometriebeispiel (Forts.)Eine Wide
Seite 42 und 43: Spezielle Regeln oder Formeln• Po
Seite 44 und 45: Lineare Resolution für Hornformeln
Seite 46 und 47: Antwortextraktion: BeispielFür die
Seite 48 und 49: Antwortextraktion: Beispiel 2Das Pr
Seite 50 und 51: Antwortextraktion: KorrektheitFür
Seite 52 und 53: Keine“eingebaute Induktion”P
Seite 54 und 55: PROLOG• Syntax:P ← Q 1 ,...,Q n

Programmieren mit Prolog

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

Template löschen?

Als Template speichern?