Az előadás letöltése folymat van. Kérjük, várjon

Az előadás letöltése folymat van. Kérjük, várjon

A 3-értékű logika.  Szakértői rendszerekben  Rákövetkezési operátor 2-értékű esetben  Rákövetkezési operátor 3-értékű esetben  Stabil modell  Megalapozott.

Hasonló előadás


Az előadások a következő témára: "A 3-értékű logika.  Szakértői rendszerekben  Rákövetkezési operátor 2-értékű esetben  Rákövetkezési operátor 3-értékű esetben  Stabil modell  Megalapozott."— Előadás másolata:

1 A 3-értékű logika

2  Szakértői rendszerekben  Rákövetkezési operátor 2-értékű esetben  Rákövetkezési operátor 3-értékű esetben  Stabil modell  Megalapozott modell 5. előadás2

3 3

4 4

5 5

6 6

7 7

8 8

9  Rétegezéskor egyfajta rendezést vezetünk be a predikátumok között, s a programokat ebben a sorrendben értékeljük ki.  Ha ebben a sorrendben végezzük el a kiértékelést, akkor egy negált predikátumra már csak akkor kerül sor, ha előbb minden pozitív előfordulási helyén kiértékeltük. 5. előadás9

10 10

11  A klasszikus 2-értékű logikával leírható összefüggések esetén minden információról egyértelműen el kell tudnunk dönteni, hogy igaz-e vagy hamis.  Ez sokszor nehéz, mert nem biztos hogy rendelkezünk biztos ismeretekkel. A bizonytalan információk kezelésére nem alkalmas a klasszikus Datalog. 5. előadás11

12 5. előadás12

13 5. előadás13

14 5. előadás14

15 5. előadás15

16 5. előadás16

17 5. előadás17

18 5. előadás18

19 5. előadás19

20 5. előadás20

21 5. előadás21

22 5. előadás22

23 5. előadás23

24 5. előadás24

25 5. előadás25

26 5. előadás26

27 5. előadás27

28 5. előadás28

29 5. előadás29

30 5. előadás30

31 5. előadás31

32 5. előadás32

33 5. előadás33

34 5. előadás34

35 5. előadás35

36 5. előadás36

37 5. előadás37

38 5. előadás38

39 5. előadás39

40 5. előadás40

41 1. Foundations of Databases by Serge Abiteboul, Richard Hull, and Victor Vianu 2. Achs Ágnes: Bizonytalan információk kezelése logikai adatmodellekben, Informatika a Felsooktatásbanc96 - Networkshop c96 Debrecen, augusztus Achs Ágnes: Bizonytalanságkezelési modellek, Doktori (Phd) értekezés, Debreceni Egyetem, Informatikai Kar, előadás41


Letölteni ppt "A 3-értékű logika.  Szakértői rendszerekben  Rákövetkezési operátor 2-értékű esetben  Rákövetkezési operátor 3-értékű esetben  Stabil modell  Megalapozott."

Hasonló előadás


Google Hirdetések