Logika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy opartej na logice opisowej oraz przedstawiono podstawowe problemy wnioskowania z takiej bazy wiedzy. następnie skoncentrowano się na algorytmach wnioskowania, w szczególności na algorytmach klasycznych, tj. na algorytmie subsumcji strukturalnej oraz na algorytmie tablicowym. Omówiono też nową metodę wnioskowania, stosującą się do pewnego dialektu logiki opisowej. Metoda ta, zwana kartografią wiedzy, sprowadza podstawowe i zaawansowane problemy wnioskowania do operacji na ciagach bitów, co znakomicie upraszcza algorytmy wnioskowania.
Authors
Additional information
- Category
- Publikacja monograficzna
- Type
- rozdział, artykuł w książce - dziele zbiorowym /podręczniku o zasięgu krajowym
- Language
- polski
- Publication year
- 2008
