Metaviden
En metakendskab er viden om en eller flere viden.
Vi kan især skelne mellem:
- metaviden, der beskriver viden,
- metaviden om brugen af viden,
- metakendskab til at opdage viden,
- meta-viden om tilliden eller sandheden af en viden,
- metaviden om at kende andre - eller paraviden - ( f.eks. Pierre ved, at Jacques ikke kender hans telefonnummer ),
- etc.
I datalogi tilvejebringes i de fleste ekspertsystemer kendskab til systemets domæne (for eksempel medicinsk viden til diagnostisk hjælp) mere eller mindre erklærende, mens metakendskab (især til brug af denne viden) er programmeret til hårdt i den inferensmaskinen . Nogle gange er nogle af dem formaliserede og konfigurerbare, for eksempel i metarler.
Eksempler på metakendskab til brugen af formel logisk viden
-
Modus ponens : fra implikationen A ⇒ B og fra fakta A udleder vi faktum B.
-
Modus tolens : fra implikationen A ⇒ B og fra ikke-B faktum udleder vi ikke-A fakta.
Se også