Den repræsentation viden er et sæt af værktøjer og processer med henblik på at repræsentere den ene hånd, og også til at organisere den viden menneske til at bruge og dele.
Viden har aldrig været, og er stadig ikke, systematisk repræsenteret af ord og sætninger . Især informationssystemer bruger:
De klassiske (ikke- elektronisk ) vidensrepræsentation værktøjer er taksonomier eller klassifikationer , som gør det muligt at organisere viden om objekter i verden, og dokumentarfilm tesauri anvendes i dokumentarfilm indeksering .
Mere formelle værktøjer, der muliggør gengivelse af kompleks viden, er for eksempel konceptuelle grafer eller semantiske netværk .
Inden for nye teknologier har den formelle repræsentation af viden udviklet sig inden for kunstig intelligens . I en formel repræsentation er viden repræsenteret af logiske objekter forbundet med egenskaber, aksiomer og regler. Denne type repræsentation bruges i ekspertsystemer .
Udviklingen af Internettet og især perspektivet på det semantiske web har fornyet feltet ved at introducere det kontroversielle udtryk ontologi . En række sprog er blevet udviklet i dette perspektiv, som standard RO , SKOS og OWL af W3C eller standard ISO Topic Maps .
Den formelle repræsentation af viden (eller tro) gør det muligt at automatisere forskellige behandlingsoperationer på denne information. Dette er et af forskningsfelterne inden for symbolsk kunstig intelligens: simulering af "intelligent" ræsonnement fra information.
En af de mest anvendte formelle rammer er propositionelogik . Faktisk kan et stort antal problemer løses via en kodning i propositionelogik og brug af algoritmiske teknikker udviklet inden for rammerne af forskningen om SAT-problemet . For eksempel kan vi kode forskellige spil i form af en propositionsformel.
Andre formelle rammer gør det muligt at repræsentere information, der præsenterer en bestemt struktur, såsom argumentationssystemer , Bayesiske netværk eller mulig logik.
Et stort antal typer af menneskelig ræsonnement er blevet modelleret, især deduktion (man kan f.eks. Trække konsekvenser fra en videnbase) eller troens dynamik (revision, sammentrækning og udvidelse af generalforsamlingsrammen).