pdf 10.7.09 - Universität Hamburg
pdf 10.7.09 - Universität Hamburg
pdf 10.7.09 - Universität Hamburg
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Termbildende Operatoren und Deskriptionen<br />
Konstanten<br />
• ggf. als Stellvertreter für Eigennamen<br />
Funktionssymbole<br />
• für eindeutige Abbildungen<br />
Deskriptionsoperatoren<br />
• #: Darstellung von definiter Referenz: Russell<br />
r 3<br />
# x moon(x)<br />
• ": Darstellung von indefiniter Referenz: Hilbert/Bernays<br />
r 1<br />
r 4<br />
bond<br />
r 2 mother_of(r 1 )<br />
" x man(x)<br />
C. Eschenbach: Semantische Sprachverarbeitung 20<br />
Deskriptionsoperatoren / Kennzeichnungsoperatoren<br />
Syntaktische Eigenschaften<br />
• bilden einen Term<br />
• binden eine Variable<br />
– wie Quantoren, Lambda<br />
• werden mit einer Formel kombiniert (in der die Variable<br />
vorkommen sollte)<br />
• alternative Betrachtung<br />
• werden mit einen einstelligen Prädikat kombiniert<br />
• Typenlogisch: $$e, t%, e%<br />
Ein bekannteres Beispiel<br />
• { x | P(x) } : Abbildung einer Eigenschaft (P) auf eine Menge<br />
C. Eschenbach: Semantische Sprachverarbeitung 21
Change language