Wetten van de predikaatlogica - Informaticatoepassingen - Prolog
3 belangrijke vragen over Wetten van de predikaatlogica - Informaticatoepassingen - Prolog
Wat kun je doen met prolog en de predikaatlogica?
- Bedrijfsregels ontwerpen
- Definities (vertaalsleutels)
- Feiten (Predikaten en n-plaatsige Relaties)
- Voorwaardes (zuiniger? geldig?)
- Afleidingen (...<=>..? ...=>....?)
- Een database ontwerpen
- De database bevragen in Prolog
- Kennissystemen ontwerpen (structuur en gedrag organisatie)
Op welke manieren kun je kijken naar een prolog programma?
- Het is een database
- Het zijn bedrijfsregels
- Het is een conjunctie van feiten en regels(voorwaardes, afleiding) = CNV
Hoe werkt het bevragen van een prolog database?
Bij het bevragen wordt een ingebouwde resolutieregel uitgevoerd:
p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 10.0px Times} span.s1 {font: 10.0px Symbol} (∨ ¬ψ, ψ ∨ ¬χ ⇒ ϕ ∨ ¬χ) <=> hypothetisch syllogisme
Als de resolutieregel waar output dan retourneert prolog de gevraagde gegevens.
Zoniet dan krijgt de gebruiker NO te horen.
p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 10.0px Times} span.s1 {font: 10.0px Symbol} (∨ ¬ψ, ψ ∨ ¬χ ⇒ ϕ ∨ ¬χ) <=> hypothetisch syllogisme
Als de resolutieregel waar output dan retourneert prolog de gevraagde gegevens.
Zoniet dan krijgt de gebruiker NO te horen.
De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:
- Een unieke studie- en oefentool
- Nooit meer iets twee keer studeren
- Haal de cijfers waar je op hoopt
- 100% zeker alles onthouden
Onthoud sneller, leer beter. Wetenschappelijk bewezen.
