vragen van een kennisingenieur wat verwachten we van een representatieformalisme? voorstellen van en...

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Voorstellen van en redeneren over kennis



Vorig uur:Kennissystemen



Nu



verwerft kennis van

Kennisingenieur

Kennisgebruiker

Specialist (expert)



Vragen van de kennisingenieur (1)

• Woordenschat– Wat zijn de belangrijke objecten?

– Wat zijn de typen van deze objecten?

– Wat zijn de relaties tussen verschillende objecten?



Jan, Piet, Joris en Corneel

Al die willen te kap’ren varen moeten mannen met baarden zijn.Jan, Piet, Joris en Corneel, die hebben baarden,die hebben baarden. Jan, Piet, Joris en Corneel die hebben baarden, zij varen mee.



• Wat zijn de belangrijke objecten in “Al die willen…”

A. Jan, Piet, Joris en Corneel

B. mannen met baarden

C. diegene die te kap’ren willen varen

D. geen enkele antwoord is juist



Mogelijke antwoorden

• Objecten: Jan, Piet, Joris, Corneel

• Types: man-met-een-baard, meevaarder

• Relaties: geen

• Objecten: Jan, Piet, Joris, Corneel

• Types: man, baardeigenaar, meevaarder

• Relaties: geen

• Objecten: Jan, Piet, Joris, Corneel, baard

• Types: man, meevaarder

• Relaties: hebben



Vragen van de kennisingenieur (2)

• Expliciete kennis– Basisfeiten over de individuele objecten

• Jan, Piet, Joris en Corneel hebben baarden

– Algemene feiten over meerdere objecten• Al die willen te kap’ren varen

moeten mannen met baarden zijn.

• Impliciete kennis– Jan, Piet, Joris en Corneel zijn mannen.



“Juist vandaag valt de kieslijst voor Provinciale Staten in de bus. ‘Ik sta er niet op. Dat voelt toch wel vreemd’, zegt Martien van der Wielen.”

Welke van de volgende stellingen is juist?

A. “Martien van der Wielen staat niet op het lijst” is een algemene feit.

B. “Martien van der Wielen stond op het lijst in het verleden” is een impliciete kennis.



Taken van de kennisingenieur

• Kies een representatieformalisme– Wat verwachten we van een

representatieformalisme?

• Zet de kennis om in dit formalisme



Ondubbelzinnigheid• Iedereen houdt van een dier

Nicolas Poussin Onbekende schilder

Iedereen van één dier of ieder van zijn/haar dier?



Expressiviteit• Hoe spel je microtonale

muziek (< ½ toon) op een klassiek piano?

½



Compositionaliteit

verplicht fietspad

einde van einde van verplicht fietspad

parkeer-verbod

einde van verboden stil te staan



Leesbaarheid voor mens en machine



Dus, …

• Het representatieformalisme moet– ondubbelzinnig– expressief– compositioneel– leesbaar voor mens en machine



Kandidaten

natuurlijke taal

logica XML, RDF,…

ondubbelzinnig - + +

expressief ++ + +/-

compositioneel - + +

leesbaar voor mens ++ + +/-

leesbaar voor machine

+/- + ++



Kandidaten

• Logica’s– eerste orde logica, prepositielogica,

beschrijvende logica’s, versteklogica, modale logica, …

• XML – RDF - … – XML, RDF, RDFS, OWL

• nog veel meer…

Volgende week meer!



Wat hebben we gezien?

• Objecten, types en relaties.• Kennis: impliciet en expliciet.• Wat verwachten we van een

representatieformalisme?– ondubbelzinnigheid– expressiviteit– compositionaliteit– leesbaarheid voor mens en machine

½

vragen van een kennisingenieur wat verwachten we van een representatieformalisme? voorstellen van en...

Documents