9.1 Basiszoekconcepten
In deze paragraaf wordt uiteengezet dat zoekmethoden een belangrijke rol spelen in kennissystemen. Uiteengezet wordt welke veronderstellingen daarbij een rol spelen en welke karakteristieke onderdelen in een zoeksysteem voorkomen.
9.1.1 Probleemoplossen door zoeken
Lees uit Stefik: hoofdstuk 2 tot paragraaf 2.1.1 (pagina 146 tot en met 148).
Er zijn vijf veronderstellingen bij het toepassen van fysieke symboolsystemen als zoeksystemen
voor het oplossen van problemen:
oplossingen worden gegeven door symboolstructuren
fysieke symboolsystemen kunnen alternatieve oplossingen genereren
fysieke symboolsystemen kunnen potentiële oplossingen vergelijken
er zijn methoden om naar oplossingen te zoeken
met behulp van kennis kunnen zoekmethoden worden verbeterd.
Niet-heuristisch zoeken wordt aangeduid als blind zoeken. In geval van blind zoeken zijn er geen heuristieken die het zoekproces in de goede richting leiden.
Wanneer we zoeken naar een telefoonnummer in een telefoonboek bij een bepaalde naam, gebruiken we waarschijnlijk een systematische zoekmethode. Dit zou niet mogelijk zijn als de namen niet op alfabetische volgorde staan; dat wil zeggen: als ze bijvoorbeeld op telefoonnummer geordend zouden staan. Systematisch zoeken is mogelijk als de gegevens op een geschikte wijze geordend zijn en we weten hoe die ordening is.
9.1.2 Structureren van zoekruimtes
Lees uit Stefik: paragraaf 2.1.1 (pagina 148 tot en met 153).
In hoofdzaak zijn er twee ruimtes die relevant zijn bij zoekmethoden: de zoekruimte en de oplossingsruimte. De zoekruimte bevat alle symboolstructuren die eventueel een oplossing kunnen zijn; de oplossingsruimte bevat de oplossingen.
Vooral de zoekruimte kan zeer groot zijn. Een goede structurering daarvan is dan noodzakelijk om een efficiënte zoekmethode mogelijk te maken.