(toiminnot)

hwechtla-tl: Peruspredikaattien käytöstä

Kierre.png

Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset


Maailmankuvausprotokollan peruspredikaattien (isa, at, ...) tulee tietenkin olla mahdollisimman yleispäteviä ja kattavia maailman kuvauksessa, jotta protokollamme olisi mahdollisimman universaali media ja jotta malli pysyisi selkeänä ja asioille olisi vain yksi ilmaus. Tiiviistä peruspredikaattijoukosta on myös se hyöty, että se sallii päättelyn korkealla tasolla ja päättelysääntöjen unifioinnin.

Tässä tarkastellaan lähemmin yksittäisten predikaattien käyttöä.

isa

at

Yleensä, jos (at () a b), niin b:n liikkuessa siirtyy myös a.

prop

Melkoinen sveitsin armeijan linkkuveitsi. Sisältää oikeastaan kaikki vain yhteen objektiin liittyvät predikaatit (siis ominaisuudet). Esimerkiksi kunnioitettavuus tai se, että silmät ovat auki.

part

own

deem


Pikalinkit:


kommentoi (viimeksi muutettu 27.06.2005 15:41)