AI Kaleidoscoop. College 7: Kennisrepresentatie (I) Kennisrepresentatie. Kennisrepresentatie: gewenste eigenschappen (2)

Transcriptie

1 AI Kaleidoscoo College 7: Kennreresentatie (I) Algemeen Semantche Netwerken Concetual deendency theory Concetuele grahen Leeswijzer: Hoofdstuk blz AI KS9 1 Kennreresentatie Klassieke AI = redeneren over de wereld door middel van een reresentatie van de wereld Reresentatie van ding ding zelf Verschillende reresentaties van hetzelfde ding: π, , , 3 1 7, ,... Reresentaties van reresentaties : landscha foto comutergeheugen? mensengeheugen AI 2 Kennreresentatie: gewenste eigenschaen Abstractie Niet meer informatie dan nodig Preciesie Niet minder informatie dan nodig Efficientie Oslaan, terugzoeken, vergelijken, veranderen,... Kennreresentatie: gewenste eigenschaen (2) Kwalitatieve kenn numeriek, kwantitatief Nieuwe kenn moet af te leiden zijn uit bestaande databases Geschikt voor secifieke gevallen (feiten) algemene kenn (regels, variabelen) databases Voldoende rijke structuur databases AI 3 AI 4

2 Keuze van structuur & vocabulair Beaalt de uitdrukkingsmogelijkheden (bijv: landkaart) volvo(car1) wel vragen: welke auto een volvo? volvo(x) niet vragen: wat het tye van car1? X(car1) tye-of(car1,volvo) nu: tye-of(x,volvo) en tye-of(car1,x) maar: tye-of(car1,volvo) en tye-of(car1,ford) tye-of(car1)=volvo Intensioneel vs. extensioneel Extensioneel = uituttende osomming Vb: even-getal(x) X = 0,2,4,6,... Intensioneel = definiërende eigenschaen Vb: even-getal(x) geheel-getal(x) & geheel-getal(x/2) Extensioneel databases = alleen eindige (kleine!) domeinen Intensioneel: vaak moeilijk/onmogelijk Vb: stoel? AI 5...ENZ... AI 6 Kennreresentatie: 4 tyen Logica zie cursus LTR etc Procedures Vb: roductie-regels Netwerken Dit college Slots/values Volgend college Semantch netwerk knoen= begrien, objecten, eigenschaen,etc ten = relaties tussen knoen Oorsrong in de cognitie-leer: netwerkafstand bedenktijd AI 7 AI 8

3 Semantch netwerk: Voorbeeld ademen Bealen van ambigue beteken Kan een arie zingen? dier huid Plant Kan een arie vliegen Wat het verschil tussen een struvogel en een 747 Afleiden door activatie-versreiding zingen arie geel vogel vliegen struvogel AI 9 niet bewegen vliegen vleugels veren groot niet vliegtuig 747 Afleiden door activatie-versreiding machine industry Tom went home to water h lant used eole lant living animal food air water earth AI 10 Problemen met semantche netwerken Geen reciese notie van inferentie Geen reciese definitie van beteken Niet-omschreven verzameling labels voor ten en knoen Concetual Deendency Theory Poging om vaste (kleine) verzameling labels te vinden ACTIONS + modifiers OBJECTS + modifiers Definieer comlexe acties uit eenvoudige AI 11 AI 12

4 Concetual Deendency Theory Concetual Deendency Theory, Vb Primitive actions: Actor Action ATRANS: transfer a relationshi (give) PTRANS: transfer location of an object (go) PTRANS goes PROPEL: aly for to an object (ush) MOVE: move of body-art by owner (kick) PTRANS went... (12 in totaal) Action modifiers PTRANS went last week : ast f: future last week /: not PROPEL ushes the car?: question... (11 in totaal) car AI 13 AI 14 Concetual Deendency Theory, Vb Actor Receiver Giver ATRANS o book gave the book ATRANS o book Concetual Deendency Theory, Vb DO / ATRANS o book revented from giving him the book took the book from AI 16 AI 15

5 Concetual Deendency, Voor- & Nadeel Voordeel: Canonieke vorm: Verschillende syntax (vorm) met zelfde semantiek (beteken) zelfde reresentatie took the book from The book was taken from by Nadeel: heel rimitieve reresentatie niet automateerbaar te ambiteus? AI 17 Concetuele grafen 2 tyen knoen: concet relatie ten alleen tussen Eigenscha van een concet (= 1 laatsige relatie) AI 18 en vogel vliegt vliegt(vogel) Relatie tussen twee conceten (= 2 laatsige relatie) hond kleur bruin kleur(hond,bruin) 3 laatsige relatie moeder kind ouders vader ouders(kind,vader,moeder) Algemeenheid van conceten erson = alle ersonen Gebruik van Concetuele Grahen (Vb) Olossen van ambiguïteit He hit the boy with h stick erson:frank = één secifiek ersoon frank erson agent hit object boy instrument erson:#1478 = één anoniem beaald ersoon erson:* = één onbeaald ersoon AI 19 stick?? belongs to AI 20

6 Tye-hierarchie Onderscheid conceten in tyes, subtyes, suertyes en organeer tyen in een hierarchie Hierarchie moet rooster zijn: = elk aar tyes subtye + }(mogelijk indirect) suertye = er een hoogste en laagste tye Tye hierarchie (Vb) docenten rofessors univ.bevolking informatica >1e-jaars studenten AI 1e-jaars Relaties in graaf moeten tye-hierarchie resecteren (evt. tye vervangen door subtye = secialeren) Als docent les student dan en rof les student rof les 1e-jaars AI 21 maar informatica les AI AI 22 Geneste Concetuele grafen Tom thinks that Jane likes izza Volgende keer erson:tom exeriencer believe object erson:jane agent like Hoofdstuk izza object AI 23 AI 24