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 <[email protected]>: > 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > 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ê 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/CABqmzx26Yb%2BGbDE_%3DkD9rMmD%3D%2BKyB3fWANwPat3RULz-8CeUwQ%40mail.gmail.com.
