Meta-wiedza
Meta- wiedza jest wiedza o jednym lub więcej wiedzy.
W szczególności możemy wyróżnić:
- meta-wiedza opisująca wiedzę,
- meta-wiedza o wykorzystaniu wiedzy,
- meta-wiedza do odkrywania wiedzy,
- meta-wiedza o wiarygodności lub prawdziwości wiedzy,
- meta-wiedza o poznaniu innych - lub para-wiedza - ( np. Pierre wie, że Jacques nie zna swojego numeru telefonu ),
- itp.
W informatyce w większości systemów eksperckich wiedza o domenie systemu (np. Wiedza medyczna do pomocy diagnostycznej) podawana jest mniej lub bardziej deklaratywnie, natomiast meta-wiedza (w szczególności ta do wykorzystania tej wiedzy) jest programowana w silnik wnioskowanie . Czasami niektóre z nich są sformalizowane i konfigurowalne, na przykład w metarule.
Przykłady meta-wiedzy z zakresu wykorzystania wiedzy o logice formalnej
-
Modus ponens : z implikacji A ⇒ B iz faktu A wnioskujemy fakt B.
-
Modus tollens : z implikacji A ⇒ B iz faktu nie-B wnioskujemy o faktach nie-A.
Zobacz też