UITWERKINGEN

6.2 Semantiek

Uitwerking 6.2.1

a – G(Jan Marie)
b – $ x G(Jan x)
c – " x G(x Jan)
d – " x $ y G(x y)
e – Ø $ x G(x x), of " x Ø G(x x)

> Opgave 6.2.1

Uitwerking 6.2.2

(opgave 5 van Stefik op pagina 62)

a – Om de oplossing te vinden moeten we de gegevens vertalen in propositielogica. Als we een bruine jas dragen met B weergeven dan gelden blijkbaar: Ø B(Duey) en Ø B(Louie). Dat degene die het toetje opat een bruine jas droeg, wordt weergegven met: D(x) Þ B(x), waarin D staat voor ‘is de dader’.
Als nu (volgens de Closed world assumption) Heuy, Duey of Louie de dader moet zijn, dan kan er alleen maar een juiste interpretatie van de formules worden gevonden met D(Huey). Dus Huey moet de dader geweest zijn.
b – Om te redeneren moet je aannames doen waarover je redeneert. Met die aannames kun je dan tot conclusies komen. Vooraf zullen dus alle aannames (en eventueel verdere gegevens of redeneerregels) bekend moeten zijn.
De volledige werkelijkheid is nooit in een beperkt aantal aannames te vatten, en dus zal een beperkt systeem maar beperkte resultaten bieden.
c – Het beschikbaar hebben van heel veel mogelijkheden om problemen op te lossen betekent niet dat we die altijd allemaal toepassen op eenvoudige situaties. Een kennissysteem zou op soortgelijke wijze kunnen worden ontworpen: voor eenvoudige problemen worden in eerste instantie maar beperkte verzamelingen aan oplossingsmogelijkheden aangeroepen.

> Opgave 6.2.2

Uitwerking 6.2.3

(opgave 2 van Stefik op pagina 61)

a – Fout; semantische netwerken onderscheiden zich van grafen omdat de labelling van knopen en bogen op een betekenisvolle wijze geschiedt.
b – Goed; zie pagina 42.
c – Fout; volgens het annotation principle moeten de annotaties zodanig zijn, dat het verwerkende systeem er de informatie uithaalt die nodig is voor de verwerking.
d – Fout; twee representaties zijn co-referential als ze hetzelfde voorstellen. Dat betekent nog niet dat ze beide naar eenzelfde knoop in het semantische netwerk verwijzen.
e – Goed; zie pagina 41.

> Opgave 6.2.3

Uitwerking 6.2.4

Zie de uitwerking van opgave 4 op bladzijde 812.

> Opgave 6.2.4

Uitwerking 6.2.5

(opgave 6 van Stefik op pagina 62)

a – Een semantisch netwerk zou er uit kunnen zien zoals in figuur 6.2.1.

fi060201.gif (11558 bytes)

FIGUUR 6.2.1 Een semantisch netwerk voor een Skybird

Als we alléén naar de relaties van de onderdelen willen kijken, hoeven we allen naar de ‘has’-relaties te kijken. Vereenvoudigen we het semantisch netwerk tot een graaf met deze relaties, dan resulteert figuur 6.2.2.

fi060202.gif (5185 bytes)

FIGUUR 6.2.2 Een graafrepresentatie van de onderdelenrelatie

Als we alleen naar de klasse-representatie willen kijken, dan vervalt de knoop ‘Skybird nr. 100’ en de bogen die daarmee verbonden zijn.

b – De representatie die gebruikt kan worden is al gegeven in onderdeel a.
c – Alle knopen die ‘part’ zijn moeten in een lijst worden ondergebracht en gesorteerd.
d – ‘Left-door’ en ‘right-door’ zijn beide car-doors. Een ‘car-door’ heeft een handel, dus left-door en right-door hebben ook beide een handel.

> Opgave 6.2.5

Uitwerking 6.2.6

Zie de uitwerking van opgave 11 op bladzijde 812.

> Opgave 6.2.6