Meta-tudás
A meta- tudás az ismeretek körülbelül egy vagy több tudást.
Különösen megkülönböztethetünk:
- meta-tudás, amely leírja az ismereteket,
- meta-ismeretek a tudás felhasználásáról,
- meta-tudás az ismeretek felfedezéséhez,
- meta-tudás a tudás bizalmáról vagy valódiságáról,
- meta-ismeretek mások megismeréséről - vagy para-ismeretek - ( pl. Pierre tudja, hogy Jacques nem tudja a telefonszámát ),
- stb.
A számítástechnikában a legtöbb szakértői rendszerben a rendszer területének ismerete (például a diagnosztikai segédeszközökhöz szükséges orvosi ismeretek) többé-kevésbé deklaratív módon biztosított, míg a meta-ismeretek (különösen azok, amelyek ezen ismeretek felhasználására szolgálnak) keményen vannak programozva a következtetési motor . Néha némelyikük formalizálható és konfigurálható, például metarulusokban.
Példák a formális logikai ismeretek használatára vonatkozó meta-ismeretekre
-
Modus ponens : az A ⇒ B implikációból és az A tényből a B tényre következtetünk.
-
Modus tollens : az A ⇒ B implikációból és a nem-B tényből levezetjük a nem A tényt.
Lásd is