Voorstellen van en redeneren over kennis

Vorig uur: Kennissystemen Verwerven Vorig uur: Kennissystemen Voorstellen Redeneren Gebruiken Verwerven: bron  interne representatie Redeneren: Interne representatie  interne representatie Gebruiken: Interne representatie  doel Voorbeeld van 29 oktober 2006 (begin wintertijd) Nog ten minste 3 seconden wachten tot dat iedereen het hele plaatje gezien heeft

Nu Voorstellen

verwerft kennis van Kennisingenieur Specialist (expert) Kennisgebruiker

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.   

Vlugge Vraag Wat zijn de belangrijke objecten in “Al die willen…” Jan, Piet, Joris en Corneel mannen met baarden diegene die te kap’ren willen varen geen enkele antwoord is juist A. Mannen met baarden en meevaarders zijn klassen of typen van objecten

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 Voordelen van blauw en rood tov geel: we kunnen ook over niet mannelijke baardeigenaars spreken, zoals vrouwen met een baard of bokken. Voordeel van geel: eenvoudig Voordeel van rood tov blauw: hebben is niet beperkt tot “baardhebben” In ‘t algemeen moeten we een evenwicht zoeken tussen expressiviteit (hoeveel kunnen we zeggen) en eenvoud (wat gevolgen kan hebben voor de efficientie van het rederene)

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.

Vlugge Vraag “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? “Martien van der Wielen staat niet op het lijst” is een algemene feit. “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 van één dier of ieder van zijn/haar dier? Iedereen houdt van een dier Iedereen van één dier of ieder van zijn/haar dier? Nicolas Poussin Onbekende schilder

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

Onafhankelijk van een breder context Redeneer- module(s) Kennisbank(en)

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

Volgende week meer! Kandidaten Logica’s XML – RDF - … nog veel meer… eerste orde logica, prepositielogica, beschrijvende logica’s, versteklogica, modale logica, … XML – RDF - … XML, RDF, RDFS, OWL nog veel 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 ½