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
- 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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.