A GUI for MLNEstêvão F. Aguiar, Marcelo Ladeira, Rommel N. Carvalho, and Shou

Matsumoto Universidade de Brasília

!Paper - Uncertainty Reasoning for the Semantic Web

URSW - ISWC 10/21/2013 - Sydney, Australia

Agenda

2

Agenda

Markov Logic Network (MLN)

2

Agenda

Markov Logic Network (MLN)

Choice of Implementation

2

Agenda

Markov Logic Network (MLN)

Choice of Implementation

To GUI or Not to GUI

2

Agenda

Markov Logic Network (MLN)

Choice of Implementation

To GUI or Not to GUI

Conclusion

2

MLN

3MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

MLN*

4

* [Richardson & Domingos 2006] http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb2011-slides.pdf

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

MLN*Syntax: a set of weighted logical rules

0.5 Smokes(p) => Cancer(p) // if you smoke, you are more likely to have cancer

 Weights: cost for rule violation

4

* [Richardson & Domingos 2006] http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb2011-slides.pdf

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

MLN*Syntax: a set of weighted logical rules

0.5 Smokes(p) => Cancer(p) // if you smoke, you are more likely to have cancer

 Weights: cost for rule violation

Semantics: a distribution over possible worlds

Each possible world I incurs total cost cost(I)

Pr[I] ∝exp(−cost(I))

Thus most likely world has lowest cost

4

* [Richardson & Domingos 2006] http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb2011-slides.pdf

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

MLN*

5

* http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb2011-slides.pdf

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

MLN*

5

Rules!

0.5 Smokes(p) => Cancer(p) // if you smoke, you are more likely to have cancer

0.4 Friends(p1,p2) ∧ Smokes(p1) => Smokes(p2) 0.4 Friends(p1,p2) ∧ Smokes(p2) => Smokes(p1)

// friends that smoke are more likely to have friends that also smoke

* http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb2011-slides.pdf

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

MLN*

5

Rules!

0.5 Smokes(p) => Cancer(p) // if you smoke, you are more likely to have cancer

0.4 Friends(p1,p2) ∧ Smokes(p1) => Smokes(p2) 0.4 Friends(p1,p2) ∧ Smokes(p2) => Smokes(p1)

// friends that smoke are more likely to have friends that also smoke

* http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb2011-slides.pdf

Certain!

Friends(Anna,Bob) Smokes(Anna)

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

MLN*

5

Rules!

0.5 Smokes(p) => Cancer(p) // if you smoke, you are more likely to have cancer

0.4 Friends(p1,p2) ∧ Smokes(p1) => Smokes(p2) 0.4 Friends(p1,p2) ∧ Smokes(p2) => Smokes(p1)

// friends that smoke are more likely to have friends that also smoke

* http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb2011-slides.pdf

Certain!

Friends(Anna,Bob) Smokes(Anna)

Uncertain!

Cancer(?)

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

Choice of Implementation

6MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

UnBBayes Plugin Framework

7MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

Choice of Implementation

8MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI

9MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI*

10

*http://hazy.cs.wisc.edu/hazy/tuffy/doc/

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI*

11

*http://hazy.cs.wisc.edu/hazy/tuffy/doc/

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI*

11

*http://hazy.cs.wisc.edu/hazy/tuffy/doc/

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI*

11

*http://hazy.cs.wisc.edu/hazy/tuffy/doc/

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI*

11

*http://hazy.cs.wisc.edu/hazy/tuffy/doc/

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI*

11

*http://hazy.cs.wisc.edu/hazy/tuffy/doc/

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI*

11

*http://hazy.cs.wisc.edu/hazy/tuffy/doc/

MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI

12MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI

13MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI

14MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI

15MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI

16MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI

16MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI

16MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

To GUI or Not to GUI

17MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

Conclusion

18MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

Conclusion

19MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

ConclusionPros

Easy-to-use tool for MLN

Dynamic search of predicates, rules, and evidence

Add/remove features for predicates, rules, and evidence

Facilitates new parameters available in future versions of Tuffy

19MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

ConclusionPros

Easy-to-use tool for MLN

Dynamic search of predicates, rules, and evidence

Add/remove features for predicates, rules, and evidence

Facilitates new parameters available in future versions of Tuffy

Cons

Still a beta tool

Needs more serious testing

A lot more GUI features could be incorporated

19MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

Obrigado!

20