Abstrakt. Motiveringslogik är epistemiska logiker som innehåller uttryckliga motiveringar för en agents kunskap. I detta dokument introducerar vi en motiveringslogik J ALC över beskrivningslogiken ALC. Vi tillhandahåller ett deduktivt system och en semantik för vår logik och vi etablerar sundhet och fullständighet resultat. Dessutom visar vi att vår logik tillfredsställer den så kallade internaliseringsegendomen, enligt vilken den internaliserar sin egen uppfattning om bevis. Vi skissar sedan två tillämpningar av J ALC: (i) motiveringstermer kan användas för att generera naturliga språk förklaringar varför en ALC uttalande innehar och (ii) termerna kan användas för att studera datasekretess frågor för beskrivning logik kunskapsbaser.
I dokumentet Ref nyligen införs en kombination av beskrivningslogik och motiveringslogik.
Justified terminological reasoning
{'venue': 'PSI 11. Proceedings of the 8th Andrei Ershov Informatics Conference, LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}