Øv med flashcards — Kunnskapsrepresentasjon

Kapittel 15 · TDT4136

1 / 25

← Tilbake til kapittelet

25 kort

Formel

Arv gjennom delmengder

Formel

x \in c_{1} \land c_{1} \subset c_{2} \Rightarrow x \in c_{2}

Brukes når et objekt skal arve medlemskap, og dermed egenskaper, fra en overkategori. Regelen kan brukes flere ganger oppover i taksonomien. Vanlig feil: å skrive ⊂ mellom et objekt og en kategori; et objekt er medlem (∈), aldri delmengde.

Tips: bruk piltastene for å bla og mellomrom/Enter for å snu kortet.