Samenvatting van de les (pdf, 43kB)

3 ONTOLOGIE VS KB 3.8 Plaatsen
Er bestaan 2 verschillende soorten “of” gedurende een interval:
3.8 Plaatsen
– ¤ ¡ ¤ : Beide events waren waar gedurende i, maar niet noodzakelijkerwijs
op dezelfde tijd.
– ¤ ¡¢ : Slechts één van de events was waar gedurende i (exclusive or).
Het is een soort van duale van een interval: een stuk ruimte uitgestrekt in de tijd.
3.9 Processen
Events kunnen gesplitst worden. Bij het splitsen van niet-discrete events blijven de
events niet meer van hetzelfde type (bv een trouwfeest). Sommige events blijven wel
van hetzelfde type bij het splitsen (bv lezen), deze events noemt men “processen of
liquid events”.
3.10 Problematische objecten
Objecten met intrinsieke eigenschappen: dit zijn eigenschappen die het innerlijke
van een bepaald object voorstellen. Wanneer het object gesplitst wordt blijven
deze eigenschappen behouden. Een voorbeeld: het smeltpunt, de smaak, de
eigenaar van het object, etc.
Objecten met extrinsieke eigenschappen: in tegenstelling tot de intrinsieke eigenschappen
zal bij het splitsen van het object de eigenschappen niet behouden worden.
Het betreft hier dan ook vooral de uiterlijke kenmerken, zoals de grootte,
de lengte, maar ook het gewicht, de schaduw van het object, etc.
Substanties (= stoffen) bevatten enkel intrinsieke eigenschappen, terwijl
voorwerpen ook extrinsieke eigenschappen kunnen bezitten.
Andere problematische objecten zijn bijvoorbeeld landen die in de loop van de
tijd meer of minder omvangrijk zijn geworden of koningen die werden opgevolgd,
etc.
3.11 Gedachten & Overtuigingen
Hoe kunnen we aanduiden dat een agent iets denkt? Deze oplossing kan nuttig zijn voor
het bouwen van een conversatiesysteem (intelligente user interface). Hiervoor is een
abstract model nodig waarbij men gebruik kan maken van een operator als “Believes”,
“Knows”, “Wants”, etc. Hierdoor kan het systeem een relatie leggen tussen agenten en
proposities, dit soort relaties worden “propositional attitudes” genoemd.
3.12 Referential Transparancy
Probleemstelling: Als Clark en Superman dezelfde persoon voorstellen, en Superman
kan vliegen, volgt daaruit dat ook Clark kan vliegen. Hieruit volgt dat als Lois gelooft
dat Superman kan vliegen, ze ook moet geloven dat Clark kan vliegen. Dit is echter niet
het geval. Deze afleiding komt doordat elke relatie in de eerste orde logica referentiëel
4