LEERDOELEN

6.2 Semantiek

Na het bestuderen van deze paragraaf wordt verwacht dat u
– weet dat er verschillende semantieken zijn voor het toekennen van betekenissen aan symbolen
– predikaatlogica kunt gebruiken om kennis te representeren
– uit kunt leggen waarom predikaatlogica een reductionistische aanpak is voor het representeren van kennis
– het onderscheid aan kunt geven tussen grafen en semantische netwerken
– semantische netwerken kunt gebruiken om kennis te representeren
– bekend bent met de volgende begrippen: waarheidssemantiek, bewijssemantiek, declaratieve semantiek, reductionisme, annotatieprincipe, co-referentie.