Логики с векторной семантикой как средство верификации баз знаний

Обсуждаются общие вопросы автоматизированного поиска артефактов в продукционных базах знаний на основе логик с векторной семантикой в варианте V TF-логик. Рассматриваются случаи ложности антецедента продукции при всех допустимых значениях истинности входных посылок, наличие нигде не используемых терминов и генерирование неопределённых значений истинности, появление противоречий. Алгоритмизация рассматривается как организация прямого присоединённого логического вывода, вскрывающего артефакты баз знаний. Первые два случая выявляются подсчётом числа срабатываний каждой продукции и выявлением терминов, не привязанных к продукциям. Противоречие обнаруживается выводом с проверкой истинности заключений-гипотез. Наличие заключения с истинностью á1; 1ñ (полное противоречие) сигнализирует о противоречии на одном из этапов рассуждений, который устанавливается обратной трассировкой логической цепочки. Необходимым этапом вывода является объединение свидетельств с использованием 11-композиции (второй формы дизъюнкции в многозначной V TF-логике). Приведены: принцип расчёта истинности заключения на основе истинности посылок, стратегии объединения свидетельств, числовые меры, которые могут использоваться в ходе вывода.