Meta-cunoaștere
O meta- cunoaștere este cunoașterea despre una sau mai multe cunoștințe.
Putem distinge în special:
- meta-cunoaștere care descrie cunoștințe,
- meta-cunoaștere privind utilizarea cunoștințelor,
- meta-cunoaștere pentru a descoperi cunoștințe,
- meta-cunoaștere despre încrederea sau veridicitatea unei cunoștințe,
- meta-cunoaștere despre cunoașterea altora - sau para-cunoaștere - (de exemplu, Pierre știe că Jacques nu își cunoaște numărul de telefon ),
- etc.
În informatică, în majoritatea sistemelor expert , cunoașterea domeniului sistemului (de exemplu, cunoștințe medicale pentru ajutorul diagnosticului) este furnizată mai mult sau mai puțin declarativ, în timp ce meta-cunoașterea (în special cea pentru utilizarea acestor cunoștințe) este programată în inferență . Uneori, unele dintre ele sunt formalizate și configurabile, de exemplu în metarule.
Exemple de meta-cunoaștere a utilizării cunoștințelor logice formale
-
Modus ponens : din implicația A ⇒ B și din faptul A, deducem faptul B.
-
Modus tollens : din implicația A ⇒ B și din faptul non-B, deducem faptul non-A.
Vezi și tu