Flera metoder har föreslagits som ett försök att hantera dynamiskt föränderliga scenarier. Ur beräkningssynpunkt har olika formalismer olika beräkningsegenskaper. I den här artikeln betraktar vi kunskapsbaser som representeras som uppsättningar av Hornklausuler. Vikten av detta fall är tvåfaldig: för det första, inferensen är polynom, alltså dragbar; för det andra, Horn klausuler representerar orsakssamband mellan fakta, därför är de av stor praktisk betydelse, även om inte alla propositionella kunskapsbaser kan representeras i Horn form. Revideringen av Horn är fortfarande mycket komplicerad, och i vissa fall sammanfaller den med komplexiteten i det allmänna (icke-Horn) fallet. Vi analyserar komplexiteten i trosrevision med tanke på sammanställningen [Cadoli et al. 1996a ]: Vi undersöker möjligheten att minska komplexiteten genom att tillåta en (eventuellt dyr) förbehandling av en del av problemets input. Utvidga arbetet med Cadoli et al. [1999] anser vi att problemet med en kompakt representation av revideringen i Hornfallet, dvs. med tanke på en kunskapsbas T och en uppdatering P (båda representerade av Hornklausuler) avgör om T  på P, resultatet av revideringen, kan representeras med en propositionell formel vars storlek är polynom i storleken av T och P. Vi ger denna representation för alla formalismer för vilka den finns, och vi visar att förekomsten av en kompakt representation är relaterad till möjligheten att minska komplexiteten i en formalism via en förbearbetning.
Liberatore REF tar upp problemet med en kompakt representation för revidering i Horn-fallet.
Compilability and compact representations of revision of Horn knowledge bases
{'venue': 'TOCL', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}