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.

Noch mehr Regeln (IV)

Nicht so einfach:
Vegetarier(x) ∧ Fischprodukt(y) → magNicht(x,y)
Idee
Verbinde unzusammenhängende Teile im Regelrumpf durch die universelle Rolle U.
  • Hilfsrollen R Vegetarier  und R Fischprodukt
  • Hilfsaxiome Vegetarier ≡ ∃R Vegetarier .Self und Fischprodukt ≡ ∃R Fischprodukt .Self
Mit diesen Hilfsaxiomen kann die Regel geschrieben werden als:
\[R_{Vegetarier} \circ U \circ R_{Fischprodukt} \sqsubseteq magNicht\]

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.