Сложные причинно-следственные связи

Рассматривается задача построения логического вывода конкретного свойства из данных, выбираемых из множества наборов исходных данных. При решении задачи учитываются как возможности нарушения причинно-следственной схемы из-за шума, так и возможности недостижимости получения необходимого вывода. Построена причинно-следственная схема приближенного вывода, состоящая из объектов покрытий причин и следствий, которая начинается из исходных предпосылок и заканчивается выводом объекта, содержащего требуемое свойство. Для описания процесса порождения логического вывода объекта с интересующим свойством из исходных данных введено понятие активации объектов. Это свойство позволяет представить схему вывода в форме DAG (Directed Acyclic Graph). Построен простой алгоритм конструирования причинно-следственной схемы из исходных данных к объекту, содержащему искомое свойство. Этот алгоритм также определяет условия существования возможностей вывода из исходных условий объекта с требуемым свойством.