КАТ=<A , Hyp , S1 , S2> , где
A –множество аксиом (достоверные факты)
Hyp –множество гипотез (может быть непустое)
S1 –достоверный вывод
S2 –правдоподобный вывод
ППВ1 – индукция (для выявления причины явления);
ППВ2– аналогия (для предсказания новых свойств).
| ППВ1(индукция)
ППВ2(аналогия)
| |
принцип достаточного основания
(до стабилизации абдукции)
