Relasjonspredikasjoner

Relasjonspredikasjoner er predikater som beskriver forhold mellom to eller flere objekter i et domene. I logikk og kunnskapsrepresentasjon brukes de til å uttrykke hvordan objekter er relatert til hverandre. Relasjonspredikasjoner har aritet, dvs. hvor mange argumenter predikatet tar. En binær relasjon tar to argumenter (for eksempel "er forelder til" eller "er venn med"), mens en ternær relasjon bruker tre, og så videre.

Fortolkning: I en modell består domenet av objekter, og hver relasjonspredikasjon tolkes som en bestemt mengde av de tilsvarende argumentrekkene. For en binær relasjon R vil R(a,b) være sant hvis og bare hvis (a,b) tilhører relasjonen i modellen. Unntak: noen predikater uttrykker egenskaper ved enkeltobjekter, ofte kalt unary predikater eller egenskapspredikasjoner, som "er rød". Relasjonspredikasjoner adskiller seg dermed fra egenskapspredikasjoner ved å beskrive forhold mellom to eller flere objekter.

I førsteordens logikk brukes predikater sammen med kvantifikatorer til å formulere generelle påstander, som ∀x ∀y R(x,y), som uttrykker at visse forhold gjelder for alle objekter i domenet. Riktige tolkninger av relasjonspredikasjoner er sentrale i semantikk, modellteori og språkforståelse. Anvendelser inkluderer databaser og ontologier, semantisk web, kunnskapsrepresentasjon og naturlig språkbehandling.