PraedikatenLogik |
History | Back to Page
Revision as of 2005-03-12 22:05 FrontPage > TuWienMitschriften > WissensbasierteSysteme > PraedikatenLogik PrädikatenLogik(Folien: Logik und Inferenz 2) Prädikatenlogik PL1 - Signaturen PL1: Prädikaten Logik, 1. Stufe Die Grenzen der Aussagenlogik:
___________________ Abbildung ist in der Aussagen Logik nicht möglich! Eigentlich: ALLE Hasen haben lange Ohren. Reichert man diese Aussagen um eine "innere Struktur" an, landet man bei der PraedikatenLogik. SIGMA=(Func, Pred)
Funktionssymbolemit Stelligkeit 0: Konstanten In Prolog wird die Stelligkeit immer angegeben, h/2 != h/3 ! Das Unterscheidungsmerkmal Stelligkeit ist keine gute Idee. Zweimal der gleiche Funktionsname mit unterschiedlicher Stelligkeit und unterschiedlicher Funktion ist eine potentielle Fehlerquelle! Beispiele
Konvention: Dinge mit Großbuchstaben sind Konstanten PL1: Prädikatensymbole:
Beispiele
Prädikatenlogik: PL1-SignaturenPL1 Prädikatensymbole:
Beispiele:
InterpretationInterpretieren die Symbole SIGMA durch
Das Universum U besteht aus:
Domain (=Universum) ist nie leer! Funktionssymbol mit Stelligkeit 0:Element in U Funktionssymbol mit Stelligkeit >= 1:Funktion über U Prädikatensymbol mit Stelligkeit 0:Wahrheitswert Prädikatensymbol mit Stelligkeit 1Teilmenge von U Beispiel[blue] [Menge aller blauen Elemente in U] Prädikatensymbol mit Stelligkeit >1Relation über U Beispiel[brother] { ( Charles, Edward), ( Charles, Andrew) , (Edward, Andrew) } teilmenge_von U x U
|