Den kunnskapsrepresentasjon er et sett med verktøy og prosesser som skal representere en hånd og også for å organisere kunnskap menneskelig å bruke og dele.
Kunnskap har aldri vært, og er fortsatt ikke, systematisk representert av ord og setninger . Spesielt bruker informasjonssystemer:
Den klassiske (ikke- elektronisk ) kunnskapsrepresentasjon verktøy er taksonomier eller klassifikasjoner , som gjør det mulig å organisere kunnskap om objekter i verden, og dokumentar synonymordbøker brukt i dokumentaren indeksering .
Mer formelle verktøy som tillater representasjon av kompleks kunnskap er for eksempel konseptuelle grafer eller semantiske nettverk .
Innen feltet for ny teknologi har den formelle representasjonen av kunnskap utviklet seg innen kunstig intelligens . I en formell representasjon er kunnskap representert av logiske objekter knyttet til egenskaper, aksiomer og regler. Denne typen representasjon brukes i ekspertsystemer .
Utviklingen av nettet, og spesielt perspektivet til det semantiske nettet, har fornyet feltet ved å introdusere det kontroversielle begrepet ontologi . En rekke språk er utviklet i dette perspektivet, som standard RDFS , SKOS og OWL for W3C eller ISO standard Topic Maps .
Den formelle representasjonen av kunnskap (eller tro) gjør det mulig å automatisere ulike behandlingsoperasjoner på denne informasjonen. Dette er et av forskningsfeltene innen symbolsk kunstig intelligens: simulering av "intelligent" resonnement fra informasjon.
En av de mest brukte formelle rammene er proposisjonslogikk . Faktisk kan et stort antall problemer løses via koding i proposisjonell logikk, og bruk av algoritmiske teknikker utviklet innenfor rammen av forskningen på SAT-problemet . For eksempel kan vi kode forskjellige spill i form av en proposisjonsformel.
Andre formelle rammer gjør det mulig å representere informasjon som presenterer en bestemt struktur, for eksempel argumentasjonssystemer , Bayesiske nettverk eller mulig logikk.
Et stort antall typer menneskelig resonnement er modellert, særlig deduksjon (man kan for eksempel trekke konsekvenser fra et kunnskapsgrunnlag) eller troenes dynamikk (revisjon, sammentrekning og utvidelse av generalforsamlingsrammen).