TY  - BOOK
AU  - Гаек,Петр
AU  - Гавранек,Томаш
AU  - Поспелов,Дмитрий Александрович
TI  - Автоматическое образование гипотез: Математические основы общей теории
T2  - Проблемы искусственного интеллекта
PY  - 1984///
CY  - М.
PB  - Наука
KW  - кибернетика
KW  - RU-rurkp
KW  - искусственный интеллект
KW  - логические исчисления
KW  - кванторы обобщенные
KW  - многозначные исчисления
KW  - формализация индуктивных рассуждений
KW  - индуктивные выводы рациональные
KW  - вычислительная статистика
KW  - автоматическое порождение гипотез
KW  - логика открытия
KW  - логика индукции
KW  - эмпирические исчисления предикатов
KW  - функторные исчисления
KW  - кванторы ассоциативные
KW  - кванторы импликационные
KW  - исчисления с неполной информацией
KW  - исчисления с качественными значениями
KW  - ранговые исчисления
KW  - логика выдвижения гипотез
KW  - эмпирические утверждения
KW  - логические проблемы
KW  - GUNA-метод
KW  - логика открытия, статистические проблемы
N1  - Перевод изд.: Mechanizing hуpothesis formation / P. Hajek, T. Havranek (Berlin etc., 1978); Библиогр.: с. 266-272; Предм. указ.: с. 273-277
ER  -