Автоматическое образование гипотез
Гаек П., Гавранек Т.
Проблематика книги связана с известным вопросом искусственного интеллекта: ''может ли машина мыслить?'', который понимается авторами как вопрос: ''может ли машина формулировать и проверять гипотезы?''. Книга содержит две части: ''логика индукции'' и ''логика открытия''.В книге рассматриваются нестандартные логические исчисления с обобщенными кванторами в смысле А. Мостовского (в том числе многозначные исчисления), которые применяются для формализации рациональных индуктивных выводов и для построения логических основ вычислительной статистики. В книге излагается метод автоматического образования гипотез и исследуются вопросы вычислительной сложности рассматриваемых процедур.Книга предназначена. для специалистов по искусственному интеллекту, программированию, математической логике, а также для философов; интересующихся проблемами индукции.
