Reprezentace znalostí je sada nástrojů a postupů navržených tak, aby reprezentoval jednu ruku a také organizovat znalosti lidské používání a sdílení.
Znalosti nikdy nebyly a stále nejsou systematicky reprezentovány slovy a větami . Informační systémy využívají zejména:
Klasické (ne elektronické ) Reprezentace znalostí nástroje jsou taxonomie nebo klasifikace , které umožňují organizovat znalosti o objektech na celém světě, a dokumentární slovníky používané v dokumentu indexování .
Formálnějšími nástroji umožňujícími reprezentaci komplexních znalostí jsou například koncepční grafy nebo sémantické sítě .
V oblasti nových technologií se formální zastoupení znalostí vyvinulo v oblasti umělé inteligence . Ve formálním vyjádření jsou znalosti reprezentovány logickými objekty spojenými vlastnostmi, axiomy a pravidly. Tento typ reprezentace se používá v expertních systémech .
Vývoj webu, a zejména perspektiva sémantického webu, obnovil pole zavedením kontroverzního pojmu ontologie . Řada jazyků byly vyvinuty v této souvislosti jako standard RBP , SKOS a NKÚ z W3C nebo ISO standardu Topic Maps .
Formální reprezentace znalostí (nebo přesvědčení) umožňuje automatizovat různé operace zpracování těchto informací. Toto je jedna z oblastí výzkumu symbolické umělé inteligence: simulace „inteligentního“ uvažování z informací.
Jedním z nejpoužívanějších formálních rámců je výroková logika . Velké množství problémů lze skutečně vyřešit pomocí kódování ve výrokové logice a použitím algoritmických technik vyvinutých v rámci výzkumu problému SAT . Můžeme například kódovat různé hry ve formě výrokového vzorce.
Jiné formální rámce umožňují reprezentovat informace představující určitou strukturu, jako jsou argumentační systémy , Bayesovské sítě nebo possibilistická logika.
Bylo modelováno velké množství typů lidského uvažování, zejména dedukce (lze například vyvodit důsledky ze znalostní základny) nebo dynamika přesvědčení (revize, kontrakce a rozšíření rámce AGM).