Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Arten von Regeln

Bezeichnungen für „Regeln“ der Prädikatenlogik:
  • Klausel: Disjunktion von atomaren Aussagen oder negierten  atomaren Aussagen 
  • Hornklausel: Klausel mit höchstens einem nicht-negiertem Atom
  • Definite Klausel: Klausel mit genau einem nicht negiertem Atom
  • Fakt: Klausel aus einem einzigen nicht-negiertem Atom
Beispiele:
  • Klausel: \[\mathsf{Person}(x) \;\to\;\mathsf{Frau}(x) \vee \mathsf{Mann}(x)\]
  • definite Klausel: \[\mathsf{Mann}(x) \wedge \mathsf{hatKind}(x,y) \;\to\;\mathsf{Vater}(x)\]
  • Funktionsymbol: \[\mathsf{hatBruder}(\mathsf{mutter}(x),y) \;\to\;\mathsf{hatOnkel}(x,y)\]
  • Hornklausel, "Integritätsbed": \[\mathsf{Mann}(x) \wedge \mathsf{Frau}(x) \;\to\;\]
  • Fakt: \[\mathsf{Frau}(\mathsf{gisela})\]

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.