Conclusie dmv toepassen regels.
Human Inference
Valid inference
Formele regels
Inference
Waarom?
Algemene regel
Alle eenden in de vijver zijn bruin.
zintuigen/ waarnemingen
Incorrect inference
Inductie en deductie 100% trusted
Systemen?
Automatic logical inference
Inference engine KB
1. Interpreter 2. Scheduler 3. Consistency enformer
recognize-act cycle Match rules Select rules Execute rules
Prolog Delphi C++ …
Predicate calculus
sterfelijk(X) :- mens(X). mens(socrates).
Alle mensen sterfelijk
?- sterfelijk(socrates). “Ja”
?- sterfelijk(Pinokkio). ”Nee”
Pinnokio???
sterfelijk(X) :- mens(X). mens(socrates).
Not declared
If rule toevoegen
P → Q First if rule
Inference = conclusion based on reasoning and evidence