Revision as of 2005-03-07 19:57

FrontPage > TuWienMitschriften > WissensbasierteSysteme > PraedikatenLogik

PrädikatenLogik

(Folien: Logik und Inferenz 2)

Prädikatenlogik PL1 - Signaturen

PL1: Prädikaten Logik, 1. Stufe

SIGMA=(Func, Pred)

• Menge von Funktionssymbolen
• Menge von Prädikatensymbolen
• jedes Symbol hat Stelligkeit

Funktionssymbole

mit Stelligkeit 0: Konstanten
mit Stelligkeit 1 und höher: Zum Aufbau von Termen

Beispiele

• A, B, C, John
• morning_star, evening_star
• father_of(John), age(John)
• father_of(father_of(John))
• distance(morning_star, evening_star)

Konvention: Dinge mit Großbuchstaben sind Konstanten

PL1: Prädikatensymbole:

• mit Stelligkeit 0, 1, 2, ...
• zum Aufbau atomarer Formeln

Beispiele

• prime(3), blue(sky)
• mortal(Socrates), flight(RF75, Dortmund, Berlin)
• grandfather(father_of(father_of(John)), John)

Last modified 2005-03-07 19:57 by rck