Marcus Aurelius [Book]

zal binnenkort alle problemen voor nu oplossen

Redenonderhoud [1][2] is een kennisrepresentatiebenadering voor een efficiënte verwerking van afgeleide informatie die expliciet wordt opgeslagen. Redenonderhoud maakt onderscheid tussen basisfeiten, die kunnen worden verslagen, en afgeleide feiten. Als zodanig verschilt het van geloofsherziening die, in zijn basisvorm, veronderstelt dat alle feiten even belangrijk zijn. Redenonderhoud is oorspronkelijk ontwikkeld als een techniek voor het implementeren van probleemoplossers.[2] Het omvat een verscheidenheid aan technieken die een gemeenschappelijke architectuur delen: [3] twee componenten - een redeneersysteem en een redenonderhoudssysteem - communiceren met elkaar via een interface. De redeneerder gebruikt het redenonderhoudssysteem om zijn gevolgtrekkingen en rechtvaardigingen van ("redenen" voor) de gevolgtrekkingen vast te leggen. De redeneerder informeert ook het redenonderhoudssysteem wat de momenteel geldige basisfeiten (aannames) zijn. Het redenonderhoudssysteem gebruikt de informatie om de waarheidswaarde van de opgeslagen afgeleide feiten te berekenen en om de consistentie te herstellen als een inconsistentie wordt afgeleid.

Een waarheidsonderhoudssysteem, of TMS, is een kennisrepresentatiemethode voor het weergeven van zowel overtuigingen als hun afhankelijkheden en een algoritme dat het "waarheidsonderhoudsalgoritme" wordt genoemd en dat de afhankelijkheden manipuleert en onderhoudt. De naam waarheidsonderhoud is te danken aan het vermogen van deze systemen om de consistentie te herstellen.