Samenvatting van de les (pdf, 43kB)

More documents

Recommendations

Info

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
3 ONTOLOGIE VS KB 3.13 Hoe te modelleren transparant is: Referential Transparancy. Dit omzeilen we door een andere techniek toe te passen waardoor de betekenis door de substitutie niet aangetast wordt. Deze techniek representeert betekenisvolle objecten door strings, waardoor de objecten toch van elkaar verschillen. Hierbij wordt gebruik gemaakt van de functie “Den”, die een link legt tussen de string en het object aangeduid door de string. Een voorbeeld is ¡ a, p, q: ¦¡ ¢ § ¨¤§ ¨ ¦¢ §¤ (a) § £¢¥¤ ¢¨¤ ¦¢ . Dit kan niet werken omdat een string is, om p en q te substitueren in ¢©¤ ¦¢ moet men ¦© £¢¤¢ gebruiken. 3.13 Hoe te modelleren Implementeer een extra laag om logisch te redeneren op een agent. Je kan zeggen dat een agent alles weet wat hij uit zijn kennis kan afleiden “logical omniscience”, maar dit is onrealistisch en onpraktisch. Hierover zijn verschillende filosofische bedenkingen. 5
Page 1 and 2: Samenvatting hoorcollege AI1 31/10/
Page 3: 3 ONTOLOGIE VS KB 3.4 Samengestelde

Samenvatting van de les (pdf, 43kB)

Create successful ePaper yourself

Delete template?

Save as template?