Probabilistic Description Logics For Subjective Uncertainty

被引：20

作者：

Gutierrez-Basulto, Victor ^{[1
]}

Jung, Jean Christoph ^{[1
]}

Lutz, Carsten ^{[1
]}

Schroeder, Lutz ^{[2
]}

机构：

[1] Univ Bremen, Bibliothekstr 1, D-28359 Bremen, Germany

[2] Friedrich Alexander Univ Erlangen Nurnberg, Schlosspl 4, D-91054 Erlangen, Germany

来源：

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | 2017年 / 58卷

关键词：

D O I：

10.1613/jair.5222

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We propose a family of probabilistic description logics (DLs) that are derived in a principled way from Halpern's probabilistic first-order logic. The resulting probabilistic DLs have a two-dimensional semantics similar to temporal DLs and are well-suited for representing subjective probabilities. We carry out a detailed study of reasoning in the new family of logics, concentrating on probabilistic extensions of the DLs A L C and E L, and showing that the complexity ranges from PTime via ExpTime and 2ExpTime to undecidable.

引用

页码：1 / +

页数：66

共 59 条

[1] Computing Subjective Expected Utility using Probabilistic Description Logics [J].

Acar, Erman .

STAIRS 2014, 2014, 264 :21-30

[2]

[Anonymous], 2003, DESCRIPTION LOGIC HD

[3]

[Anonymous], 2011, ser. Synthesis Lectures on Data Management

[4]

[Anonymous], 1998, Theory of linear and integer programming

[5]

Artale A., 2007, P 14 INT S TEMP REPR

[6]

Artale A, 2007, 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, P218

[7]

Baader F., 2003, P 18 INT JOINT C ART, P325

[8]

Baader F, 2005, 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), P364

[9]

BACCHUS F, 1992, AAAI-92 PROCEEDINGS : TENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, P602

[10]

Bodenreider Olivier, 2004, Form Ontol Inf Syst, V2004, P185

← 1 2 3 4 5 6 →