Det erkänns i allt högre grad att man identifierar graden av skuld eller ansvar för varje formel för inkonsekvens i en kunskapsbas (dvs. en uppsättning formler) är användbar för att fatta rationella beslut för att lösa inkonsekvens i denna kunskapsbas. De flesta nuvarande tekniker för att mäta skulden för varje formel med avseende på en inkonsekvent kunskapsbas fokuserar enbart på klassiska kunskapsbaser. Man har ännu inte tagit särskilt stor hänsyn till förslag till hur man skall mäta felen i formler med avseende på en inkonsekvent prioriterad kunskapsbas. Begreppet "prioritering" är dock viktigt i ett inkonsekvent resonemang. Denna artikel undersöker denna fråga och presenterar en familj av mätningar för graden av skuld för varje formel i en inkonsekvent prioriterad kunskapsbas genom att använda de minimala inkonsekventa undergrupper av den kunskapsbasen. Först och främst presenterar vi en uppsättning intuitiva postulater som allmänna kriterier för att karakterisera rationella mätningar för klander av formler av en inkonsekvent prioriterad kunskapsbas. Sedan presenterar vi en familj av mätningar för skulden för varje formel i en inkonsekvent prioriterad kunskapsbas under ledning av proportionalitetsprincipen, en av de intuitiva postulates. Vi visar också att var och en av dessa mätningar har de egenskaper som den borde ha. Slutligen använder vi ett enkelt men förklarande exempel inom kravteknik för att illustrera tillämpningen av dessa mätningar. Jämfört med de relaterade verken, de postulater som presenteras i denna artikel tar hänsyn till de särskilda egenskaperna hos minimala inkonsekventa undergrupper samt de prioriterade nivåer av formler. Detta gör dem mer lämpliga för att karakterisera de inkonsekvensåtgärder som definieras från minimala inkonsekventa undergrupper för prioriterade kunskapsbaser samt klassiska kunskapsbaser. På motsvarande sätt kan de åtgärder som styrs av dessa postulater intuitivt fånga inkonsekvensen för prioriterade kunskapsbaser. Nyckelord: Inkonsistensåtgärder, prioriterad kunskapsbas, minimala inkonsekventa undergrupper, skulden för varje formel i inkonsekvens.
Inkonsekvensmåttet Inc v för typ II-prioriterad kunskapsbas som presenteras i REF ligger mycket nära den poängmatrisfunktion för betydelse som presenteras i detta dokument.
Measuring the blame of each formula for inconsistent prioritized knowledge bases
{'venue': 'J. Log. Comput.', 'journal': 'J. Log. Comput.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}