Теория конечных моделей с малым числом базисных отношений
Руководитель проекта: Калимолдаев М.Н.
Исполнители проекта: Нуртазин А.Т., Хисамиев З.Г.
Организация: Институт информационных и вычислительных технологий
Инвентарный номер: 0216РК00407
Регистрационный номер: 0115РК00555
Ключевые слова: экзистенциально замкнутые модели*форсинг метод*форсинг модель*логическое программирование*семантика*антецедент*консеквент*логическое программирование
Построены экзистенциально замкнутые компаньоны, имеющие счeтное или конечное число различных пополнений, одно из которых является форсинг-теорией. Во всех построенных примерах имеется лишь по одной форсинг-модели. Для достаточно строгих текстов, таких как юридические законы, разработан алгоритм автоматического преобразования текстов в семантико-синтаксический формализм логического программирования.