Propositielogica

Kennis van formele logica is bij het gebruiken van databases van wezenlijk belang. Gegevens of combinaties van gegevens zijn immers op te vatten als representaties van uitspraken. Met uitspraken kan worden geredeneerd, nieuwe gegevens kunnen op een al dan niet correcte wijze worden afgeleid. De formele regels om met gegevens correct (vanuit logisch standpunt gezien) om te gaan worden gegeven door een logica. Deze bijdrage geeft een inleiding in de propositie- logica. Deze logica is te beschouwen als een basis, waarop vele andere logica’s voortbouwen. Behandeld worden onder meer de begrippen uitspraak, waarheidswaarde, waarheidstabellen en redeneerschema’s

Inleiding kennissystemen

Kennissystemen zijn reeds vele jaren een van de verschijningsvormen van informatietechnologie. Veel kennissystemen maken gebruik van gegevens die reeds zijn vastgelegd in bestaande databases binnen een organisatie. Om de rol van een database in een kennissysteem duidelijk te maken zal in dit artikel een definitie van een kennissysteem worden opgebouwd. Hierbij zal worden uitgegaan van de resultaten uit de literatuur. De definitie zal bestaan uit twee delen. Beschreven zal worden wat een kennissysteem moet kunnen afleiden en op welke wijze een kennissysteem een afleiding tot stand brengt