Не решенные проблемы

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


  1. Существует несколько методов сравнения языков по выразительным возможностям. Каждый из них дает разные (хотя и согласованные) разбиения теорий на классы эквивалентности по выразиительным возможностям. Кроме того, обычно применяются более сильные способы сравнения, чем явно объявляются. Остаются вопросы о предпочтительности той или иной методики сравнения, о соотношении классов эквивалентности, полученных по разным методикам, о соотношении классов эквивалентности внутри каждого из разбиений.
  2. Не решенной остается задача построения хотя бы по одной из методик единого разбиения теорий из БД (или большой группы теорий) на классы эквивалентности по выразительным возможностям (на теориях при этом задается предпорядок, а на классах эквивалентности частичный порядок). И доказательство адекватности полученного разбиения и упорядочения. Исследования в этой области носят пока весьма предварительный хатактер, выдвинут ряд гипотез и утверждений, нуждающихся в обосновании.

  1. Для автоматического построения VRML-графов в БД введена дополнительная информация, используемая для пространственного отображения графов. Пока остается не решенной задача нахождения алгоритма визуализации произвольного абстрактного графа на основе только списков вершин и списка связей.
  2. Не решенной также остается задача визуальной оптимизации графа с точки зрения человеческого восприятия. Для любого графа вручную можно подобрать более удобную для восприятия форму.

  1. Уточнение аксиоматики теории, обозначенной нами как TH_ncie и являющейся пропозициональной основой одной из реконструкций силлогистики Льюиса Кэрролла. Теория TH_ncie взята из Колесников Н.Г. Формализация силлогистики Льюиса Кэррола // Логические исследования (Труды научно-исследовательского семинара по логике Института философии АН СССР). Москва: ИФ АН СССР, 1983., где она формулируется через исчисление натурального вывода. TH_ncie является подтеорией H с отрицанием, конъюнкцией, импликацией и эквивалентностью. Пропозициональное отрицание присутствует в языке, но не определяется отдельно от силлогистических формул. Конъюнкция, импликация и эквивалентность, предположительно, совпадают с интуиционистскими.