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