UITWERKINGEN
6.2 Semantiek
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 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 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.
Zie de uitwerking van opgave 4 op bladzijde 812.
(opgave 6 van Stefik op pagina 62)
a Een semantisch netwerk zou er uit kunnen zien zoals in figuur 6.2.1.
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.
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.
Zie de uitwerking van opgave 11 op bladzijde 812.