Er zal gebruik worden gemaakt van een modaal constructief logisch kader om de relatie tussen informatie en kennis te modelleren in redeneerprocessen van de vorm: op voorwarde dat de informatiegegevens x,y,z geverifieerd zijn, beschikt de groep actoren A over de verantwoorde kennis K. Dergelijke redeneervormen treft men impliciet aan in een aantal alledaagse situaties die de basis vormen van intelligente interacties en collectieve beslissingsprocedures.