instantiërings

Instantiëring is het proces waarbij een concreet exemplaar wordt gemaakt van een generiek model, sjabloon of concept. Het houdt in dat een abstracte structuur wordt omgezet naar een concrete instantie door het toewijzen van specifieke waarden of het creëren van een daadwerkelijk object of gebeurtenis.

In de informatica en programmeren verwijst instantiëring naar het creëren van een object van een klasse. Een klasse beschrijft de eigenschappen en gedrag van een type object; een concrete instantie is een object met een unieke staat. Bijvoorbeeld kan een klasse Auto een object auto1 opleveren met kleur, merk en motorstatus als specifieke waarden. Instantiëring omvat vaak het aanroepen van een constructor en het toewijzen van geheugen.

In logica en kunstmatige intelligentie betekent instantiëring het vervangen van variabelen door concrete termen zodat een algemene uitspraak een specifieke interpretatie krijgt. Condities zoals ∀x P(x) kunnen worden geinstantieerd tot P(a) door x te substitueren met een term a. Instantiëring gaat vaak samen met unificatie bij zoek- en redeneringsprocedures.

In taalkunde en semantiek wordt instantiëring gebruikt om te beschrijven hoe een generieke betekenis of gebeurtenis wordt gealloceerd aan een concrete gebeurtenis in de feitelijke wereld of in een discours. Dit helpt bij het analyseren van interpretaties en argumentrollen in zinnen.

In data- en informatiesystemen verwijst instantiëring naar het maken van individuele records of rijen van een entiteitstype, waarbij elk record een specifieke instantie van het type representeert. Belangrijke overwegingen zijn onder meer levensduur, identiteitsbeheer en geheugen- of opslagbeheer.