Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Voorstellen van en redeneren over kennis

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Vorig uur:Kennissystemen

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Nu

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

verwerft kennis van

Kennisingenieur

Kennisgebruiker

Specialist (expert)

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

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?

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

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 verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

• 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

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

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

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

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.

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

“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.

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Taken van de kennisingenieur

• Kies een representatieformalisme– Wat verwachten we van een

representatieformalisme?

• Zet de kennis om in dit formalisme

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Ondubbelzinnigheid• Iedereen houdt van een dier

Nicolas Poussin Onbekende schilder

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

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Expressiviteit• Hoe spel je microtonale

muziek (< ½ toon) op een klassiek piano?

½

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Compositionaliteit

verplicht fietspad

einde van einde van verplicht fietspad

parkeer-verbod

einde van verboden stil te staan

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Leesbaarheid voor mens en machine

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Dus, …

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

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

Kandidaten

natuurlijke taal

logica XML, RDF,…

ondubbelzinnig - + +

expressief ++ + +/-

compositioneel - + +

leesbaar voor mens ++ + +/-

leesbaar voor machine

+/- + ++

Wat verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

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 verwachten we van een representatieformalisme?

Vragen van een kennisingenieur

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

½