flerverdier

Flerverdier er et begrep som brukes om systemer og teorier der påstander kan ha mer enn to sannhetsverdier, i motsetning til tradisjonell binær logikk som bare skiller mellom sann og usann. Begrepet brukes på flere områder, blant annet i logikk, filosofi, informatikk og lingvistikk, for å modellere ufullstendig, usikker eller motstridende informasjon.

I formell logikk utvider flerverdilogikker den klassiske logikken ved å innføre et utvidet sett av sannhetsverdier. Ulike system har forskjellige verdier—for eksempel sann, usann og mellomtilstander som ukjent eller både sann og usann. Operasjoner som og, eller og negasjon fås ved hjelp av generaliserte sannhetstabeller eller algebraiske strukturer som er tilpasset flere sannhetsverdier.

Praktiske bruksområder inkluderer databaser med delvis kjente data, beslutningsmodeller i kunstig intelligens, og semantisk analyse av naturlig språk hvor begreper kan være uklare. Flerverdier gir en måte å representere uklarhet, tvetydighet og grad av sannhet i beregninger.

Flerverdier kommer i ulike former, fra treverdige logikker (tre verdier: sann, usann, ukjent) til systemer med et større sett av verdier. Knyttet til feltet er også fuzzy logikk, som i stedet bruker kontinuerlige verdier mellom 0 og 1 for grad av sannhet.

Historisk har logikere som Jan Łukasiewicz og Stephen Kleene bidratt til utviklingen av mangeverdilogikker og teoretiske rammer for å studere sannhetsverdier utover det binære.