Исследуйте возможность индуктивного логического вывода на основе фактографической нейронной сети Антрополога-Исследователя для дополнения понятийной нейронной сети, представленной ниже.
Если дополнить понятийную нейронную сеть правилов вывода
дедушка(X,Y) :- мужчина Х, родитель(X,P), родитель(P,Y)на основе родства Федора, Ивана и Василия, то справедлив ли вывод о том, что Федор – дедушка Ирины ?