hwechtla-tl: Peruspredikaattien käytöstä

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

• olemus: (isa () #5437 dog)
• (muodon)muutos: (isa (x) #5437 cat)
• luominen, syntyminen: (isa () #4358 dog (ag #5437) (orig #5437))
• tuho, kuolema: (isa (x n) #5437)

at

• paikka: (at () #5437 #9874)
• siirtyminen (esimerkissä ulos): (at (x) #5437 ((at () #9874 ?)))
• siirtäminen: (at () #5437 #9874 (ag ^sender))
• liikuttelu: (at (x) ((part () ? ^sender) (isa () ? foot)))
• lähteminen: (at (x n) #5437 #9874)

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.

• satuttaminen: (prop (x) #5437 hurt (ag #854))

part

• osuus: (isa () #1195 tail); (part () #1195 #5437)
• syöminen ja syöte: (part (x) #5437 ^sender (med ((isa () ? mouth) (part () ? ^sender))))
• fuusio ja fissio

own

deem

Pikalinkit:

• isa
• at
• prop
• part
• own
• deem