Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych1 Zagadnienia automatycznego wnioskowania w logikach deskrypcyjnych Linh Anh Nguyen Instytut Informatyki.

Podobne prezentacje


Prezentacja na temat: "Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych1 Zagadnienia automatycznego wnioskowania w logikach deskrypcyjnych Linh Anh Nguyen Instytut Informatyki."— Zapis prezentacji:

1 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych1 Zagadnienia automatycznego wnioskowania w logikach deskrypcyjnych Linh Anh Nguyen Instytut Informatyki Uniwersytet Warszawski

2 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych2 Czym są logiki deskrypcyjne? logiczne formalizmy reprezentacji wiedzy rozstrzygalne fragmenty logiki I-go rzędu związane z zdaniowymi logikami modalnymi podstawy semantycznego webu (Semantic Web) języki ontologii

3 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych3 Czym są logiki deskrypcyjne? Jan : Dobry Jacek, Jan : ma-dziecko Jacek : 1 ma-dziecko T Człowiek Rodzic ma-dziecko.T Szczęśliwy-rodzic Rodzic ma-dziecko.Dobry ma-dziecko ma-potomka ma-potomka + ma-potomka Czy KB | (Jacek : Szczęśliwy-rodzic) ? KB

4 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych4 Logika deskrypcyjna ALC Semantyka określona przez interpretację I = ( I, I ): {x |y.(x,y)R I yC I } ma-dziecko.Lekarz R.C C I D I Matka Ojciec C D {x | y.(x,y)R I yC I } ma-dziecko.Człowiek R.C I- C I Męski C C I D I Człowiek Męski C D R I I I ma-dziecko R A I I Człowiek A SemantykaPrzykładSkładnia

5 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych5 Inne konstrukcje pojęć i ról Semantyka określona przez interpretację I = ( I, I ): (R I ) + ma-dziecko + R+R+ {x,y| y,xR I } ma-dziecko ˉRˉ {a I } {Jan} {a} {x | #{y|x,yR I } n} 2 ma-rodzica n R {x | #{y| x,y R I,y C I } n} 1 ma-rodzica.Męski n R.C {x | #{y| x,y R I,y C I } n} 3 ma-dziecko.Męski n R.C {x | #{y|x,yR I } n} 3 ma-dziecko n R SemantykaPrzykład Składnia

6 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych6 Inne logiki deskrypcyjne Logiki deskrypcyjne są określone przez: zbiór konstrukcji złożonych pojęć i ról zbiór aksjomatów o rolach (np. R S, R +R) Logika deskrypcyjna SHIQ : rozszerza ALC o konstrukcje Rˉ, n R.C, n R.C aksjomaty postaci R S lub R +R jest ograniczona pewnym warunkiem Zdaniowa logika dynamiczna PDL...

7 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych7 Architektura systemów opartych na LD System wnioskowania Interfejs Baza wiedzy TBox (definicje pojęć) ABox (fakty) T Człowiek Rodzic ma-dziecko.T Jan : Dobry Jacek, Jan : ma-dziecko Jacek : 1 ma-dziecko RBox (aksjomaty o rolach) ma-dziecko ma-potomka ma-potomka+ ma-potomka

8 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych8 Problemy wnioskowania KB: baza wiedzy, C, D: pojęcia Czy KB jest sprzeczna? Czy KB | C ? Czy KB | (C D) ? Czy KB | a:C ? Czy KB {: C} sprzeczna? Czy KB | (C D) ? Czy KB | ( C D) ( D C)? Czy KB {a:C} sprzeczna?

9 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych9 Probemy wnioskowania w logikach deskrypcyjnych mają zazwyczaj wysoką złożność (np. EXPTIME- zupełny), ale są rozstrzygalne. Podstawowe metody wnioskowania są oparte na tablicach analitycznych (analytic tableaux). Opracowano różne techniki optymalizacji. Metody wnioskowania

10 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych10 Wnioskowanie: Przykład R.A R.B ( R. B R.B) R.A, R.B, R. B R.A, R.B R.A, R.B, R. B R.B A, B or B, B and Czy R.A R.B ( R. B R.B) jest spełnialne? Czy { : R.A R.B ( R. B R.B)} ma model?

11 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych11 Wnioskowanie: Przykład 2 Czy KB | (A C) ?Czy KB { : (A C)} jest sprzeczna ? A C, KB T R.C A T R.D D R. C C R.A KB A, R.A, R.C, R.DA, R.A, A, R.D or A, C, R.C A, R.D A, R.A, R.C A, R.D C, A, KB R. C, A, R.C A, R.D D, A, KB and

12 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych12 Zaawansowana propagacja sprzeczności + odcięcie A C, KB T R.C A T R.D D R. C C R.A KB A, R.A, R.C, R.DA, R.A, A, R.D or A, C, R.C A, R.D A, R.A, R.C A, R.D C, A, KB R. C, A, R.C A, R.D D, A, KB and Czy KB { : (A C)} jest sprzeczna?

13 Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych13 Logiki deskrypcyjne są użyteczne i stosowane w praktyce m.in. w semantycznym webie w tworzeniu ontologii w reprezentacji wiedzy Automatyczne wnioskowanie w LD jest intensywnie badane Jest to wciąż intensywnie rozwijająca się dziedzina, w której jest jeszcze wiele zagadnień do zbadania, np.: duże ontologie efektywne metody dla ról odwrotnych Podsumowanie


Pobierz ppt "Linh Anh NguyenWnioskowanie w logikach deskrypcyjnych1 Zagadnienia automatycznego wnioskowania w logikach deskrypcyjnych Linh Anh Nguyen Instytut Informatyki."

Podobne prezentacje


Reklamy Google