Да проблема очень трудная и интересная . Поэтому Сетунь интересует в первую очередь с точки зрения мат.логики. Хотелось немного поспорить по поводу ИИ , но это требует серьезной подготовки. Поэтому прошу прощение за некомпетентность в некоторых аспектах.
И всетаки хотелось бы услышать ваше мнение про Сетунь