Вывод, основанный на перенесении рассуждения из исследованной области на другую область, похожую на исследованную. Если имеется вывод A ^ B, и область, в которой определено A, гомоморфна области, где определена C, а область, где определено B, гомоморфна области, где определено D, то вывод A ^ B порождает вывод C ^ D. В.П.А. есть частный случай правдоподобного вывода.
Штучний інтелект
Штучний інтелект
