Vi föreslår en ny familj av probabilistiska beskrivningslogik (DLs) som, till skillnad från de flesta befintliga metoder, härleds på ett principfast sätt från Halperns probabilistiska förstaordningslogik. De probabilistiska DLs har en tvådimensionell semantik liknande vissa populära kombinationer av DLs med temporal logik och är väl lämpade för att fånga subjektiva sannolikheter. Vårt huvudsakliga bidrag är en detaljerad studie av komplexiteten i resonemanget i den nya familjen av probabilistiska DLs, som visar att det sträcker sig från PTIME för svaga varianter baserade på den lätta DL EL till obeslutbara för vissa expressiva varianter baserade på DL ALC.
I REF studerar författarna olika logiker i denna familj och visar komplexitet i resonemanget, allt från PTIME för svaga varianter av EL till obeslutsamma för expressiva varianter av ALC.
Probabilistic Description Logics for Subjective Uncertainty
{'venue': 'KR', 'journal': None, 'mag_field_of_study': ['Computer Science']}