Automated Reasoning for Relational Probabilistic Knowledge Representation

被引：0

作者：

Beierle, Christoph ^{[1
]}

Finthammer, Marc ^{[1
]}

Kern-Isberner, Gabriele ^{[2
]}

Thimm, Matthias ^{[2
]}

机构：

[1] FernUniv, Dept Comp Sci, D-58084 Hagen, Germany

[2] TU Dortmund, Dept Comp Sci, D-44221 Dortmund, Germany

来源：

AUTOMATED REASONING | 2010年 / 6173卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

KREATOR is a toolbox for representing, learning, and automated reasoning with various approaches combining relational first-order logic with probabilities. We give a brief overview of the KREATOR system and its automated reasoning facilities.

引用

页码：218 / +

页数：2

共 11 条

[1]

[Anonymous], 2007, Introduction to Statistical Relational Learning

[2]

[Anonymous], 1998, PROBABILISTIC REASON

[3]

[Anonymous], P 14 INT WORKSH NONM

[4]

[Anonymous], P 12 C UNC ART INT

[5]

[Anonymous], P 22 INT FLAIRS C FL

[6]

Finthammer M., 2009, WORKSH KI 2009 PAD G, V354, P34

[7] Characterizing the principle of minimum cross-entropy within a conditional-logical framework [J].

Kern-Isberner, G .

ARTIFICIAL INTELLIGENCE, 1998, 98 (1-2) :169-208

[8]

Kok S., 2008, The Alchemy system for statistical relational AI

[9]

Paris J.B., 1994, UNCERTAIN REASONERS

[10] Features of the Expert-System-Shell SPIRIT [J].

Roedder, Wilhelm ;

Reucher, Elmar ;

Kulmann, Friedhelm .

LOGIC JOURNAL OF THE IGPL, 2006, 14 (03) :483-500

← 1 2 →