Uma fórmula de raciocínio para computadores que ajudará a Internet a ser mais eficiente acaba de ser distinguida com o Prémio Nacional de Trabalhos em Inteligência Artificial 2009, atribuído pela Associação Portuguesa para a Inteligência Artificial.

A investigação, denominada “Probabilistic Reasoning in the Semantic Web using Markov Logic”, foi desenvolvida pelo jovem Pedro Oliveira, no âmbito do mestrado em Engenharia Informática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCTUC), que obteve a nota máxima, de 20 valores.