Abstrakt. I vissa tillämpningsområden är det ibland användbart att resonera om rimliga men "inte uppenbara" scenarier, exklusive de mest triviala. I detta arbete introducerar vi icke-monotoniska procedurer för förmånsbeskrivning Logik för att resonera om rimliga men -i viss mening - "överraskande" scenarier. Vi anser en förlängning, kallad ALC + T exp R, av den icke-monotoniska logiken av typiska ALC + T R genom inklusioner av formen T(C) d D, där d är en grad av förväntadhet. Vi anser att en förlängning av en ABox, för att anta typiska påståenden om individer som uppfyller kardinalitetsbegränsningar för begrepp, då vi definierar en preferens relation bland sådana utvidgade ABoxar baserat på graden av förväntadhet, då vi begränsar införandet till de förlängningar som är minimala med avseende på denna preferens relation. Vi föreslår ett beslutsförfarande för resonemang i ALC + T exp R och vi utnyttjar det för att visa att inblandning är i EXPTIME som för den underliggande ALC. Slutligen inför vi en ytterligare utvidgning av det föreslagna tillvägagångssättet för att resonera om alla tänkbara utvidgningar av ABox, genom att begränsa uppmärksamheten till specifika nivåer av förväntadhet som sträcker sig från de mest överraskande scenarierna till de mest förväntade, och vi visar att det fortfarande förekommer i EXPTIME även i dessa fall.
Samma kritik gäller också för det tillvägagångssätt som föreslås i REF, där ALC + T R utvidgas genom införande av blanketten T(C) d D, där d är en grad av förväntadhet, används för att definiera en preferensrelation mellan utvidgade ABoxar: det innebär att frågor begränsas till ABoxar som är minimala med avseende på sådana preferensrelationer och som utgör överraskande scenarier.
Reasoning about plausible scenarios in Description Logics of typicality
{'venue': 'Intelligenza Artificiale', 'journal': 'Intelligenza Artificiale', 'mag_field_of_study': ['Computer Science']}