Metakunnskap
En metakunnskap er kunnskap om en eller flere kunnskaper.
Vi kan spesielt skille mellom:
- metakunnskap som beskriver kunnskap,
- metakunnskap om bruk av kunnskap,
- metakunnskap for å oppdage kunnskap,
- metakunnskap om tilliten eller sannheten til en kunnskap,
- metakunnskap om å kjenne andre - eller parakunnskap - ( f.eks. Pierre vet at Jacques ikke kjenner telefonnummeret sitt ),
- etc.
I datavitenskap, i de fleste ekspertsystemer , tilføres kunnskap om systemets domene (for eksempel medisinsk kunnskap for diagnostisk hjelp) mer eller mindre erklærende, mens metakunnskap (spesielt for bruk av denne kunnskapen) er programmert i hardt den slutning motor . Noen ganger er noen av dem formaliserte og konfigurerbare, for eksempel i metarler.
-
Modus ponens : fra implikasjonen A ⇒ B og fra fakta A, trekker vi ut faktum B.
-
Modus tollen : fra implikasjonen A ⇒ B og fra ikke-B fakta, trekker vi frem ikke-A fakta.
Se også