Logicas moduladas e raciocinio sob incerteza