Алгоритмы определения обстоятельств, имеющих значение для дела, в программе информационно-технологической поддержки принятия судебных решений

Цель: создание компьютерной программы информационно-технологической поддержки принятия мотивированных судебных решений, а также получение конструктивной критики оснований иска и возражений против иска, представленных в формах программы, для ее совершенствования.Методы: всеобщий диалектико-материалистический метод при переводе правоприменительного процесса на язык информационных технологий; анализ и синтез правоприменительного процесса, формально-юридический метод для перевода требований закона и юридической науки к правоприменительной деятельности в команды программы для судьи и участников дела; объектно ориентированный подход к моделированию; объектно ориентированная методология программирования, реляционный подход к проектированию баз данных. Результаты: создана часть компьютерной программы информационно-технологической поддержки принятия мотивированных судебных решений по делам искового производства по правилам гражданского судопроизводства, решающая задачи ст. 148 Гражданского процессуального кодекса Российской Федерации. Научная новизна: впервые представлена часть программы, которая обязывает судью учесть все доводы сторон относительно обстоятельств, подлежащих установлению по делу, сделать по ним выводы и параллельно с выводами и аргументацией судьи по каждому выбору составляет мотивированное решение. Представляется, что загруженность судов может быть устранена программным обеспечением принятия и мотивировки судебного решения, что существенно сократит время на его изготовление. Программа не имеет аналогов среди программного обеспечения решения юридических споров по определению обстоятельств, имеющих значение для дела искового производства. Практическая значимость: представляемая часть программы показывает, как судья и участники дела определяют юридически значимые обстоятельства дела искового производства, подлежащие доказыванию и обоснованию. Создаваемый перечень обстоятельств вынуждает по логике программы сделать мотивированный вывод о его доказанности и юридической значимости каждого обстоятельства. Промежуточные выводы предопределяют решение по заявленному исковому требованию.