Изучение необходимости использования графов и множеств при логическом выводе в E-структурах, которое позволяет не только упростить процесс получения следствий, но и выполнить другие методы логического анализа рассуждений. Основные понятия E структур.
Аннотация к работе
Использование графов и у-множеств при логическом выводе в E-структурах позволяет не только упростить процесс получения следствий, но и выполнить другие методы логического анализа рассуждений. Теперь для каждой посылки мы построим новую дугу, которая будет изображать следствие, полученное с помощью правила контрапозиции. Сформулируем эти правила: 1) если исходная дуга соединяет литералы в одной строке, то ее контрапозиция должна соединять противоположные литералы на другой строке, при этом дуга должна быть направлена в сторону, противоположную исходной дуге. Теперь, если мы сопоставим понятие достижимости с правилом транзитивности в наших правилах вывода, то придем к следующему правилу, позволяющему получать на наших схемах новые следствия: Если на схеме вершина Z достижима из вершины Y, то связь Y®Z является либо исходной посылкой, либо следствием нашего рассуждения, полученном по правилу транзитивности. CT-замыканием E-структуры называется граф, в котором содержатся все посылки этой структуры и все ее следствия.