Conclusie dmv toepassen regels. Human Inference.

Presentatie over: "Conclusie dmv toepassen regels. Human Inference."— Transcript van de presentatie:

1

2 Conclusie dmv toepassen regels.

3 Human Inference

4 Valid inference

5 Formele regels

6

7

8 Inference

9

10

11

12

13 Waarom?

14 Algemene regel

15

16

17

18 Alle eenden in de vijver zijn bruin.

19 zintuigen/ waarnemingen

20 Incorrect inference

21

22 Inductie en deductie 100% trusted

23 Systemen?

24 Automatic logical inference

25 Inference engine KB

26

27 1. Interpreter 2. Scheduler 3. Consistency enformer

28 recognize-act cycle  Match rules  Select rules  Execute rules

29  Prolog  Delphi  C++  …

30 Predicate calculus

31 sterfelijk(X) :- mens(X). mens(socrates).

32 Alle mensen sterfelijk

33 ?- sterfelijk(socrates).  “Ja”

34 ?- sterfelijk(Pinokkio).  ”Nee”

35 Pinnokio???

36 sterfelijk(X) :- mens(X). mens(socrates).

37 Not declared

38 If rule toevoegen

39 P → Q First if rule

40 Inference = conclusion based on reasoning and evidence

41