Samenvatting van de les (pdf, 43kB)

3 ONTOLOGIE VS KB 3.4 Samengestelde Objecten
3.4 Samengestelde Objecten
Er bestaan complexe en abstracte objecten.
complex: een dier bestaat uit organen, lichaamsdelen, etc
abstract: een spel, een gebeurtenis, een script, etc
We kunnen relaties definiëren tussen samengestelde objecten. Bijvoorbeeld
¥£ £¦¥ ¨ ¨
, etc. Let op, een samengesteld object bevat fysische eigenschappen,
in tegenstelling tot een categorie. Beiden bestaan wel uit een verzameling
objecten.
3.5 Tijd, ruimte en verandering
Situatic calculus (dus de “if statements”) heeft beperkingen.
Probleemstelling: Discrete tijdstappen -> overgaan van de ene naar de andere
toestand, maar er gebeurt niets. Dus niet zoals in de Wumpuswereld.
Oplossing: Event Calculus: bekijk de wereld als events.
3.6 Events
¢¡©¤£¦¥ ¨§©¡©¢ ¨ ,
Events nemen tijd en ruimte (plaats) in beslag, die vrij complex kunnen worden. Vuistregel:
alleen wat noodzakelijk is, gaan we modelleren.
Eigenschappen:
¨ ¦ ¡
Events kunnen subevents hebben, vb. ¦
Een event dat alle events, die in een bepaalde tijdsperiode voorkwamen, bevat,
heet een interval: Tijdsperiode. Voorbeeld: Vandaag, Twintigste Eeuw, Vorige
week, deze week, volgende week, de komende weken
¢
Operator
– x vond plaats gedurende interval i
–
Let op: Een event hoeft niet noodzakelijk tegelijkertijd plaats als tijd voor te stellen.
Voorbeeld: “de VUB” is een event, dat een plaats bepaalt, maar geen tijd (voor discussie
vatbaar)
3.7 Samengestelde Events
T-operator: Het event vindt plaats gedurende (throughout) een gespecificeerde
periode.
Je kan geen logische operatoren als parameter meegeven. Dit wordt echter wel
gedaan
Vb: ¤ ¤ zou eigenlijk ¤ ¨ £ ¤ moeten zijn, maar de eerste methode
is duidelijk eenvoudiger
3