Presentation given by Rommel N. Carvalho at the 9th International Workshop on Uncertainty Reasoning for the Semantic Web at the 12th International Semantic Web Conference in October 21, 2013, Sydney, Australia. This was a joint work between the Research and Strategic Information Directorate from Brazil's Office of the Comptroller General and the Department of Computer Science from the University of Brasília. Title: A GUI for MLN. Abstract: This paper focuses on the incorporation of the Markov Logic Network (MLN) formalism as a plug-in for UnBBayes, a Java framework for probabilistic reasoning based on graphical models. MLN is a formalism for probabilistic reasoning which combines the capacity of dealing with uncertainty tolerating imperfections and contradictory knowledge based a Markov Network (MN) with the expressiveness of First Order Logic. A MLN provides a compact language for specifying very large MNs and the ability to incorporate, in modular form, large domain of knowledge (expressed in First Order Logic sentences) inside itself. A Graphical User Interface for the software Tuffy was implemented into UnBBayes to facilitate the creation, and inference of MLN models. Tuffy is a Java open source MLN engine.

1. A GUI for MLN
Estêvão F. Aguiar, Marcelo Ladeira, Rommel N. Carvalho, and Shou
Matsumoto
Universidade de Brasília
!
Paper - Uncertainty Reasoning for the SemanticWeb
URSW - ISWC
10/21/2013 - Sydney,Australia

2. Agenda
2

3. Agenda
Markov Logic Network (MLN)
2

4. Agenda
Markov Logic Network (MLN)
Choice of Implementation
2

5. Agenda
Markov Logic Network (MLN)
Choice of Implementation
To GUI or Not to GUI
2

6. Agenda
Markov Logic Network (MLN)
Choice of Implementation
To GUI or Not to GUI
Conclusion
2

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

8. 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

9. 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

10. 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

11. MLN*
5
* http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb2011-slides.pdf
MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

12. 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

13. 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

14. 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

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

16. UnBBayes Plugin Framework
7MLN - Choice of Implementation - To GUI or Not to GUI - Conclusion

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

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

19. 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

20. 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

21. 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

22. 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

23. 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

24. 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

25. 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

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

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

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

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

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

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

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

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

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

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

36. Conclusion
Pros
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

37. Conclusion
Pros
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

38. Obrigado!
20