Ferramentas Pessoais
Você está aqui: Página Inicial pasta de notícias Palestra do prof. Marcelo Finger (USP) - 13/11/2013 - 15h00

Palestra do prof. Marcelo Finger (USP) - 13/11/2013 - 15h00

por Adolfo Gustavo Serra Seca Neto última modificação 14/11/2013 16:54

Palestra do prof. Marcelo Finger (USP) - 13/11/2013 - 15h00

Marcelo Finger

Título: Applications of Probabilistic Logic to Materials Discovery: solving problems with both hard and soft constraints

Data: 13/11/2013 (Quarta-feira)
Horário: 15h00
Local: Sala A-202, Bloco A
Universidade Tecnológica Federal do Paraná -  Câmpus Curitiba
Av. 7 de Setembro, 3165, Rebouças - 80230-901 Curitiba-PR

Resumo: Materials Discovery is a computational problem found in Combinatorial  Material Sciences,  which deals with identifying the component ("phases")  after a reaction which is looking for new materials; in our case, we are looking for new catalysts to help in polution filtering.  The computational problems consists in identifying the presence of possibly interfering patterns observed in X-Ray diffraction of samples in a material.

This problem, as well as many others,  involve the  combination of real-world hard constraints with   soft  constraints involving  preferences, uncertainties  or flexible requirements.  A probability distribution  over the models that meet  the hard constraints is an answer  to such problems that  is in the  spirit of incorporating soft constraints.

We  propose  a   method  using  SAT-based  reasoning,  probabilistic reasoning and  linear programming that computes  such a distribution  when soft constraints are interpreted as constraints whose violation  is bound  by a  given probability.  The method, called Optimized Probabilistic  Satisfiability (oPSAT), consists  of  a two-phase computation of a probability distribution over the set of valuations  of  a SAT  formula.  Algorithms  for both  phases are  presented and their complexity is discussed.


Biografia: Marcelo Finger possui graduação em Engenharia Eletronica pela Universidade de São Paulo(1988), mestrado em Foundations of Advanced Information Technology pela Imperial College of Science, Technology and Medicine(1990) e doutorado em PhD in Computing pela Imperial College of Science and Technology, University of London(1994). Atualmente é Professor Titular da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial. Atuando principalmente nos seguintes temas: Automatic Deduction, Bancos de Dados, Probabilistic Logic, Combining Logic Systems, Temporal Logic e Linguistica Computacional. Currículo Lattes: http://lattes.cnpq.br/0620986273710878

 

 

Slides em http://www.slideshare.net/adolfont/curitiba2013-materialsslides

 

Fotos em http://on.fb.me/18wK1er

 

 

 

 

 

Ações do documento
« Outubro 2017 »
Outubro
DoSeTeQuQuSeSa
1234567
891011121314
15161718192021
22232425262728
293031