Растёт ли вероятность восстания против человека боевых машин, способных принимать решение, при увеличении количества этих машин?

Нет. А вот качества(ПО, искусственный интеллект) - да. Пример : - ситуация с корпорацией Боинг, где они вынуждены были поменять ПО. Ну и всем известный Т9(текстовый редактор - вроде не боевая машина, а гнёт свое). При программировании, пока мы будем руководствоваться формальной логикой, тавтологией, софистикой - отказ машин - закономерен и неизбежен, как результат наших некачественных действий(согласитесь, утверждение : - ветер из-за того, что деревья качаются - выглядит по меньшей мере странно, но формально, да, и деревья качаются и ветер в наличии, но причина то в чем? А вот это то и неважно, при формально-логической операции, подходе. Признаки(следствия) есть? Есть. В математике это не редкость, а скорее закономерность - даже доказательства основанные на этом принципе имеются(от противного к примеру).