Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
Nowa wersja
Poprzednia wersja
pl:dydaktyka:krr:lab_dl_reasoning [2016/06/07 23:44]
msl [4 Algorytmy wnioskowania]
pl:dydaktyka:krr:lab_dl_reasoning [2017/07/17 08:08] (aktualna)
Linia 83: Linia 83:
 Schemat działania: Schemat działania:
   - Start od faktów (aksjomatów ABox)   - Start od faktów (aksjomatów ABox)
 +  - Doprowadzenie do normalnej formy negacyjnej (NNF). Jest to forma, w której negacja występuje tylko przd nazwami klas.
   - Dekompozycja składniowa z użyciem odpowiednich reguł tzw. //tableaux expansion rules//   - Dekompozycja składniowa z użyciem odpowiednich reguł tzw. //tableaux expansion rules//
-    * reguły odpowiadają poszczególnymkonstruktorom (<​latex>​ \sqcap, \sqcup, ...</​latex>​) 
-    * niektóre reguły są niedeterministyczne (np. <​latex> ​ \sqcup, \leq </​latex>​) (w praktyce prowadzi to do przeszukiwania) 
   - Wnioskowanie o ograniczeniach na elementach modelu   - Wnioskowanie o ograniczeniach na elementach modelu
   - Stop, kiedy nie można zastosować więcej reguł lub wystąpiła sprzeczność   - Stop, kiedy nie można zastosować więcej reguł lub wystąpiła sprzeczność
 +
 +Proszę zapoznać się szczegółowo z trzema przykładami z ze [[http://​www.dcs.bbk.ac.uk/​~michael/​sw/​slides/​SW-8.pdf|slajdów]]. Proszę przeczytać strony 22-30.
  
 __**Ćwiczenie 8**__ (dla chętnych): __**Ćwiczenie 8**__ (dla chętnych):
pl/dydaktyka/krr/lab_dl_reasoning.txt · ostatnio zmienione: 2017/07/17 08:08 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0