Логика автономных систем (СИ)