Lembrei que este assunto já tinha circulado na lista. Para os interessados, uma palestra no Youtube:
https://www.youtube.com/watch?v=oxWruJZ-BbU&index=31&list=WL Para quem assistir, ficarei bem curioso por comentários! Achei a posição um pouco super simplificada. Ab., Alexandre Rademaker http://arademaker.github.com/ http://researcher.ibm.com/person/br-alexrad 2016-06-25 18:48 GMT-03:00 Marcelo Finger <mfin...@ime.usp.br>: > OI João. > > Obrigado por este link. > > Pelo trabalho anterior dos autores e por esta frase aqui: "We first > define probabilistic theorem proving (PTP) [...] as the problem of > computing the probability of a logical formula given the probabilities or > weights of a set of formulas. " > > Dá pra perceber que se trata de uma extensão do trabalho com Markov Logic > Networks, uma combinação de lógica, grafos e redes bayesianas. > > Vou dar uma olhada mais a fundo. > > Valeu! > > Marcelo > > > 2016-06-25 6:51 GMT-03:00 Joao Marcos <botoc...@gmail.com>: > >> Probabilistic Theorem Proving >> --- by Vibhav Gogate, Pedro Domingos >> Communications of the ACM, Vol. 59 No. 7, Pages 107-115 >> http://cacm.acm.org/magazines/2016/7/204016-probabilistic- >> theorem-proving/ >> >> (Quem não conseguir acessar o conteúdo completo pode querer dar uma >> olhada no preprint dos autores no arXiv, de 2012: >> https://arxiv.org/abs/1202.3724.) >> >> JM >> >> -- >> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >> Grupos do Google. >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. >> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. >> Acesse esse grupo em https://groups.google.com/a/ >> dimap.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse https://groups.google.com/a/ >> dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgeBD6N_j-wnHh4Edjd595bWYx_dTYV% >> 3DO6n6OSE30%2B71g%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgeBD6N_j-wnHh4Edjd595bWYx_dTYV%3DO6n6OSE30%2B71g%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > > -- > Marcelo Finger > Departament of Computer Science, IME > University of Sao Paulo > http://www.ime.usp.br/~mfinger > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CABqmzx26Yb%2BGbDE_%3DkD9rMmD%3D% > 2BKyB3fWANwPat3RULz-8CeUwQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx26Yb%2BGbDE_%3DkD9rMmD%3D%2BKyB3fWANwPat3RULz-8CeUwQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGkfTgbSqxorHkNakrH%3D4D2WCW-EuvNaKkJrQ6Lwff0aiiPsUg%40mail.gmail.com.